Vilain et al. 86 Vilain, M. and Kautz, H., Constraint Propagation Algorithms for Temporal Reasoning, in: Proceedings AAAI-82, Philadelph ia, PA, (1986) 377 \Gamma 382.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's.. - Gerevini, Nebel (2002) (1 citation) (Correct)
....Furthermore we assume that for every pair of variables (x, y) such that xRy #, yR x #. Relation Converse Pictorial Example J J I m J J m I o J J o I d J J d I s J J s I f J J f I = J J = I I J Figure 2. The thirteen basic relations of the Interval Algebra [17, 18], and several maximal tractable fragments have been identified both for RCC 8 and IA. Nebel and B urckert [14] identified the unique maximal tractable sub algebra of IA containing all the basic relations, which is called ORD Horn class. ISAT for the ORD Horn class can be decided in cubic time by ....
M. B. Vilain, H. A. Kautz, and P. G. van Beek. Constraint propagation algorithms for temporal reasoning: A revised report. In D. S. Weld and J. de Kleer, editors, Readings in Qualitative Reasoning about Physical Systems, pages 373--381. Morgan Kaufmann, 1990.
Global Consistency in Interval Algebra Networks: - Tractable Subclasses Christian (Correct)
No context found.
Vilain et al. 86 Vilain, M. and Kautz, H., Constraint Propagation Algorithms for Temporal Reasoning, in: Proceedings AAAI-82, Philadelph ia, PA, (1986) 377 \Gamma 382.
Using a Temporal Constraint Network for Business Process.. - Governatori (2006) (Correct)
No context found.
Vilain, M., H. Kautz, et al. (1989): Constraint propagation algorithms for temporal reasoning: a revised report. Readings in qualitative reasoning about physical systems. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc: 373--381.
Graph Theoretic Models for Reasoning About - Time Martin Charles (Correct)
No context found.
M. Vilain and H. Kautz, Constraint propagation algorithms for temporal reasoning, Proc. AAAI-86, Philadelphia, PA, pp. 377--382, 1986.
Relation Algebras and Their Application in Qualitative Spatial.. - Düntsch (2003) (Correct)
No context found.
Vilain, M., Kautz, H., and van Beek, P. (1986). Constraint propagation algorithms for temporal reasoning: A revised report. In Proceedings of the Fifth National Conference on Artificial Intelligence, pages 377--382, Menlo Park. American Association for Artificial Intelligence, AAAI Press.
Software Support for Calculations in Allen's Interval Algebra - Alspaugh (2005) (Correct)
No context found.
Marc Vilain, Henry Kautz, and Peter van Beek. Constraint propagation algorithms for temporal reasoning: a revised report. In D. S. Weld and J. de Kleer, editors, Readings in Qualitative Reasoning about Physical Systems, pages 373--381. Morgan Kaufmann Publishers Inc., 1989. 6
Combining Qualitative and Quantitative Constraints in Temporal.. - Meiri (1995) (107 citations) (Correct)
No context found.
M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of AAAI-86, Philadelphia, PA, pages 377--382, 1986. 51
Conceptual Neighborhood and its role in temporal and spatial.. - Freksa (1991) (6 citations) (Correct)
No context found.
Vilain, M., Kautz, H., Constraint propagation algorithms for temporal reasoning. Proc. AAAI-86, 377-382.
A Road Map on Interval Temporal Logics and Duration Calculi - Goranko, Montanari.. (2003) (Correct)
No context found.
M.B. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proc. of the 5th National Conference of the American Association for Artificial Intelligence (AAAI), pages 377--382. AAAI Press, 1986.
On the Minimality and Global Consistency of Row-Convex.. - van Beek, Dechter (13 citations) (Correct)
No context found.
M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the Fifth National Conference on Artificial Intelligence, pages 377--382, Philadelphia, Pa., 1986.
Discovering and Exploiting Synergy between Hierarchical.. - Cox, Durfee (2003) (1 citation) (Correct)
No context found.
M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proc. of Fifth National Conf. on AI, pages 377--382, 1986.
Engineering a Complex Ontology with Time - Santos, Staab (Correct)
No context found.
M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proc. of AAAI-86, pages 377--382, Philadelphia, PA, 1986.
Qualitative Temporal Behavior Description and Temporal.. - Nejdl, Gamper (1993) (1 citation) (Correct)
No context found.
M. Vilain and Henry Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 377--382, July 1986.
FONTE - Factorizing ONTology Engineering complexity - Santos, Staab (2003) (Correct)
No context found.
M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proc. of AAAI-86, pages 377--382, Philadelphia, PA, 1986.
Temporal Reasoning for a Collaborative Planning Agent in.. - Hadad, Kraus, Gal, Lin (2002) (Correct)
No context found.
M. Vilain and H. A. Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the Annual Conference of the American Association for Artificial Intelligence (AAAI-86), pages 132--144, 1986.
An Automata-Theoretic Approach to Constraint LTL - Demri, D'Souza (2003) (Correct)
No context found.
M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In T. Kehler and S. Rosenschein, editors, 5th National Conference on Arti cial Intelligence (AAAI'86), pages 372{ 382. Morgan Kaufmann, 1986.
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 Theory and.. - Thom Fruhwirth.. (Correct)
No context found.
M. Vilain, H. Kautz, Constraint Propagation Algorithms for Temporal Reasoning, AAAI 86, pp 377-382.
A Local Search Approach to Modelling and Solving.. - Thornton, Beaumont, .. (2004) (Correct)
No context found.
M. Vilain and H. Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86), pp. 377--382, 1986.
Formalizing Reasoning about Change: A Temporal Diagnosis Approach - Gamper, Nejdl (1995) (Correct)
No context found.
Marc Vilain and Henry Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 377--382, Philadelphia, PA, 1986.
On Binary Constraint Problems - Peter Ladkin Institut (1994) (62 citations) (Correct)
No context found.
Vilain, M., Kautz, H., and van Beek, P.G., Constraint Propagation Algorithms for Temporal Reasoning, in Weld and de Kleer, eds., Readings in Qualititative Reasoning About Physical Systems, Morgan Kaufmann 1989, revised version of [65].
On Binary Constraint Problems - Peter Ladkin Institut (1994) (62 citations) (Correct)
No context found.
Vilain, M., and Kautz, H., Constraint Propagation Algorithms for Temporal Reasoning, Proceedings of AAAI-86, Morgan Kaufmann, 1986, pp377-382. 38
Relation Algebras for Reasoning about Time and Space - Maddux (1993) (2 citations) (Correct)
No context found.
M. Vilain, H. Kautz, and P. G. van Beek, Constraint propagation algorithms for temporal reasoning, Readings in Qualititative Reasoning About Physical Systems (Weld and de Kleer, eds.), Morgan Kaufmann, 1989, revised version of [43].
Relation Algebras for Reasoning about Time and Space - Maddux (1993) (2 citations) (Correct)
No context found.
M. Vilain and H. Kautz, Constraint propagation algorithms for temporal reasoning, Proceedings of AAAI-86, Morgan Kaufmann, 1986, pp. 377-382.
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (3 citations) (Correct)
No context found.
Vilain M.B., H. Kautz, and P. van Beek, Constraint propagation algorithms for temporal reasoning: a revised report. In Readings in Qualitative about Physical Systems, D. S. Weld and J. de Kleer (eds.), Morgan Kaufmann, San Mateo, CA, 373-381, 1989.
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (3 citations) (Correct)
No context found.
Vilain M.B., and H. Kautz, Constraint propagation algorithms for temporal reasoning, Proc. of the 5th National Conference of the American Association for Arti cial Intelligence (AAAI), Philadelphia, PA, AAAI Press, 377-382, 1986.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC