Searching for "Hypothetical Reasoning in Logic Programs." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars
- … unique framework a set of fairly portable tools for hypothetical reasoning in logic programming languages…
- Cited by 19 (12 self) – Add To MetaCart
-
Backtrackable State with Linear Affine Implication and Assumption Grammars
- … for hypothetical reasoning in logic programming languages and used them to specify some previously known techniques…
- Cited by 12 (11 self) – Add To MetaCart
-
Nonmonotonic Reasoning as Prioritized Argumentation
- … resembles the behavior of Inoue's framework of hypothetical reasoning with logic programs [24], where…
- Cited by 5 (0 self) – Add To MetaCart
-
Abduction And Induction. Essays On Their Relation And Integration. Bibliography
- …. (1997). A unifying view for logic programming with non-monotonic reasoning. Theoretical Computer Science…
- Cited by 14 (1 self) – Add To MetaCart
Showing 1 through 4.
