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

Abstrakt

Článek popisuje speciální třídu temporálních sítí s alternativami a navrhuje několik (úplných i neúplných) metod pro propagaci časových podmínek.

Klíčová slova

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