Inverse resolution

From HandWiki

Inverse resolution is an inductive reasoning technique that involves inverting the resolution operator.[1]

References

  1. ↑ "Inductive Logic Programming - Theory". http://www.doc.ic.ac.uk/~shm/ilp_theory.html#inverse_resolution%20Inverse%20resolution. 




Retrieved from "https://handwiki.org/wiki/index.php?title=Inverse_resolution&oldid=311976"