Default reasoning by deductive planning
type: Item
instance of: scholarly article
title: Default reasoning by deductive planning
zbMATH Open document ID: 0842.68080
DOI: 10.1007/BF00881829
author: Michael Thielscher
author: Torsten Schaub
published in: Journal of Automated Reasoning
publication date: 1996-07-14T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B80
zbMATH DE Number: 790773
zbMATH Keywords: default logics
zbMATH Keywords: skeptical reasoning
zbMATH Keywords: deductive planning
MaRDI profile type: Publication
cites work: A deductive solution for plan generation
cites work: Q4893671
cites work: Cumulative default logic: In defense of nonmonotonic inference rules
cites work: Q4012204
cites work: The computational complexity of propositional STRIPS planning
cites work: A survey of complexity results for non-monotonic logics
cites work: Planning for conjunctive goals
cites work: Q4028783
cites work: Alternative approaches to default logic
cites work: Q4537429
cites work: Q4052071
cites work: Q4692605
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Extending SLD resolution to equational horn clauses using E-unification
cites work: Linear logic
cites work: Complexity Results for Nonmonotonic Logics
cites work: Foundations of equational logic programming
cites work: A new deductive approach to planning
cites work: A theory of complete logic programs with equality
cites work: Q3785940
cites work: Hard problems for simple default logics
cites work: Q3862380
cites work: A logic-based calculus of events
cites work: On the satisfiability of circumscription
cites work: Q3992908
cites work: Q4273952
cites work: Q3976054
cites work: Q5633670
cites work: A logical framework for default reasoning
cites work: Q3493282
cites work: Compiling a default reasoning system into Prolog
cites work: A logic for default reasoning
cites work: Q4016561
cites work: Q4166250
cites work: A new methodology for query answering in default logics via structure-oriented theorem proving
cites work: SLDNF-resolution with equality
cites work: Controlling recursive inference
cites work: Q5560258
cites work: On prediction in Theorist
description: scientific article; zbMATH DE number 790773