See Also
- Consensus theorem
- Inductive Logic Programming
- Inverse resolution
- Logic Programming
- Method of analytic tableaux
- SLD resolution
Read more about this topic: Resolution (logic)
Famous quotes containing the word see:
“If we could see ourselves as others see us, we would vanish on the spot.”
—E.M. Cioran (b. 1911)