Searching for "An Algorithm to Compute Circumscription." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
An Efficient Method for Eliminating Varying Predicates from a Circumscription
- … of predicate circumscription. As a consequence, algorithms that compute circumscription for an inference task…
- Cited by 11 (2 self) – Add To MetaCart
-
An Overview of Nonmonotonic Reasoning and Logic Programming
- …], and is able to compute prioritized circumscription. Przymusinski [Prz89] has developed an algorithm to compute…
- Cited by 22 (2 self) – Add To MetaCart
-
Automating the Computation of Nested Abnormality Theories
- …]. In this paper, we focus on the application of the SCAN algorithm to computing circumscription. An implementation…
- Add To MetaCart
-
Advised By
- …]. In this paper, we focus on the application of the SCAN algorithm to computing circumscription. An implementation…
- Add To MetaCart
-
Forget It!
- … not interested in the notion of forgetting per se, rather they applied their algorithm to compute circumscription…
- Cited by 49 (7 self) – Add To MetaCart
-
Dialectics and Specificity: Conditioning in Logic-based Hypothetical Reasoning
- … of algorithms for computing circumscription [Ginsberg, 1989, Przymusinski, 1989]. These algorithms find all of Y…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 6.
