Uvažování o čase v zahnízděných temporálních sítích s alternativami

Abstrakt

Článek pojednává o temporálních podmínkách v temporálních sítích s alternativami. Ukazuje, že temporální uvažovaní je NP-úplné, a je zde navrženo několik algoritmů pro temporální propagace (úplné i neúplné).

Klíčová slova

• Temporal
• Reasoning
• Nested
• Temporal
• Networks
• Alternatives