Extracting mutual exclusion invariants from lifted temporal planning domains. / Bernardini, Sara; Fagnani, Fabio; Smith, David.

In: Artificial Intelligence, Vol. 258, 05.2018, p. 1-65.

Research output: Contribution to journalArticlepeer-review

Published

Standard

Extracting mutual exclusion invariants from lifted temporal planning domains. / Bernardini, Sara; Fagnani, Fabio; Smith, David.

In: Artificial Intelligence, Vol. 258, 05.2018, p. 1-65.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Author

Bernardini, Sara ; Fagnani, Fabio ; Smith, David. / Extracting mutual exclusion invariants from lifted temporal planning domains. In: Artificial Intelligence. 2018 ; Vol. 258. pp. 1-65.

BibTeX

@article{d227fbcfa76e4c348cbd5e94e7ea6528,
title = "Extracting mutual exclusion invariants from lifted temporal planning domains",
author = "Sara Bernardini and Fabio Fagnani and David Smith",
year = "2018",
month = may,
doi = "10.1016/j.artint.2018.01.004",
language = "English",
volume = "258",
pages = "1--65",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",

}

RIS

TY - JOUR

T1 - Extracting mutual exclusion invariants from lifted temporal planning domains

AU - Bernardini, Sara

AU - Fagnani, Fabio

AU - Smith, David

PY - 2018/5

Y1 - 2018/5

U2 - 10.1016/j.artint.2018.01.004

DO - 10.1016/j.artint.2018.01.004

M3 - Article

VL - 258

SP - 1

EP - 65

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

ER -