June 1990 - January 1992: Research assistant, Laboratory of Information Processing Science, Helsinki University of Technology.
February 1992 - July 1996: Researcher (graduate 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 - : Principal Researcher, NICTA, Canberra, Australia. (senior researcher until June 30, 2007) Adjunct appointment: associate professor, Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra, Australia.
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, 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.
J. Rintanen. Computational complexity of plan and controller synthesis under partial observability, manuscript, 2005.
Refereed conference papers
Jussi 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.
Jussi 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.
Jussi 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 E-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. All rights reserved. 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. All rights reserved. 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. All rights reserved. AAAI)
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.
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.
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, 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. All rights reserved. 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. All rights reserved. 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. All rights reserved. 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. All rights reserved. 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. 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. 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.
Reviewed journal articles
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.
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.
Other publications
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.