|
|
Tractable Disjunctions of Linear Constraints
– Manolis Koubarakis Dept, Manolis Koubarakis
- 1996
|
|
15
|
From Local to Global Consistency in Temporal Constraint Networks
– Manolis Koubarakis
- 1995
|
|
27
|
A Unifying Approach to Temporal Constraint Reasoning
– Peter Jonsson, Christer Bäckström
|
|
12
|
Reasoning on Interval and Point-based Disjunctive Metric Constraints in Temporal Contexts
– Federico Barber
- 2000
|
|
91
|
Backtracking Algorithms for Disjunctions of Temporal Constraints
– Kostas Stergiou, Manolis Koubarakis, Manchester M Qd
- 1998
|
|
22
|
Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time
– Thomas Drakengren, Peter Jonsson
- 1997
|
|
2
|
Temporal Reasoning with Constraints
– Edward Moshe Schwalb, Edward Moshe Schwalb, Edward Moshe Schwalb
- 1998
|
|
3
|
Algorithms and Complexity for Temporal and Spatial Formalisms
– Thomas Drakengren
- 1997
|
|
21
|
Reasoning About Temporal Relations: The Tractable Subalgebras Of Allen's Interval Algebra
– Andrei Krokhin, Peter Jeavons, Peter Jonsson
- 2001
|
|
56
|
Local and global relational consistency
– Rina Dechter, Peter van Beek
- 1997
|
|
|
A Linear-Programming Approach to Temporal Reasoning
– Peter Jonsson And, Peter Jonsson, Christer Backstrom
- 1996
|
|
23
|
Complexity Results for First-Order Theories of Temporal Constraints
– Manolis Koubarakis
- 1994
|
|
134
|
Combining Qualitative and Quantitative Constraints in Temporal Reasoning
– Itay Meiri
- 1996
|
|
28
|
Efficient Algorithms for Qualitative Reasoning about Time
– Alfonso Gerevini, Lenhart Schubert
- 1995
|
|
97
|
Temporal Query Languages: a Survey
– Jan Chomicki
- 1995
|
|
3
|
Temporal Reasoning and Constraint Programming - A Survey
– Rosella Gennari
- 1998
|
|
13
|
Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches
– Luca Chittaro, Angelo Montanari
- 2002
|
|
18
|
On the minimality and decomposability of constraint networks
– Peter Van Beek
- 1992
|
|
43
|
On the Minimality and Global Consistency of Row-Convex Constraint Networks
– Peter van Beek , Rina Dechter
- 1992
|