Default reasoning by deductive planning
From MaRDI portal
Publication:1896366
DOI10.1007/BF00881829zbMath0842.68080MaRDI QIDQ1896366
Michael Thielscher, Torsten Schaub
Publication date: 14 July 1996
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Logic programming (68N17) Other applications of logic (03B80)
Related Items (4)
A new methodology for query answering in default logics via structure-oriented theorem proving ⋮ Skeptical query-answering in Constrained Default Logic ⋮ XRay: A prolog technology theorem prover for default reasoning: A system description ⋮ 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic-based calculus of events
- A deductive solution for plan generation
- Linear logic
- On prediction in Theorist
- Compiling a default reasoning system into Prolog
- A new deductive approach to planning
- On the satisfiability of circumscription
- Controlling recursive inference
- Planning for conjunctive goals
- A logical framework for default reasoning
- A logic for default reasoning
- Hard problems for simple default logics
- Cumulative default logic: In defense of nonmonotonic inference rules
- SLDNF-resolution with equality
- The computational complexity of propositional STRIPS planning
- Alternative approaches to default logic
- Foundations of equational logic programming
- A new methodology for query answering in default logics via structure-oriented theorem proving
- STRIPS: A new approach to the application of theorem proving to problem solving
- A theory of complete logic programs with equality
- Extending SLD resolution to equational horn clauses using E-unification
- Complexity Results for Nonmonotonic Logics
- A survey of complexity results for non-monotonic logics
This page was built for publication: Default reasoning by deductive planning