Professor Jochen Renz
Dr. habil., Dr. rer. nat., Dipl. Inform.
Professor, Head of ANU Artificial Intelligence Group
ANU College of Engineering and Computer Science
T:
02 6125 1767
Areas of expertise
- Artificial Intelligence And Image Processing 0801
- Analysis Of Algorithms And Complexity 080201
- Knowledge Representation And Machine Learning 170203
- Geospatial Information Systems 090903
- Computational Logic And Formal Languages 080203
- Simulation And Modelling 080110
- Conceptual Modelling 080603
- Operations Research 010206
- Mathematical Logic, Set Theory, Lattices And Universal Algebra 010107
Research interests
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
Biography
1996: Master's in Computer Science, University of Ulm, Germany
2000: PhD, Albert-Ludwigs University Freiburg, Germany
2000: Postdoc, WITAS lab, University of Linkoping, 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
Publications
- Renz, J, Ge, X & Zhang, P 2016, 'Angry birds as a challenge for artificial intelligence', Conference on Artificial Intelligence (AAAI-16), ed. Dale Schuurmans, Michael P. Wellman, AAAI Press, Unknown, pp. 4338-4339.
- Ge, X, Renz, J & Zhang, P 2016, 'Visual Detection of Unknown Objects in Video Games Using Qualitative Stability Analysis', IEEE Transactions on Computational Intelligence and AI in Games, vol. 8, no. 2, pp. 166-177.
- Ge, X, Lee, J, Renz, J et al 2016, 'Trend-Based Prediction of Spatial Change', International Joint Conference on Artificial Intelligence IJCAI 2016, ed. Subbarao Kambhampati, AAAI Press, Palo Alto, California, pp. 1074-1080.
- Stephenson, M & Renz, J 2016, 'Procedural Generation of Levels for Angry Birds Style Physics Games', Twelfth Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE '16), Association for the Advancement of Artificial Intelligence (AAAI), USA, pp. 1-7.
- Ge, X, Lee, J, Renz, J et al 2016, 'Hole in One: Using Qualitative Rasoning for Solving Hard Physical Puzzle Problems', European Conference on Artificial Intelligence ECAI 2016, ed. G.A Kaminka, M. Fox, P. Bouquet, E. Hullermeier, IOS Press, US, pp. 1762-1763.
- Renz, J & Stephenson, M 2016, 'Procedural generation of complex stable structures for angry birds levels', Computational Intelligence and Games (CIG), 2016 IEEE Conference on, IEEE Publishing, New York, pp. 1-8pp.
- Sadeghi Sokeh, H, Gould, S & Renz, J 2015, 'Determining Interacting Objects in Human-Centric Activities via Qualitative Spatio-Temporal Reasoning', 12th Asian Conference on Computer Vision, ACCV 2014, ed. H.Reid, I.Yang, Springer, TBC, pp. 550-563.
- Renz, J 2015, 'AIBIRDS: The Angry Birds Artificial Intelligence Competition', Conference on Artificial Intelligence (AAAI 2015), ed. Q.Yang and M.Wolldridge, American Association for Artificial Intelligence (AAAI) Press, United States, pp. 4326-4327.
- Zhang, P, Lee, J & Renz, J 2015, 'From Raw Sensor Data to Detailed Spatial Knowledge', International Joint Conference on Artificial Intelligence IJCAI 2015, ed. Qiang Yang, Michael Wooldridge, AAAI Press, Palo Alto, California, USA, pp. 910-916.
- Renz, J, Ge, X, Gould, S et al 2015, 'The Angry Birds AI Competition', AI Magazine, vol. Summer 2015, pp. 85-87.
- Renz, J & Ge, X 2015, 'Physics Simulation Games', in Ryohei Nakatsu, Matthias Rauterberg, Paolo Ciancarini (ed.), Handbook of Digital Games and Entertainment Technologies, Springer Verlag, Singapore, pp. 1-19.
- Ge, X & Renz, J 2014, 'Tracking perceptually indistinguishable objects using spatial reasoning', 13th Pacific Rim International Conference on Artificial Intelligence, ed. R. Goebel, Y. Tanaka & w. Wahlster, Springer, London, pp. 600-613.
- Cohn, A, Li, S, liu, W et al 2014, 'Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects', Journal of Artificial Intelligence Research, vol. 51, pp. 493-532.
- Zhang, P & Renz, J 2014, 'Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra', 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), ed. Chitta Baral, Giiuseppe De Giacomo, Thomas Eiter, AAAI Press, USA, pp. 1-10.
- Westphal, M, Wolfl, S, Nebel, B et al 2014, 'On Qualitative Route Descriptions Representation, Agent Models, and Computational Complexity', Journal of Philosophical Logic, vol. Published online: 28 September 2014, pp. 1-25.
- Costanza, R., K. Chichakly, V. Dale, S. Farber, D. Finnigan, K. Grigg, S. Heckbert, I. Kubiszewski, H. Lee, S. Liu, P. Magnuszewski, S. Maynard, N. McDonald, R. Mills, S. Ogilvy, P.L. Pert, J. Renz, L. Wainger, M. Young, and C.R. Ziegler. 2014. Simulation games that integrate research, entertainment, and learning around ecosystem services. Ecosystem Services 10: 195-201.
- Lee, J, Renz, J & Wolter, D 2013, 'StarVars - Effective Reasoning about Relative Directions', 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, AAAI Press, USA, pp. 976-982.
- Sadeghi Sokeh, H, Gould, S & Renz, J 2013, 'Efficient Extraction and Representation of Spatial Information from Video Data', 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, AAAI Press, USA, pp. 1076-1082.
- Ge, X & Renz, J 2013, 'Representation and Reasoning about General Solid Rectangles', 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, AAAI Press, USA, pp. 905-911.
- Renz, J 2012, 'Implicit Constraints for Qualitative Spatial and Temporal Reasoning', 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012, Association for the Advancement of Artificial Intelligence (AAAI), Rome.
- Huang, J, Li, J & Renz, J 2012, 'Decomposition and tractability in qualitative spatial and temporal reasoning', Artificial Intelligence, vol. 195, pp. 140-164.
- Cohn, A, Renz, J & Sridhar, M 2012, 'Thinking inside the box: A Comprehensive Spatial Representation for Video Analysis', 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012, Association for the Advancement of Artificial Intelligence (AAAI), Rome, pp. 588-592.
- Westphal, M & Renz, J 2011, 'Evaluating and Minimizing Ambiguities in Qualitative Route Instructions', ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems 2011, ed. Conference Program Committee, ASME Digital Library, New York, p. 10.
- Westphal, M, Wolfl, S, Nebel, B et al 2011, 'On Qualitative Route Descriptions: Representation and Computational Complexity', International Joint Conference on Artificial Intelligence (IJCAI 2011), ed. Toby Walsh, AAAI Press, Menlo Park California, p. 6.
- Renz, J & Wolfl, S 2010, 'A Qualitative Representation of Route Networks', European Conference on Artificial Intelligence (ECAI 2010), ed. Helder Coelho, Rudi Studer, Michael Wooldridge, IOS Press, Amsterdam, pp. 1091-1092.
- Duckham, M, Guan, L, Li, S et al 2010, 'Monitoring region relations in limited granularity geosensor networks', International Conference on Geographic Information Science (GIScience 2010), ed. Conference Program Committee, Springer, Berlin, Heidelberg, pp. 414-417.
- Duckham, M, Jeong, M, Li, S et al 2010, 'Decentralized querying of topological relations between regions without using localization', ACM Sigspatial International Conference on Advances in Geographic Information Systems 2010, ed. Conference Program Committee, Association for Computing Machinery Inc (ACM), New York, p. 4.
- Li, JJ & Renz, J 2010, 'In Defense of Large Qualitative Calculi', National Conference on Artificial Intelligence (AAAI 2010), ed. Conference Program Committee, AAAI Press, Georgia, USA.
- Nebel, B & Renz, J 2009, 'A fixed-parameter tractable algorithm for spatio-temporal calendar management', International Joint Conference on Artificial Intelligence (IJCAI 2009), ed. H Kitano, AAAI Press, San Jose, USA, pp. 879-884.
- Liu, W, Li, S & Renz, J 2009, 'Combining RCC-8 with qualitative direction calculi: Algorithms and complexity', International Joint Conference on Artificial Intelligence (IJCAI 2009), ed. H Kitano, AAAI Press, San Jose, USA, pp. 854-859.
- Li, JJ, Huang, J & Renz, J 2009, 'A divide-and-conquer approach for solving interval algebra networks', International Joint Conference on Artificial Intelligence (IJCAI 2009), ed. H Kitano, AAAI Press, San Jose, USA, pp. 572-577.
- Cohn, A & Renz, J 2008, 'Qualitative spatial representation and reasoning', in F. van Harmelen, V. Lifschitz, B. Porter (ed.), Handbook of Knowledge Representation, Elsevier, Amsterdam, The Netherlands, pp. 551-596.
- Martin-Hughes, R & Renz, J 2008, 'Examining the motivations of defection in large-scale open systems', ACM Symposium on Applied Computing (ACM-SAC 2008), ed. R.L. Wainwright, H.M. Haddad, Association for Computing Machinery Inc (ACM), Fortaleza, Brazil, pp. 2035-2039.
- Foo, N & Renz, J 2008, 'Experience and trust - a systems-theoretic approach', European Conference on Artificial Intelligence (ECAI 2008), ed. M. Ghallab, IOS Press, Amsterdam The Netherlands, pp. 867-868.
- Li, JJ, Kowalski, T, Renz, J et al 2008, 'Combining binary constraint networks in qualitative reasoning', European Conference on Artificial Intelligence (ECAI 2008), ed. M. Ghallab, IOS Press, Amsterdam The Netherlands, pp. 515-519.
- Renz, J & Li, JJ 2008, 'Automated complexity proofs for qualitative spatial and temporal calculi', International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), ed. G. Brewka, J. Lang, AAAI Press, Menlo Park, California USA, pp. 715-723.
- Renz, J & Nebel, B 2007, 'Qualitative spatial reasoning using constraint calculi', in M. Aiello, I.E. Pratt-Hartmann, J. van Benthem (ed.), Handbook of Spatial Logics, Springer, Berlin, pp. 161-215.
- Renz, J 2007, 'Qualitative spatial and temporal reasoning: Efficient algorithms for everyone', International Joint Conference on Artificial Intelligence (IJCAI 2007), ed. M.M. Veloso, Morgan Kaufmann Publishers, Inc., USA, pp. 526-531.
- Renz, J & Schmid, F 2007, 'Customizing qualitative spatial and temporal calculi', Australian Joint Conference on Artificial Intelligence (AI 2007), ed. Mehmet A Orgun and John Thornton, Springer, New York, pp. 293-304.
- Renz, J & Ligozat, G 2005, 'Weak composition for qualitative spatial and temporal reasoning', International Conference on Principles and Practice of Constraint Programming (CP 2005), ed. Peter van Beek, Springer, Berlin, pp. 534-548.
- Ligozat, G & Renz, J 2004, 'Problems with local consistency for qualitative calculi', European Conference on Artificial Intelligence (ECAI 2004), ed. Ramon Lopez de Mantaras, Lorenza Saitta, IOS Press, The Netherlands, pp. 1047-1048.
- Renz, J & Mitra, D 2004, 'Qualitative Direction Calculi with Arbitrary Granularity', 8th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2004), ed. Chengqi Zhang, Hans Guesgen, Wai-Kiang Yeap, Springer, New Zealand, pp. 65-74.
- Ligozat, G & Renz, J 2004, 'What is a Qualitative Calculus? A General Framework', 8th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2004), ed. Chengqi Zhang, Hans Guesgen, Wai-Kiang Yeap, Springer, New Zealand, pp. 53-64.
- Broxvall, M, Jonsson, P & Renz, J 2002, 'Disjunctions, Independence, Refinements', Artificial Intelligence, vol. 140, no. 1-2, pp. 153-173.
- Gerevini, A & Renz, J 2002, 'Combining Topological and Size Constraints for Spatial Reasoning', Artificial Intelligence, vol. 137, no. 1-2, pp. 1-42.
- Renz, J 2002, 'A canonical model of the region connection calculus', Journal of Applied Non-Classical Logics, vol. 12, no. 3-4, pp. 469-494.
- Renz, J & Nebel, B 2001, 'Efficient Methods for Qualitative Spatial Reasoning', Journal of Artificial Intelligence Research, vol. 15, pp. 289-318.
- Renz, J 2001, 'A spatial odyssey of the interval algebra', International Joint Conference on Artificial Intelligence (IJCAI 2001), ed. Nebel, B., Morgan Kauffman Publishers, San Fransico, USA, pp. 51-56.
Projects and Grants
Grants are drawn from ARIES. To add Projects or Grants please contact your College Research Office.
- Making human place knowledge digestible by computers (Secondary Investigator)
- Artificial Intelligence meets Wireless Sensor Networks: Filling the gaps between sensors using spatial reasoning (Primary Investigator)
- Approximate reasoning with qualitative spatial constraints involving landmarks (Secondary Investigator)
- Engineering Artificial Intelligence: A Spatial Representation and Reasoning Perspective (Primary Investigator)
