Professor Jochen Renz

1996: Master's in Computer Science, University of Ulm, Germany
2000: PhD, Albert-Ludwigs University Freiburg, Germany
2000: Postdoc, WITAS lab, University of Linköping, Sweden
2001-2003: Marie Curie Postdoc Fellow, DBAI, TU Vienna, Austria
2003: Habilitation in Information Systems, TU Vienna, Austria
2003-2006: Researcher at NICTA Sydney, Australia
2006-2008: Fellow at CSL, CECS, ANU, Australia
2009-2013: Associate Professor, RSCS, CECS, ANU, Australia
2010-2014: ARC Future Fellow, RSCS, CECS, ANU, Australia
since 2011: Head of ANU Artificial Intelligence Group
since 2014: Professor, RSCS, CECS, ANU, Australia

Artificial Intelligence, knowledge representation, spatial reasoning, temporal reasoning, qualitative reasoning, constraint satisfaction, efficient algorithms, computational complexity, scheduling, operations research, cognitive science, spatial information systems, wireless sensor networks, navigation, trust and reputation, useful games, AI for playing games

Book Chapters:

  • J. Renz and X. Ge, Physics Simulation Games, in: R. Nakatsu, M. Rauterberg, P. Ciancarini, eds., Handbook of Digital Games and Entertainment Technologies, Springer, 2015. (pdf file)
  • 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)

Journal Papers:

  • X. Ge, J. Renz, and P. Zhang, Visual Detection of Unknown Objects in Video Games using Qualitative Stability Analysis, IEEE Transactions on Computational Intelligence and AI in Games (TCIAIG), 8(2):166-177, 2016. (pdf file)
  • M. Westphal, S. Woelfl, B. Nebel, and J. Renz, On Qualitative Route Descriptions, Journal of Philosophical Logic (J. Phil. Logic), 44(2):177-201, 2015. (pdf file)
  • R. Costanza et al., Simulation games that integrate research, entertainment, and learning around ecosystem services, Ecosystem Services (ES), 10:195-201, 2014. (pdf file)
  • A. G. Cohn, S. Li, W. Liu, and J. Renz, Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects, Journal of Artificial Intelligence Research (JAIR), 51:493-532, 2014. (pdf file)
  • J. Huang, J. J. Li, and J. Renz, Decomposition and Tractability in Qualitative Spatial and Temporal Reasoning, Artificial Intelligence (AIJ), 195:140-165, 2013. (pdf file)

