Compiling a default reasoning system into Prolog
From MaRDI portal
Publication:750134
DOI10.1007/BF03037149zbMath0713.68017OpenAlexW2081450921MaRDI QIDQ750134
Publication date: 1991
Published in: New Generation Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03037149
Learning and adaptive systems in artificial intelligence (68T05) Theory of compilers and interpreters (68N20) Logic programming (68N17)
Related Items (13)
IDNAF Prolog ⋮ Defaults as restrictions on classical Hilbert-style proofs ⋮ Default reasoning by deductive planning ⋮ Modular specifications with supernormal defaults ⋮ A unifying view for logic programming with non-monotonic reasoning ⋮ Skeptical query-answering in Constrained Default Logic ⋮ XRay: A prolog technology theorem prover for default reasoning: A system description ⋮ On prediction in Theorist ⋮ Linear resolution for consequence finding ⋮ Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities ⋮ Incorporating top-down information into bottom-up hypothetical reasoning ⋮ Compositional model-theoretic semantics for logic programs ⋮ Prolog technology for default reasoning: proof theory and compilation techniques
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ordering conjunctive queries
- The occur-check problem in Prolog
- A logical framework for default reasoning
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler
- An algorithm to compute circumscription
- Eliminating the fixed predicates from a circumscription
- A circumscriptive theorem prover
- A logic for default reasoning
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- The semantics of induction and the possibility of complete systems of inductive inference
- A methodology for using a default and abductive reasoning system
- Algorithm = logic + control
- Solving large combinatorial problems in logic programming
This page was built for publication: Compiling a default reasoning system into Prolog
