June 1990 - January 1992: Research assistant, Laboratory of Information Processing Science, Helsinki University of Technology.
February 1992 - July 1996: Researcher (PhD student), Laboratory of Theoretical Computer Science, Helsinki University of Technology. (July 1995 - May 1996: Visiting researcher, Department of Computer Sciences, University of Texas at Austin.)
July 1996 - March 1997: Compulsory military service, Finnish Defence Forces (Uudenmaan Jääkäripataljoona/Santahamina, July 9, 1996 - September 15, 1996, Electrotechnical Research Institute, September 15, 1996 - March 5, 1997), Helsinki.
April 1997 - September 1999 : Researcher (Deutsche Forschungsgemeinschaft), Department of Computer Science, University of Ulm, Germany.
October 1999 - September 2005: Wissenschaftlicher Assistent (~ non-tenure-track assistant professor), Institute of Computer Science, Albert-Ludwigs-Universität Freiburg, Germany.
January 2006 - March 2011: Principal Researcher, NICTA, Canberra, Australia. January 2006 - : Adjunct Associate Professor, School of Computer Science, the Australian National University, Canberra, Australia.
J. Rintanen, Planning and SAT, in A. Biere, H. van Maaren, M. Heule and Toby Walsh, Eds., Handbook of Satisfiability, pp. 483-504, IOS Press, 2009.
J. Rintanen, Planning: algorithms and complexity, Habilitation thesis, Albert-Ludwigs-Universität Freiburg, iv+182 pages, July 2005.
J. Rintanen. State-space traversal techniques for planning, Albert-Ludwigs-Universität-Freiburg, Institut für Informatik, Technical Report 220, 76 pages, 2005. (AAAI-06 Tutorial, IJCAI-05 Tutorial)
J. Rintanen. Introduction to automated planning, course notes, Albert-Ludwigs-Universität Freiburg, 2003-2005.
Refereed conference papers and journal articles
J. Rintanen. Planning as satisfiability: heuristics, Artificial Intelligence Journal, 193, 45-83, 2012.
J. Rintanen. Engineering Efficient Planners with SAT, In ECAI 2012. Proceedings of the 20th European Conference on Artificial Intelligence, IOS Press, 2012.
J. Rintanen. Complexity of Conditional Planning under Partial Observability and Infinite Executions, In ECAI 2012. Proceedings of the 20th European Conference on Artificial Intelligence, IOS Press, 2012.
A. Botea, J. Rintanen and D. Banerjee. Optimal reconfiguration for supply restoration with informed A* search.. IEEE Transactions on Smart Grid, 3(2), pages 583-593, 2012.
J. Rintanen. Planning with specialized SAT solvers. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, pages 1563-1566, 2011. (© 2011 American Association for Artificial Intelligence. AAAI) (slides)
J. Rintanen. Planning with SAT, admissible heuristics and A*. In Proceedings of the International Joint Conference on Artificial Intelligence, AAAI Press, pages 2015-2020, 2011. (© 2011 American Association for Artificial Intelligence. AAAI)
J. Rintanen. Heuristics for planning with SAT and expressive action definitions. In Proceedings of the International Conference on Automated Planning and Scheduling, AAAI Press, pages 210-217, 2011. (© 2011 American Association for Artificial Intelligence. AAAI)
J. Rintanen. Heuristics for planning with SAT. In David Cohen, ed., Principles and Practice of Constraint Programming - CP 2010, 16th International Conference, CP 2010, St. Andrews, Scotland, September 2010, Proceedings. Lecture Notes in Computer Science 6308, pages 414-428, Springer-Verlag, 2010.
J. Rintanen. Heuristic planning with SAT: beyond strict depth-first search. In Twenty-Third Australasian Joint Conference on Artificial Intelligence, Adelaide, December 7-10, 2010, Proceedings. Lecture Notes in Computer Science, pages 415-424, Springer-Verlag, 2010.
J. Rintanen. Planning graphs and propositional clause-learning. In Gerhard Brewka and Patrick Doherty, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008), pages 535-543, AAAI Press, 2008. (© 2008 American Association for Artificial Intelligence. AAAI)
J. Rintanen. Regression for classical and nondeterministic planning. In Malik Ghallab, Constantine D. Spyropoulos, and Nikos Fakotakis, editors, ECAI 2008. Proceedings of the 18th European Conference on Artificial Intelligence. pages 568-571, IOS Press, 2008.
J. Rintanen. A new approach to planning in networks. In Malik Ghallab, Constantine D. Spyropoulos, and Nikos Fakotakis, editors, ECAI 2008. Proceedings of the 18th European Conference on Artificial Intelligence. pages 917-918, IOS Press, 2008.
M. Wehrle and J. Rintanen, Planning as satisfiability with relaxed ∃-step plans, In M. Orgun and J. Thornton, eds, AI 2007 : Advances in Artificial Intelligence: 20th Australian Joint Conference on Artificial Intelligence, Surfers Paradise, Gold Coast, Australia, December 2-6, 2007, Proceedings, Lecture Notes in Computer Science 4830, pages 244-253, Springer-Verlag, 2007. The winner of the AI 2007 Best Paper Award
J. Rintanen, Complexity of concurrent temporal planning, Proceedings of the 17th International Conference on Automated Planning and Scheduling, pages 280-287, AAAI Press, 2007. (© 2007 American Association for Artificial Intelligence. AAAI)
J. Rintanen, Asymptotically optimal encodings of conformant planning in QBF, Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), pages 1045-1050, AAAI Press, 2007. (© 2007 American Association for Artificial Intelligence. AAAI)
A. Grastien, Anbulagan, J. Rintanen and E. Kelareva, Diagnosis of discrete-event systems using satisfiability algorithms, pages 305-310, Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), AAAI Press, 2007. (© 2007 American Association for Artificial Intelligence. AAAI)
J. Rintanen and A. Grastien, Diagnosability testing with satisfiability algorithms, in M. Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 532-537, AAAI Press, 2007.
J. Rintanen, Diagnosers and diagnosability of succinct transition systems, in M. Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 538-544, AAAI Press, 2007.
S. Hickmott, J. Rintanen, S. Thiébaux and L. White, Planning via Petri net unfolding, in M. Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 1904-1911, AAAI Press, 2007.
R. Mattmüller and J. Rintanen, Planning for temporally extended goals as propositional satisfiability, in M. Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 1966-1971, AAAI Press, 2007.
J. Rintanen, K. Heljanko and I. Niemelä, Planning as satisfiability: parallel plans and algorithms for plan search, Artificial Intelligence, 170(12-13), pages 1031-1080, 2006. 2nd most downloaded Artificial Intelligence article at ScienceDirect October-December 2006 (excluding review and survey articles)
J. Rintanen, Unified definition of heuristics for classical planning, ECAI 2006. Proceedings of the 17th European Conference on Artificial Intelligence, pages 600-604, IOS Press, 2006.
J. Rintanen, Compact representation of sets of binary constraints, ECAI 2006. Proceedings of the 17th European Conference on Artificial Intelligence, pages 143-147, IOS Press, 2006. [ECAI'06 talk]
J. Rintanen, Conditional planning in the discrete belief space, in L. P. Kaelbling, ed., Proceedings of the 19th International Joint Conference on Artificial Intelligence, pages 1260-1265, Morgan Kaufmann Publishers, San Francisco, California, 2005.
M. Büttner and J. Rintanen, Satisfiability Planning with Constraints on the number of Actions, in Proceedings of the 15th International Conference on Automated Planning and Scheduling, pages 292-299, AAAI Press, 2005.
J. Rintanen, Evaluation strategies for planning as satisfiability, in R. Lopez de Mantaras and Lorenza Saitta, eds., ECAI 2004. Proceedings of the 16th European Conference on Artificial Intelligence, pages 682-687, IOS Press, 2004. [additional material on slides of ECAI'04 talk, 8 on 1]
J. Rintanen, K. Heljanko and I. Niemelä. Parallel encodings of classical planning as satisfiability, José Júlio Alferes and João Leite, eds., Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings, Lecture Notes in Computer Science 3229, pages 307-319, Springer-Verlag, 2004.
J. Rintanen, Complexity of planning with partial observability, in Proceedings of the 14th International Conference on Automated Planning and Scheduling, pages 345-354, AAAI Press, 2004. (© 2004 American Association for Artificial Intelligence. AAAI)
J. Rintanen, Phase transitions in classical planning: an experimental study, in Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), pages 710-719, AAAI Press, 2004. [additional material on slides of KR'04 talk, 8 on 1]
J. Rintanen, Phase transitions in classical planning: an experimental study, in Proceedings of the 14th International Conference on Automated Planning and Scheduling, pages 101-110, AAAI Press, 2004.
J. Rintanen, Distance estimates for planning in the discrete belief space, in Proceedings of the 19th National Conference on Artificial Intelligence, pages 525-530, AAAI Press, 2004. (© 2004 American Association for Artificial Intelligence. AAAI)
J. Rintanen, Symmetry reduction for SAT representations of transition systems, in Proceedings of the 13th International Conference on Automated Planning and Scheduling, pages 32-40, AAAI Press, 2003. (© 2003 American Association for Artificial Intelligence. AAAI)
J. Rintanen, Expressive equivalence of formalisms for planning with sensing, in Proceedings of the 13th International Conference on Automated Planning and Scheduling, pages 185-194, AAAI Press, 2003. (© 2003 American Association for Artificial Intelligence. AAAI)
J. Rintanen, Backward plan construction for planning with partial observability, in International Conference on Artificial Intelligence Planning and Scheduling (AIPS02), M. Ghallab, J. Hertzberg and P. Traverso, eds., pages 173-182, AAAI Press, 2002. (© AAAI)
J. Rintanen, Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae, in International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR01), R. Nieuwenhuis and A. Voronkov, eds., Lecture Notes in Computer Science 2250, pages 362-376, Springer-Verlag, 2001. (© Springer-Verlag)
J. Rintanen, Complexity of probabilistic planning under average rewards, in Proceedings of the 17th International Joint Conference on Artificial Intelligence, B. Nebel, ed., pages 503-508, August 2001. Morgan Kaufmann Publishers, San Francisco, California, 2001.
J. Rintanen. An iterative algorithm for synthesizing invariants, in Proceedings of the 17th National Conference on Artificial Intelligence / 12th Innovative Applications of AI Conference, pages 806-811, AAAI Press, 2000. (© AAAI)
J. Rintanen. Incorporation of temporal logic control into plan operators, in ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, Werner Horn, ed., pages 526-530, IOS Press, Amsterdam, 2000.
J. Rintanen and H. Jungholt. Numeric state variables in constraint-based planning, in Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, S. Biundo and M. Fox, eds., Lecture Notes in Artificial Intelligence 1809, pages 109-121, 2000. Springer-Verlag, Berlin, Germany.
J. Rintanen. Improvements to the evaluation of quantified Boolean formulae, in Proceedings of the 16th International Joint Conference on Artificial Intelligence, T. Dean, ed., pages 1192-1197, Stockholm, Sweden, August 1999. Morgan Kaufmann Publishers, San Francisco, California.
J. Rintanen. Constructing conditional plans by a theorem-prover, Journal of Artificial Intelligence Research, 10:323-352, 1999.
J. Rintanen. Lexicographic priorities in default logic. Artificial Intelligence Journal, 106(2):221-265, 1998.
J. Rintanen. Complexity of prioritized default logics. Journal of Artificial Intelligence Research 9:423-461, 1998.
J. Rintanen. A planning algorithm not based on directional search. in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR '98), A. G. Cohn, L. K. Schubert, and S. C. Shapiro, eds., pages 617-624, Trento, Italy, June 1998. Morgan Kaufmann Publishers, San Francisco, California.
J. Rintanen. On specificity in default logic. in Proceedings of the 14th International Joint Conference on Artificial Intelligence, pages 1974-1979, Montréal, Canada, August 1995, Morgan Kaufmann Publishers.
J. Rintanen. Prioritized autoepistemic logic. in Logic in Artificial Intelligence: Proceedings of the 4th European Workshop JELIA'94, Lecture Notes in Artificial Intelligence 838, pages 232-246, York, England, September 1994. Springer-Verlag.
I. Niemelä and J. Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. Journal of Applied Non-Classical Logics, 4(2):141-179, 1994.
I. Niemelä and J. Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. in Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '92), B. Nebel, C. Rich and W. Swartout, eds., pages 627-638, Cambridge, Massachusetts, October 1992. Morgan Kaufmann Publishers.
Other publications
J. Rintanen, Planning and Satisfiability, in A. Biere, H. van Maaren, M. Heule and Toby Walsh, Eds., Handbook of Satisfiability, IOS Press, 2009.
J. Rintanen, B. Nebel, J. C. Beck and E. Hansen, eds. Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, AAAI Press, 2008.
J. Rintanen, K. Heljanko and I. Niemelä. Parallel encodings of classical planning as satisfiability, Report No. 198, Albert-Ludwigs-Universität Freiburg, Institut für Informatik, 2004.
J. Rintanen. Conditional planning in the discrete belief space, Report No. 205, Albert-Ludwigs-Universität Freiburg, Institut für Informatik, 2004.
A. Nareyek, R. Fourer, E. C. Freuder, E. Giunchiglia, R. P. Goldman, H. Kautz, J. Rintanen and A. Tate, Constraints and AI planning, IEEE Intelligent Systems, 20(2):62-72, 2005.
J. Rintanen and J. Hoffmann, An overview of recent algorithms for AI planning, Künstliche Intelligenz, (2):5-11, May 2001.
J. Rintanen, Lexicographic Ordering as a Basis of Priorities in Default Reasoning, Department of Computer Science and Engineering, Helsinki University of Technology, December 1996, vi+187 pages.
I. Niemelä and J. Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. G. Lakemeyer and B. Nebel, Eds., Foundations of Knowledge Representation and Reasoning, Lecture Notes in Artificial Intelligence 810, pages 275-295. Springer-Verlag, June 1994.
J. Rintanen. Approaches to priorities in default reasoning. M. Penttonen, ed., Proceedings of the Seventh Finnish Symposium on Computer Science, pages 121-131, Liperi, Finland, January 1994. University of Joensuu, Department of Computer Science. Report A-1994-1.
J. Rintanen. Priorities and nonmonotonic reasoning. Research report A 28, Helsinki University of Technology, Digital Systems Laboratory, December 1993, 90 pages.
J. Rintanen. Stratification and tractability in nonmonotonic reasoning. Research report A 20, Helsinki University of Technology, Digital Systems Laboratory, November 1992, 71 pages.
I. Niemelä and J. Rintanen. A decision procedure for stratified autoepistemic logic. E. Hyvönen, J. Seppänen and M. Syrjänen, Eds., 5th Finnish Artificial Intelligence Conference, Vol 1: Conference Papers, pages 202-211, June 1992.
J. Rintanen, M. Tamminen, J. Arkko, J. Kuusela, E. Nuutila and V. Hirvisalo. XD manual. Report C 36, Helsinki University of Technology, Faculty of Information Technology, Espoo, 1989.
Finnish Academy of Science and Letters, award for a distinguished doctoral thesis and a postdoctoral research proposal (four are awarded annually, covering arts and sciences), 1997.
Best Paper Award at the Australasian Conference on Artificial Intelligence, 2007.