Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks

• Published in: Journal of logical and algebraic methods in programming Vol. 113; p. 100542
• Main Authors: Cairo, Massimo, Comin, Carlo, Rizzi, Romeo
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.06.2020
• Subjects: Conditional simple temporal networks; Dynamic-consistency; Hyper temporal networks; Instantaneous reaction-time; Singly-exponential time algorithm; ϵ-dynamic-consistency; ϵ-dynamic-consistency; Instantaneous reaction-time; Dynamic-consistency; Hyper temporal networks; Singly-exponential time algorithm; Conditional simple temporal networks

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