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á bibliografie

Vydáno v:	Proceedings - International Workshop on Temporal Representation and Reasoning s. 19 - 28
Hlavní autoři:	Comin, Carlo, Rizzi, Romeo
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 04.01.2016
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!