Title :
Representation and reasoning with disjunctive temporal constraints
Author :
Galipienso, Maria Isabel Alfonso ; Sanchis, Federico Barber
Author_Institution :
Depto. Ciencia de la Computacion e Inteligencia Artificial, Alicante Univ., Spain
Abstract :
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.
Keywords :
communicating sequential processes; constraint theory; knowledge representation; temporal reasoning; complex disjunctive temporal constraints; conjunctive queries; disjunctive assertions; expressiveness; hypothetical queries; labelled point-based metric model; one-to-many constraints; reasoning; specification; Algebra; Computational efficiency; Costs; Processor scheduling; Project management; Time factors;
Conference_Titel :
Temporal Representation and Reasoning, 2002. TIME 2002. Proceedings.Ninth International Symposium on
Print_ISBN :
0-7695-1474-X
DOI :
10.1109/TIME.2002.1027471
