Default reasoning by deductive planning

DOI10.1007/BF00881829zbMATH Open0842.68080MaRDI QIDQ1896366FDOQ1896366

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)

Cites Work

• Planning for conjunctive goals
• Title not available (Why is that?)
• STRIPS: A new approach to the application of theorem proving to problem solving
• Title not available (Why is that?)
• A logic-based calculus of events
• Title not available (Why is that?)
• Linear logic
• The computational complexity of propositional STRIPS planning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logical framework for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Complexity Results for Nonmonotonic Logics
• Hard problems for simple default logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• A deductive solution for plan generation
• Alternative approaches to default logic
• A new deductive approach to planning
• On the satisfiability of circumscription
• Controlling recursive inference
• Title not available (Why is that?)
• Foundations of equational logic programming
• A survey of complexity results for non-monotonic logics
• A theory of complete logic programs with equality
• Extending SLD resolution to equational horn clauses using E-unification
• Cumulative default logic: In defense of nonmonotonic inference rules
• Title not available (Why is that?)
• On prediction in Theorist
• Compiling a default reasoning system into Prolog
• Title not available (Why is that?)
• SLDNF-resolution with equality
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Title not available (Why is that?)

Cited In (5)

• Skeptical query-answering in Constrained Default Logic
• A deductive solution for plan generation
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Prolog technology for default reasoning: proof theory and compilation techniques
• XRay: A prolog technology theorem prover for default reasoning: A system description

   Recommendations

• Title not available (Why is that?) 👍 👎
• The automation of reasoning with incomplete information. From semantic foundations to efficient computation 👍 👎
• Title not available (Why is that?) 👍 👎
• Hard problems for simple default logics 👍 👎
• Title not available (Why is that?) 👍 👎

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)