Inverse resolution

From Wikipedia, the free encyclopedia

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

References[]

  1. ^ "Inductive Logic Programming - Theory". www.doc.ic.ac.uk. Retrieved 2021-03-09.
Stub icon

This logic-related article is a stub. You can help Wikipedia by .

  • v
  • t
Retrieved from ""