Conference Papers:

  • M. Stephenson, J. Renz, Procedural Generation of Levels for Angry Birds Style Physics Games, The Twelfth Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE'16), Burlingame, CA, October 2016. (pdf file)
  • M. Stephenson, J. Renz, Procedural Generation of Complex Stable Structures for Angry Birds Levels, IEEE Computational Intelligence and Games Conference 2016 (IEEE-CIG'16), Santorini, Greece, September 2016, (pdf file)
  • X. Ge, J. H. Lee, J. Renz, P. Zhang, Hole in One: Using Qualitative Reasoning for Solving Hard Physical Puzzle Problems, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16), The Hague, Netherlands, August 2016, to appear. (Note: an extended version of this paper was accepted at QR'16, the 29th International Workshop on Qualitative Reasoning).
  • X. Ge, J. H. Lee, J. Renz, P. Zhang, Trend-Based Prediction of Spatial Change, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, NY, July 2016, 1074-1080. (pdf file)
  • J. Renz, X. Ge, R. Verma, and P. Zhang, Angry Birds as a Challenge for Artificial Intelligence, Proceedings of the 30th AAAI Conference (AAAI'16), Phoenix, AZ, February 2016, 4338-4339. (pdf file)
  • P. Zhang, J. H. Lee, J. Renz, From Raw Sensor Data to Detailed Spatial Knowledge, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), Buenos Aires, Argentina, July 2015, 610-616. (pdf file)
  • J. Renz, AIBIRDS: The Angry Birds Artificial Intelligence Competition, Proceedings of the 29th AAAI Conference (AAAI'15), Austin, TX, January 2015, 4326-4327. (pdf file)
  • X. Ge, J. Renz, Tracking Perceptually Indistinguishable Objects using Spatial Reasoning, Proceedings of the 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI'14), Gold Coast, QLD, Australia, December 2014, 600-613. (pdf file)
  • H. Sadeghi Sokeh, S. Gould, J. Renz, Determining Interacting Objects in Human-Centric Activities via Qualitative Spatio-Temporal Reasoning, Proceedings of the 12th Asian Conference on Computer Vision, Part V (ACCV 2014), Singapore, November 2014, 550-563. (pdf file)
  • P. Zhang, J. Renz, Qualitative Spatial Representation and Reasoning in Angry Birds: the Extended Rectangle Algebra, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), Vienna, Austria, July 2014. (pdf file)
  • X. Ge, J. Renz, Representation and Reasoning about General Solid Rectangles, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), Beijing, China, August 2013, 905-911. (pdf file)
  • J.H. Lee, J. Renz, D. Wolter, StarVars -- Effective Reasoning about Relative Direction Information, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), Beijing, China, August 2013, 976-982. (pdf file)
  • H. Sadeghi Sokeh, S. Gould, J. Renz, Efficient Extraction and Representation of Spatial Information from Video Data, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), Beijing, China, August 2013, 1076-1082. (pdf file)
  • J. Renz, Implicit Constraints for Qualitative Spatial and Temporal Reasoning, Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), Rome, Italy, June 2012, 509-518. (pdf file)
  • A. G. Cohn, J. Renz, M. Sridhar, Thinking inside the box: A comprehensive spatial representation for video analysis, Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), Rome, Italy, June 2012, 588-592. (pdf file)
  • M. Westphal, J. Renz, Evaluating and Minimizing Ambiguities in Qualitative Route Instructions, Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (GIS'11), Chicago, IL, November 2011, 171-180. (pdf file)
  • M. Westphal, S. Wölfl, B. Nebel, J. Renz, On Qualitative Route Descriptions: Representation and Computational Complexity, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), Barcelona, Spain, July 2011, 1120-1125. (pdf file)
  • J.J. Li, J. Renz, In Defense of Large Qualitative Calculi, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI'10), Atlanta, GA, July 2010, 315-320. (pdf file)
  • J. Renz, S. Wölfl, A Qualitative Representation of Route Networks, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10), Lisbon, Portugal, August 2010, 1091-1092. (pdf file)
  • M. Duckham, M-H Jeong, S. Li, J. Renz, Decentralized querying of topological relations between regions without using localization, Proceedings of the 18th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (GIS'10), San Jose, CA, November 2010, 414-417 (pdf file)
  • B. Nebel, J. Renz, A Fixed-parameter Tractable Algorithm for Spatio-temporal Calendar Management, Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09), Pasadena, CA, July 2009, 878-889. (pdf file)
  • W. Liu, S. Li, J. Renz, Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity, Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09), Pasadena, CA, July 2009, 854-859. (pdf file)
  • J. J. Li, J. Huang, J. Renz, A Divide-and-Conquer Approach for Solving Interval Algebra Networks, Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09), Pasadena, CA, July 2009, 572-577. (pdf file), (software,benchmark instances (127MB))
  • 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, 715-723. (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)
Xiaoyu Ge

Mr Gary Ge »

PhD candidate

Hua Hua »

PhD Student

Wei Mao »

Honours Student

Mr Rohit Ram »

Summer Scholar

Mr Matthew Stephenson »

PhD Student

Peng Zhang

Mr Peng Zhang »

PhD student

COMP4000 series courses
Code Title Year 20.. Semester
COMP4450 Advanced Computing Research Me... 17, 18, 19, 20, 21 S1
COMP2000 series courses
Code Title Year 20.. Semester
COMP2560 Studies in Advanced Computing... 17, 18, 19, 20, 21 S2
COMP2550 Advanced Computing R&D Met... 17, 18, 19, 20, 21 S1

Updated:  8 September 2015/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing