Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking

Conditional Simple Temporal Network (CSTN) is a constraint-based graph-formalism for conditional temporal planning. It offers a more flexible formalism than the equivalent CSTP model of Tsamardinos, Vidal and Pollack, from which it was derived mainly as a sound formalization. Three notions of consis...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings - International Workshop on Temporal Representation and Reasoning s. 19 - 28
Hlavní autori:	Comin, Carlo, Rizzi, Romeo
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 04.01.2016
Predmet:	Algorithm design and analysis Computational modeling Conditional Simple Temporal Networks Dynamic Consistency Games Heuristic algorithms Hyper Temporal Networks Mean Payoff Games Planning Reaction Time Analysis Singly-Exponential Time Terminology Timing
ISSN:	1530-1311
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!