A Note on Linear Resolution Strategies in Consequence-Finding.

Eliana Minicozzi Raymond Reiter

Published in: Artif. Intell. (1972)

Keyphrases

consequence finding
theorem proving
object oriented
video sequences
first order logic
theorem prover
abductive reasoning