Extracting mutual exclusion invariants from lifted temporal planning domains
- Submitting institution
-
Royal Holloway and Bedford New College
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 28992080
- Type
- D - Journal article
- DOI
-
10.1016/j.artint.2018.01.004
- Title of journal
- Artificial Intelligence
- Article number
- -
- First page
- 1
- Volume
- 258
- Issue
- -
- ISSN
- 0004-3702
- Open access status
- Compliant
- Month of publication
- February
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 3
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper is published in the AIJ, which is arguably the most established journal in AI. It gives the first formal account of an invariant synthesis for temporal domains that works at the lifted level of the representation. An implementation of this technique is used in planning language translators and activity recognition tools by the Model-based Embedded and Robotic Systems group within the CSAIL at MIT. Based on this paper, a long-term collaboration between RHUL and MIT has been established, also resulting in a visiting professorship position at MIT in 2019 for Prof Sara Bernardini.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -