On Computing the Minimal Labels in Time Point Algebra Networks (1995)

Cached

Download Links

by Alfonso Gerevini , Lenhart Schubert
Citations:11 - 6 self

Active Bibliography

2 The Temporal Reasoning Systems TimeGraph I-II – Alfonso Gerevini, Lenhart Schubert, Stephanie Schaeffer - 1994
3 On Point-based Temporal Disjointness – Alfonso Gerevini, Lenhart Schubert - 1994
32 Efficient Algorithms for Qualitative Reasoning about Time – Alfonso Gerevini, Lenhart Schubert - 1995
161 Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra – Bernhard Nebel, Hans-Jürgen Bürckert - 1995
30 Efficient temporal reasoning through timegraphs – Alfonso Gerevini - 1993
41 The design and experimental analysis of algorithms for temporal reasoning – Peter Van Beek, Dennis W. Manchak - 1996
30 Reasoning About Temporal Relations: The Tractable Subalgebras Of Allen's Interval Algebra – Andrei Krokhin, Peter Jeavons, Peter Jonsson - 2001
Tractable Disjunctions of Linear Constraints – Manolis Koubarakis Dept, Manolis Koubarakis - 1996
5 Relation algebras for reasoning about time and space – Roger D. Maddux - 1994
49 Tractable Disjunctions of Linear Constraints: Basic Results and Applications to Temporal Reasoning – Manolis Koubarakis - 1996
59 Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class – Bernhard Nebel - 1997
1 Reasoning About Time and Change: a Knowledge Base Management Perspective – Manolis Koubarakis - 1990
21 Temporal Query Processing With Indefinite Information – Peter van Beek - 1991
6 Temporal Reasoning and Constraint Programming - A Survey – Rosella Gennari - 1998
6 Qualitative temporal and spatial reasoning revisited – Manuel Bodirsky, Hubie Chen - 2007
2 Temporal Reasoning with Constraints – Edward Moshe Schwalb, Edward Moshe Schwalb, Edward Moshe Schwalb - 1998
26 Complexity Results for First-Order Theories of Temporal Constraints – Manolis Koubarakis - 1994
6 Towards an efficient SAT encoding for temporal reasoning – Duc Nghia Pham, John Thornton, Abdul Sattar - 2006
Contents lists available at ScienceDirect Artificial Intelligence – unknown authors