Timed planning

Ajay Bansal, Neda Saeedloei, Gopal Gupta

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Planning has been at the forefront of research in the areas of Artificial Intelligence and cognitive science. High-level action description languages (e.g., language A) have been used to specify, verify and diagnose plans. Timed Planning is planning under real-time constraints. To specify timed planning problems, an extension of the action description language A with real-time stopwatches, called AT has been used. In this paper, we show how timed planning domains (described in AT) can be easily and elegantly encoded as answer set programs extended with constraints over reals.

Original languageEnglish (US)
Title of host publicationProceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
Pages136-137
Number of pages2
StatePublished - Oct 19 2010
Externally publishedYes
Event23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 - Daytona Beach, FL, United States
Duration: May 19 2010May 21 2010

Publication series

NameProceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23

Other

Other23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
CountryUnited States
CityDaytona Beach, FL
Period5/19/105/21/10

ASJC Scopus subject areas

  • Artificial Intelligence
  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'Timed planning'. Together they form a unique fingerprint.

  • Cite this

    Bansal, A., Saeedloei, N., & Gupta, G. (2010). Timed planning. In Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23 (pp. 136-137). (Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23).