Extracting mutual exclusion invariants from lifted temporal planning domains

Sara Bernardini, Fabio Fagnani, David Smith

Research output: Contribution to journalArticlepeer-review

92 Downloads (Pure)
Original languageEnglish
Pages (from-to)1-65
Number of pages65
JournalArtificial Intelligence
Volume258
Early online date6 Feb 2018
DOIs
Publication statusPublished - May 2018

Cite this