Default reasoning by deductive planning

DOI10.1007/BF00881829MaRDI QIDQ1896366zbMATH OpenFDO

Authors Michael Thielscher, Torsten Schaub

Publication date 14 July 1996

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

deductive planningdefault logicsskeptical reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Recommendations

• scientific article; zbMATH DE number 1748572
• The automation of reasoning with incomplete information. From semantic foundations to efficient computation
• Publication:4934647
• Hard problems for simple default logics
• Publication:3493327

Cites work

• scientific article; zbMATH DE number 4166904 (Why is no real title available?)
• scientific article; zbMATH DE number 4049047 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 18649 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 67474 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 140378 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3599517 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 1761409 (Why is no real title available?)
• scientific article; zbMATH DE number 194618 (Why is no real title available?)
• scientific article; zbMATH DE number 928018 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A deductive solution for plan generation
• A logic for default reasoning
• A logic-based calculus of events
• A logical framework for default reasoning
• A new deductive approach to planning
• A new methodology for query answering in default logics via structure-oriented theorem proving
• A survey of complexity results for non-monotonic logics
• A theory of complete logic programs with equality
• Alternative approaches to default logic
• Compiling a default reasoning system into Prolog
• Complexity Results for Nonmonotonic Logics
• Controlling recursive inference
• Cumulative default logic: In defense of nonmonotonic inference rules
• Extending SLD resolution to equational horn clauses using E-unification
• Foundations of equational logic programming
• Hard problems for simple default logics
• Linear logic
• On prediction in Theorist
• On the satisfiability of circumscription
• Planning for conjunctive goals
• SLDNF-resolution with equality
• STRIPS: A new approach to the application of theorem proving to problem solving
• The computational complexity of propositional STRIPS planning

Cited in

(6)

• A deductive solution for plan generation
• Skeptical query-answering in Constrained Default Logic
• Default reasoning by ant colony optimization
• Prolog technology for default reasoning: proof theory and compilation techniques
• A new methodology for query answering in default logics via structure-oriented theorem proving
• \(\mathsf{XRay}\): a Prolog technology theorem prover for default reasoning: a system description

This page was built for publication: Default reasoning by deductive planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1896366)