Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map
In: Tools with Artificial Intelligence (ICTAI), 2015 IEEE 27th International Conference on ; 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) ; https://hal.archives-ouvertes.fr/hal-01303829 ; 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015), Nov 2015, Vietri sul Mare, Italy. pp.429-436, ⟨10.1109/ICTAI.2015.71⟩, 2015
Online
Konferenz
Zugriff:
International audience ; The frameworks dedicated to the representation of quantitative temporal constraint satisfaction problems, as rich as they are in terms of expressiveness, define difficult requests - typically NP-complete decision problems. It is therefore adventurous to use them for an online resolution. Hence the idea to compile the original problem into a form that could be easily solved. Difference Decision Diagrams (DDDs) have been proposed by [1] as a possible way to cope with this difficulty, following a compilation-based approach. In this article, we draw a compilation map that evaluates the relative capabilities of these languages (TCSP, STP, DTP and DDD) in terms of algorithmic efficiency, succinctness and expressiveness.
| Titel: |
Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map
|
|---|---|
| Autor/in / Beteiligte Person: | Fargier, Hélène ; Maris, Frédéric ; Roger, Vincent ; Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA) ; Institut de recherche en informatique de Toulouse (IRIT) ; Université Toulouse 1 Capitole (UT1) ; Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) ; Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) ; Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1) ; Université Fédérale Toulouse Midi-Pyrénées ; Centre National de la Recherche Scientifique (CNRS) ; Équipe Structuration, Analyse et MOdélisation de documents Vidéo et Audio (IRIT-SAMoVA) |
| Link: | |
| Zeitschrift: | Tools with Artificial Intelligence (ICTAI), 2015 IEEE 27th International Conference on ; 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015) ; https://hal.archives-ouvertes.fr/hal-01303829 ; 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015), Nov 2015, Vietri sul Mare, Italy. pp.429-436, ⟨10.1109/ICTAI.2015.71⟩, 2015 |
| Veröffentlichung: | HAL CCSD ; IEEE, 2015 |
| Medientyp: | Konferenz |
| DOI: | 10.1109/ICTAI.2015.71 |
| Schlagwort: |
|
| Sonstiges: |
|