Dense Time and Temporal Constraints with 6 =

In some temporal reasoning systems, inequations can give rise to disjunctions of inequa-tions when variable elimination is performed. Motivated by this observation, we extend previous research on temporal constraints by considering disjunctions of inequations (under the assumption that time is dense.) We present results on consistency checking, canonical forms and variable elimination for this new class of temporal constraints.

[1]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[2]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[3]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[4]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[5]  Raymond Reiter,et al.  Equality and Domain Closure in First-Order Databases , 1980, JACM.

[6]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[7]  Rina Dechter,et al.  Network-Based Heuristics for Constraint-Satisfaction Problems , 1987, Artif. Intell..

[8]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

[9]  Peter B. Ladkin,et al.  On binary constraint networks , 1989 .

[10]  Henry A. Kautz,et al.  Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .

[11]  Richard T. Snodgrass,et al.  Temporal databases status and research directions , 1990, SGMD.

[12]  Itay Meiri,et al.  Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..

[13]  Henry A. Kautz,et al.  Integrating Metric and Qualitative Temporal Reasoning , 1991, AAAI.

[14]  Peter van Beek,et al.  Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..

[15]  Jean-Louis Lassez,et al.  A Canonical Form for Generalized Linear Constraints , 1992, J. Symb. Comput..

[16]  P. V. Beek.  Exact and approximate reasoning about qualitative temporal relations , 1992 .

[17]  Manolis Koubarakis,et al.  Dense Time and Temporal Constraints with != , 1992, KR.

[18]  Manolis Koubarakis,et al.  Representation and querying in temporal databases: the power of temporal constraints , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.