Representation and Reasoning with Disjunctive Temporal Constraints

We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to manage disjunctive assertions, conjunctive and hypothetical queries, and one-to-many constraints. Additionally, it becomes an adequate support for reasoning on costs associated to constraints.

• Type: Conference
• Year: 2002
• Where: TIME
• Authors: María Isabel Alfonso Galipienso, Federico Barber Sanchís
• Keywords: Automated Reasoning, Disjunctive Assertions, Disjunctive Temporal Constraints, Point-based Metric Model, TIME 2002