Abstract:27] D. Sacca and C. Zaniolo. Stable models and non-determinism in logic programs with negation. In this paper, we have shown that complex planning problems and non-monotonic strategies nd natural logic-based formulations in the framework of deductive database languages. In particular, we have shown how totally and partially ordered plans can both be modeled using XY-stratiied Datalog 1S programs. The framework proposed is exible, amenable to eecient implementation, and supportive of variations and improvements. For instance, notions such as rigid plans and surprises can also be included in the model 29]. In 5, 7], we generalize our logic-based framework to handle parallel plans, that is, plans where actions that are compatible under some concurrency model are executed in parallel. Since the Datalog-oriented approach discussed in this paper represents a minimalist approach to the complex problems occurring in the planning domain, there is a need to investigate and understand its limits in modeling other complex planning problems. In particular, several new concepts and techniques have recently emerged in the eld of planning research. For instance, in least-commitment planning, search is performed in the space of partially ordered plans, rather than in the space of world states (see 33] for a good discussion of the method and its beneets). Current work is oriented in this direction. Another interesting extension is to consider the problems of temporal projection with incomplete information, as well as reasoning about the past. Gelfond and Lifschitz 17] addressed these issues by representing properties of actions in a logic programming language that uses both classical negation and negation by failure. Future work will be devoted to investigate the extendibility of our approach to such more complex forms of temporal reasoning. Acknowledgements We would like to thank the anonymous referees for their helpful comments and suggestions. 31 stable is a polynomial problem while nding a stable model is exponential. In our framework this simpler problem can be formulated by observing that a candidate plan is represented in the form:

An Automatic Partial Deduction System for Constraint Logic Programs

Transforming Coroutining Logic Programs into Equivalent CHR Programs

A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of universal logic

An Extended Formalism To Constraint Logic Programming For Decision Analysis

An efficient propositional system for Abductive Logic Programming

Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms.

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability

Learning logic programs by combining programs

Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head.

The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach

Automated Induction for Complex Data Structures

A Framework for Bottom-Up Simulation of SLD-Resolution

A Proof Calculus for Automated Deduction in Propositional Product Logic

On Proving Confluence Modulo Equivalence for Constraint Handling Rules

Consistency-Based Abduction with Extended Disjunctive Logic Programs

Completeness for Propositional Logic Programs with Negation

Adjoint Natural Deduction (Extended Version)

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions

Programs with common sense

Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis

A Complementary Ratio Based Clause Selection Method for Contradiction Separation Dynamic Deduction