Computational complexity of planning with temporal goals

Authors:
Chitta Baral;Vladik Kreinovich;Raúl A. Trejo
Affiliations:
CS&E, Arizona State University, Tempe, AZ;University of Texas at El Paso, El Paso, TX;ITESM Campus Edo. México, Atizapan, México
Venue:
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Year:
2001

Citing 7
Cited 8

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
The computational complexity of propositional STRIPS planning

Artificial Intelligence
Temporal logic (vol. 1): mathematical foundations and computational aspects

Temporal logic (vol. 1): mathematical foundations and computational aspects
Complexity, decidability and undecidability results for domain-independent planning

Artificial Intelligence - Special volume on planning and scheduling
Computational complexity of planning and approximate planning in the presence of incompleteness

Artificial Intelligence
Planning for temporally extended goals

Annals of Mathematics and Artificial Intelligence
Probabilistic propositional planning: representations and complexity

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

The complexity of achievement and maintenance problems in agent-based systems

Artificial Intelligence
Maintenance goals of agents in a dynamic environment: Formulation and policy construction

Artificial Intelligence
Goal specification, non-determinism and quantifying over policies

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Genome rearrangement and planning

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Non-monotonic temporal logics for goal specification

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
What to do and how to do it: translating natural language directives into temporal and dynamic logic representation for goal management and action execution

ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Planning for human-robot teaming in open worlds

ACM Transactions on Intelligent Systems and Technology (TIST)
Specifying and computing preferred plans

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the problem of how an agent creates a discrete spatial representation from its continuous interactions with the environment. Such representation will be the minimal one that explains the experiences of the agent in the environment. In this ...