Default reasoning by deductive planning

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)

zbMATH Keywords

skeptical reasoningdeductive planningdefault logics

Mathematics Subject Classification ID

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