Default reasoning by deductive planning

DOI10.1007/BF00881829zbMATH Open0842.68080MaRDI QIDQ1896366FDOQ1896366

Authors: Michael Thielscher, Torsten Schaub 

Publication date: 14 July 1996

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

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

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 (6)

• 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
• Default reasoning by ant colony optimization
• Prolog technology for default reasoning: proof theory and compilation techniques
• 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)