TY - GEN
T1 - Timed planning
AU - Bansal, Ajay
AU - Saeedloei, Neda
AU - Gupta, Gopal
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77957883771&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77957883771&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:77957883771
SN - 9781577354475
T3 - Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
SP - 136
EP - 137
BT - Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
T2 - 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23
Y2 - 19 May 2010 through 21 May 2010
ER -