Research School of Information Sciences and Engineering
Jochen Renz - Selected Publications
Books:
-
J. Renz, Representation and Reasoning about Expressive Spatial Information,
Habilitation, Computer Science Department, Vienna University of Technology,
2003.
-
J. Renz, Qualitative Spatial Reasoning with Topological
Information, LNCS 2293, Springer-Verlag, Berlin, 2002. ( Buy it! )
Book Chapters:
-
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)
Journal Papers:
-
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)
Conference Papers:
-
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)
Recent Technical Reports:
-
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)
Links:
Jochen Renz
Last modified: Mon Feb 26 13:24:01 AUSEDT 2007