Output details
11 - Computer Science and Informatics
Teesside University
Output title
Planning modulo theories: Extending the planning paradigm
Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
Proceedings of the 22nd International Conference on Automated Planning and Scheduling
Volume number
-
Issue number
-
First page of article
65
ISSN of proceedings
-
Year of publication
2012
Number of additional authors
3
Additional information
<22> Modelling languages in planning have typically been extended by adding new syntax and semantics in a centralised manner. This work provides an extensible language enabling ad hoc extensions to be made with no alterations to the core planning algorithm. The paper was selected as runner-up for the best paper award at ICAPS 2012 and an extended version has been invited for fast-track submission to the journal Artificial Intelligence. The work is an international collaboration with J. Christopher Beck from the University of Toronto, who provides expertise in Operations Research and Constraint Programming techniques.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
