Constraint-based qualitative simulation

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2005, Pages 26-34

  Apt, Krzysztof R ^a,b   Brand, Sebastian ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b ACADEMIC MEDICAL CENTER   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SATISFACTION PROBLEMS; CONSTRAINT TECHNOLOGY; CONSTRAINT-BASED; FINITE SET; QUALITATIVE RELATION; QUALITATIVE SIMULATION;

SET THEORY;

TEMPORAL LOGIC;

EID: 33750346845     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2005.19     Document Type: Conference Paper

References (22)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
2. F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116, 2000.
3. A. Bandelj, I. Bratko, and D. Suc. Qualitative simulation with CLP. In Proc. of 16th International Workshop on Qualitative Reasoning (QR'02), 2002.
4. G. Brajnik and D. Clancy. Focusing qualitative simulation using temporal logic: theoretical foundations. Annals of Mathematics and Artificial Intelligence, 22:59-86, 1998.
5. S. Brand. Constraint propagation in presence of arrays. In K. R. Apt, R. Barták, E. Monfroy, and F. Rossi, editors, Proc. of 6th Workshop of the ERCIM Working Group on Constraints, 2001.
6. S. Brand. Relation variables in qualitative spatial reasoning. In S. Biundo, T. Frühwirth, and G. Palm, editors, Proc. of 27th German Annual Conference on Artificial Intelligence (KI'04), volume 3238 of LNAI, pages 337-350. Springer, 2004.
7. I. Bratko. PROLOG Programming for Artificial Intelligence. International Computer Science Series. Addison-Wesley, third edition, 2001.
8. A. G. Cohn and S. M. Hazarika. Qualitative spatial representation and reasoning: An overview. Funda-menta Informaticae, 46(1-2): 1-29, 2001.
9. Z. Cui, A. G. Cohn, and D. A. Randell. Qualitative simulation based on a logical formalism of space and time. In P. Rosenbloom and P. Szolovits, editors, Proc. of 10th National Conference on Artificial Intelligence (AAAI'92), pages 679-684. AAAI Press, 1992.
10. M. J. Egenhofer. Reasoning about binary topologi-cal relations. In O. Günther and H.-J. Schek, editors, Proc. of 2nd International Symposium on Large Spatial Databases (SSD'91), volume 525 of LNCS, pages 143-160. Springer, 1991.
11. M. T. Escrig and F. Toledo. Qualitative Spatial Reasoning: Theory and Practice. Application to Robot Navigation, volume 47 of Frontiers in Artificial Intelligence and Applications. IOS Press, 1998.
12. B. Faltings. Using topology for spatial reasoning. In Proc. of 8th International Symposium on Artificial Intelligence and Mathematics (AI&M'00), 2000.
13. W. D. Harvey and M. L. Ginsberg. Limited discrepancy search. In Proc. of 14th International Joint Conference on Artificial Intelligence (IJCAF95), volume 1, pages 607-615. Morgan Kaufmann, 1995.
14. B. Kuipers. Qualitative reasoning: modeling and simulation with incomplete knowledge. MIT Press, 1994.
15. B. Kuipers. Encyclopedia of Physical Science and Technology, chapter Qualitative simulation, pages 287-300. Academic Press, third edition, 2001.
16. G. Ligozat. Reasoning about cardinal directions. Journal of Visual Languages and Computing, 9(1):23-44, 1998.
17. A. Lopez and F. Bacchus. Generalizing GraphPlan by formulating planning as a CSP. In Proc. of International Joint Conference on Artificial Intelligence (IJ-CAI'03), 2003.
18. N. Markey, F. Laroussinie, and Ph. Schnoebelen. Temporal logic with forgettable past. In Proc. of 17th IEEE Symposium on Logic in Computer Science (LICS'02), pages 383-392, 2002.
19. R. Mohr and G. Masini. Good old discrete relaxation. In Y. Kodratoff, editor, Proc. of European Conference on Artificial Intelligence (ECAI'88), pages 651-656. Pitman publishers, 1988.
20. D. A. Randell, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connection. In B. Nebel, C. Rich, and W. R. Swartout, editors, Proc. of 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), pages 165-176. Morgan Kaufmann, 1992.
21. J. Renz and B. Nebel. Efficient methods for qualitative spatial reasoning. Journal of Artificial Intelligence Research, 15:289-318, 2001.
22. M. G. Wallace, S. Novello, and J. Schimpf. ECLiPSe: A platform for constraint logic programming. ICL Systems Journal, 12(1): 159-200, 1997.