Searching for "A Circumscriptive Theorem Prover." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
A First-Order Horn-Clause Abductive System And Its Use In Plan Recognition And Diagnosis
- …. A circumscriptive theorem prover. Artificial Intelligence, 39:209-- 230, 1989. [27] Robert P…
- Add To MetaCart
-
An Overview of Nonmonotonic Reasoning and Logic Programming
- … in which negated atoms can be proven using a full theorem prover. The importance of Clark's observation…
- Cited by 21 (2 self) – Add To MetaCart
-
Computing Circumscriptive Databases, Part I: Theory and Algorithms
- …, pps 579--597. [18] M. Ginsberg. (1989) A Circumscriptive Theorem Prover, Artificial Intelligence, 39…
- Cited by 2 (1 self) – Add To MetaCart
-
Finding Minimal Models by the Semantic Tableaux System
- … [3], and Olivetti [10], is a theorem prover of first-order logic, that is, a refutation system like…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 4.
