Jochen Renz - Selected Publications

A. G. Cohn and J. Renz, Qualitative Spatial Representation and Reasoning, in: F. van Hermelen, V. Lifschitz, B. Porter, eds., Handbook of Knowledge Representation, Elsevier, 551-596, 2008. (pdf file)

J. Renz, B. Nebel, Qualitative Spatial Reasoning using Constraint Calculi, in: M. Aiello, I. Pratt-Hartmann, J. van Benthem, eds., Handbook of Spatial Logics, Springer Verlag, Berlin, 161-215, 2007. (pdf file)

J. Renz, R. Rauh, M. Knauff, Towards Cognitive Adequacy of Topological Spatial Relations, in: C. Freksa, W. Brauer, C. Habel, K.F. Wender, eds., Spatial Cognition II - Integrating abstract theories, empirical studies, formal models, and practical applications, LNCS 1849, Springer-Verlag, Berlin, 2000, 184-197. (pdf file)

J. Renz, B. Nebel, Spatial Reasoning with Topological Information, in: C. Freksa, C. Habel, K.F. Wender, eds., Spatial Cognition - An interdisciplinary approach to representation and processing of spatial knowledge, LNCS 1404, Springer-Verlag, Berlin, 1998, 351-372. (pdf file)

M. Broxvall, P. Jonsson, and J. Renz, Disjunctions, Independence, Refinements, Artificial Intelligence (AIJ), 140(1-2):153-173, 2002. (pdf file)

A. Gerevini, J. Renz, Combining Topological and Size Constraints for Spatial Reasoning, Artificial Intelligence (AIJ), 137(1-2):1-42, 2002. (pdf file)

J. Renz, A Canonical Model of the Region Connection Calculus, Journal of Applied Non-Classical Logics (JANCL), 12(3-4):469-494, 2002. (pdf file)

J. Renz, B. Nebel, Efficient Methods for Qualitative Spatial Reasoning, Journal of Artificial Intelligence Research (JAIR), 15, 289-318, 2001. (pdf file) (software)

J. Renz, B. Nebel, On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus, Artificial Intelligence (AIJ), 108(1-2): 69-123, 1999. (pdf file)

J. Renz, J. J. Li, Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi, Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR'08), Sydney, Australia, September 2008. (pdf file)

J. J. Li, T. Kowalski, J. Renz, and S. Li, Combining Binary Constraint Networks in Qualitative Reasoning, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), Patras, Greece, July 2008, 515-519. (pdf file)

N. Foo, J. Renz, Experience and Trust: A Systems-Theoretic Approach, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), Patras, Greece, July 2008, 917-918. (pdf file)

R. Martin-Hughes, J. Renz, Examining the Motivations of Defection in Large-Scale Open Systems, 23rd Annual ACM Symposium on Applied Computing (SAC-08), Fortaleza, Brazil, March 2008, 2039-2043.

J. Renz, F. Schmid, Customizing Qualitative Spatial and Temporal Calculi, in: Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI-07), Gold Coast, Queensland, Australia, December 2007, 293-304. (pdf file)

J. Renz, Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone, in: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January 2007, 526-531. (pdf file)

N. Foo, J. Renz, Experience, Trust and Reputation, in: Trends in Logic IV, Studia Logica International Conference, Torun, Poland, September 2006.

J. Renz, G. Ligozat,Weak Composition for Qualitative Spatial and Temporal Reasoning, in: Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming (CP'05), Sitges, Spain, October 2005, 534-548. (pdf file)

J. Renz, D. Mitra, Qualitative Direction Calculi with Arbitrary Granularity, 8th Pacific Rim International Conference on Artificial Intelligence (PRICAI'04), Auckland, New Zealand, August 2004, 65-74. (pdf file)

G. Ligozat, J. Renz, What is a Qualitative Calculus? A General Framework, 8th Pacific Rim International Conference on Artificial Intelligence (PRICAI'04), Auckland, New Zealand, August 2004, 53-64. (pdf file)

G. Ligozat, J. Renz, Problems with Local Consistency for Qualitative Calculi, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI'04), Valencia, Spain, August 2004, 1047-1048.

J. Renz, A Spatial Odyssey of the Interval Algebra: 1.Directed Intervals, in: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Seattle, WA, August 2001, 51-56. (pdf file)

M. Broxvall, P. Jonsson, and J. Renz, Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints, in: Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming (CP'00), Singapore, September 2000, 114-127. (pdf file)

R. Moratz, J. Renz, and D. Wolter, Qualitative Spatial Reasoning about Line Segments, in: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'00), Berlin, Germany, August 2000, 234-238. (pdf file)

J. Renz, Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis, in: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, August 1999, 448-455. (pdf file)
A. Gerevini, J. Renz, Combining Topological and Qualitative Size Constraints for Spatial Reasoning, in: Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming (CP'98), Pisa, Italy, October 1998, 220-234. (pdf file (slightly revised), �Springer-Verlag)

J. Renz, B. Nebel, Efficient Methods for Qualitative Spatial Reasoning, in: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98), Brighton, UK, August 1998, 562-566. (pdf file)(gzip'ed tar-archive of C-programs used for the evaluation 25k) (gzip'ed tar-archive of hard instances 300k)

J. Renz, A Canonical Model of the Region Connection Calculus, in: Principles of Knowledge Representation and Reasoning, Proceedings of the 6th International Conference (KR'98), Trento, Italy, June 1998, 330-341. (pdf file)

M. Knauff, R. Rauh, and J. Renz, A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation, in: Proceedings of the 3rd International Conference on Spatial Information Theory (COSIT'97), Laurel Highlands, PA, October 1997, 193-206. (pdf file)

J. Renz, B. Nebel, On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus, in: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, August 1997, 522-527. (pdf file)

N. Foo, J. Renz, Experience and Trust: A Systems-Theoretic Approach, Technical Report No. UNSW-CSE-TR-0717, UNSW Computer Science and Engineering, Univerity of New South Wales, Sydney, August 2007. (pdf file)

Last modified: Mon Feb 26 13:24:01 AUSEDT 2007