DocumentCode
2147673
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
fYear
2002
fDate
2002
Firstpage
46
Lastpage
48
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2002. TIME 2002. Proceedings.Ninth International Symposium on
ISSN
1530-1311
Print_ISBN
0-7695-1474-X
Type
conf
DOI
10.1109/TIME.2002.1027471
Filename
1027471
Link To Document