Salta al contenuto principale
English
Italiano
Form di ricerca
Cerca
legibility:
standard
|
enhanced
Dipartimento di Ingegneria informatica, automatica e gestionale
Toggle navigation
Dipartimento
Home
Chi siamo
Dove siamo
Governo
Persone
Uffici
Trasparenza
Bandi
Commissioni
Strutture
Laboratori
Aule
Biblioteca
Didattica
Ricerca
Panoramica
Aree di ricerca
Gruppi di ricerca
Eventi e seminari
Progetti di ricerca
Keyword search
Visiting professors
Research Reports
DIAG Reports
Technical Reports
Centri interdipartimentali
Spin-off
Frequentatori esterni
Terza missione
Notizie
DIAG sui media
Seminars & events
Home
»
Publication
»
28327
Dettaglio pubblicazione
2018, ARTIFICIAL INTELLIGENCE, Pages 1-65 (volume: 258)
Extracting mutual exclusion invariants from lifted temporal planning domains
(
01a Articolo in rivista
)
Bernardini Sara, Fagnani Fabio, Smith David E.
DOI:
10.1016/j.artint.2018.01.004
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma