Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

Conditional Simple Temporal Network CSTN is a constraint-based graph-formalism for conditional temporal planning. Three notions of consistency arise for CSTNs and CSTPs: weak, strong, and dynamic. Dynamic-Consistency (DC) is the most interesting notion, but it is also the most challenging. In order...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) S. 80 - 89
Hauptverfasser:	Cairo, Massimo, Comin, Carlo, Rizzi, Romeo
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.10.2016
Schlagworte:	Algorithm design and analysis Computational modeling Conditional Simple Temporal Networks Dynamic-Consistency Heuristic algorithms History Hyper Temporal Networks Instantaneous Reaction-Time Schedules Singly-Exponential Time
ISSN:	2332-6468
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!