An extension to conformant planning using logic programming

Authors:
A. Ricardo Morales;Phan Huy Tu;Tran Cao Son
Affiliations:
Texas Tech University, Computer Science Department;New Mexico State University, Department of Computer Science;New Mexico State University, Department of Computer Science
Venue:
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Year:
2007

Citing 12
Cited 4

Formalizing sensing actions—a transition function based approach

Artificial Intelligence
Reasoning agents in dynamic domains

Logic-based artificial intelligence
Answer set programming and plan generation

Artificial Intelligence
Extending and implementing the stable model semantics

Artificial Intelligence
A logic programming approach to knowledge-state planning, II: the DLVk system

Artificial Intelligence
SAT-based planning in complex domains: concurrency, constraints and nondeterminism

Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Conformant planning via symbolic model checking and heuristic search

Artificial Intelligence
Domain-dependent knowledge in answer set planning

ACM Transactions on Computational Logic (TOCL)
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

Theory and Practice of Logic Programming
Conformant planning for domains with constraints: a new approach

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Causal theories of action and change

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
An approximation of action theories of AL and its application to conformant planning

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

ACM Transactions on Computational Logic (TOCL)
Defeasibility in answer set programs via argumentation theories

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Approximation of action theories and its application to conformant planning

Artificial Intelligence
Constraint Propagation for First-Order Logic and Inductive Definitions

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we extend the logic programming based conformant planner described in [Son et al., 2005a] to allow it to work on planning problems with more complex descriptions of the initial states. We also compare the extended planner with other concurrent conformant planners.