Compiling a default reasoning system into Prolog

DOI10.1007/BF03037149zbMath0713.68017OpenAlexW2081450921MaRDI QIDQ750134

D. Kharzeev

Publication date: 1991

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037149

zbMATH Keywords

theorem provingimplementationdefault reasoningTheoristabductive

Mathematics Subject Classification ID

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compiling a default reasoning system into Prolog