1997 - 1999: researcher, Department of Computer Science, University of Ulm, Germany.
1999 - 2005: Wissenschaftlicher Assistent (~ non-tenure-track assistant professor), Institute of Computer Science, Albert-Ludwigs-Universität Freiburg, Germany.
2006 - 2011: Principal Researcher, National ICT Australia (NICTA), Canberra, Australia. Adjunct Associate Professor, School of Computer Science, the Australian National University, Canberra, Australia.
2012 - : Aalto University, Department of Computer Science
Jussi Rintanen, Planning and SAT, in Armin Biere, Hans van Maaren, Marijn Heule and Toby Walsh, Eds., Handbook of Satisfiability, 2nd. edition, IOS Press, 2021. (Version of Record)
Jussi Rintanen, Planning and SAT, in Armin Biere, Hans van Maaren, Marijn Heule and Toby Walsh, Eds., Handbook of Satisfiability, pp. 483-504, IOS Press, 2009.
Jussi Rintanen, Planning: algorithms and complexity, Habilitation thesis, Albert-Ludwigs-Universität Freiburg, iv+182 pages, July 2005.
Jussi Rintanen. State-space traversal techniques for planning, Albert-Ludwigs-Universität-Freiburg, Institut für Informatik, Technical Report 220, 76 pages, 2005.
Jussi Rintanen. Introduction to automated planning, course notes, Albert-Ludwigs-Universität Freiburg, 2003-2005.
Refereed conference papers and journal articles
Mojtaba Elahi, Saurabh Fadnis, and Jussi Rintanen. Termination properties of transition rules for indirect effects. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). to appear, AAAI Press, 2024.
Mojtaba Elahi and Jussi Rintanen. Optimizing the optimization of planning domains by automatic action schema splitting. In Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, to appear, AAAI Press, 2024.
Saurabh Fadnis and Jussi Rintanen. Planning with partial observability by SAT. In Logics in Artificial Intelligence, 18th European Conference, JELIA 2023, September 2023, Proceedings, pages 605-620, Springer-Verlag, 2023.
Saurabh Fadnis and Jussi Rintanen. Generalized 3-valued belief states in conformant planning. In Proceedings of the Pacific Rim Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence, pages 104-117, Springer-Verlag, 2022.
Masood Feyzbakhsh Rankooh and Jussi Rintanen. Propositional encodings of acyclicity and reachability by using vertex elimination. In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence. pages 5861-5868, AAAI Press, 2022.
Masood Feyzbakhsh Rankooh and Jussi Rintanen. Efficient computation and informative estimation of h+ by integer and linear programming. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, pages 71-79, 2022.
Masood Feyzbakhsh Rankooh and Jussi Rintanen. Efficient encodings of cost optimal delete-free planning as SAT. In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence. pages 9910-9917, AAAI Press, 2022.
Martin Gebser, Tomi Janhunen, and Jussi Rintanen. Declarative encodings of acyclicity properties, Journal of Logic and Computation, pages 923-952, 2020.
Binda Pandey and Jussi Rintanen. Planning for partial observability by SAT and graph constraints. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), AAAI Press, pages 190-198, 2018.
Jussi Rintanen. Temporal planning with clock-based SMT encodings. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), AAAI Press, pages 743-749, 2017. (slides)
Jussi Rintanen. Schematic invariants by reduction to ground invariants. In Proceedings of the AAAI Conference on Artificial Intelligence, pages 3644-3650, AAAI Press, 2017. (© 2017 American Association for Artificial Intelligence. AAAI)
Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik Nyman, Johan Pensar, and Jukka Corander. Learning discrete decomposable graphical models via constraint optimization, Statistics and Computing, 27(1), pages 115-130, 2017.
Jussi Rintanen. Models of actions concurrency in temporal planning. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), AAAI Press, pages 1659-1665, 2015.
Jussi Rintanen. Discretization of temporal models with application to planning with SMT. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, pages 3349-3355, 2015. (© 2015 American Association for Artificial Intelligence. AAAI)
Jussi Rintanen. Impact of modeling languages on the theory and practice in planning research. In Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, pages 4052-4056, 2015. (© 2015 American Association for Artificial Intelligence. AAAI) (slides)
Jussi Rintanen. Constraint-based algorithm for computing temporal invariants. In Proceedings of the European Conference on Logic in Artificial Intelligence, Lecture Notes in Computer Science 8761, pages 665-673, Springer-Verlag, 2014.
Martin Gebser, Tomi Janhunen, and Jussi Rintanen. SAT modulo graphs: acyclicity. In Proceedings of the European Conference on Logic in Artificial Intelligence, Lecture Notes in Computer Science 8761, pages 137-151, Springer-Verlag, 2014.
Martin Gebser, Tomi Janhunen, and Jussi Rintanen. Answer set programming as SAT modulo acyclicity. In ECAI 2014. Proceedings of the 21st European Conference on Artificial Intelligence, IOS Press, pages 351-356, 2014.
Martin Gebser, Tomi Janhunen, and Jussi Rintanen. ASP encodings of acyclicity properties. In Proceeding of the International Conference on Knowledge Representation and Reasoning, pages 634-637, AAAI Press, 2014.
Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henri Nyman and Johan Pensar. Learning chordal Markov networks by constraint satisfaction. In Advances in Neural Information Processing Systems 26 (NIPS'13), pages 1349-1357, 2013.
Jussi Rintanen and Charles Orgill Gretton. Computing upper bounds on lengths of transition sequences. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), AAAI Press, pages 2365-2372, 2013. (© 2013 American Association for Artificial Intelligence. AAAI)
Jussi Rintanen. Scheduling with contingent resources and tasks. In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), AAAI Press, pages 189-196, 2013. (© 2013 American Association for Artificial Intelligence. AAAI)
Jussi Rintanen. Planning as satisfiability: heuristics, Artificial Intelligence Journal, 193, pages 45-86, December 2012. 4th most downloaded Artificial Intelligence article at ScienceDirect October-December 2012
Jussi Rintanen. Engineering efficient planners with SAT, In ECAI 2012. Proceedings of the 20th European Conference on Artificial Intelligence, IOS Press, pages 684-689, 2012.
Jussi Rintanen. Complexity of conditional planning under partial observability and infinite executions, In ECAI 2012. Proceedings of the European Conference on Artificial Intelligence, IOS Press, 2012.
Adi Botea, Jussi Rintanen and Debdeep Banerjee. Optimal reconfiguration for supply restoration with informed A* search. IEEE Transactions on Smart Grid, 3(2), pages 583-593, 2012.
Jussi 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)
Jussi 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)
Jussi 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) (slides)
Jussi 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.
Jussi 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.
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. (© 2008 American Association for Artificial Intelligence. AAAI)
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.
Martin Wehrle and Jussi Rintanen, Planning as satisfiability with relaxed ∃-step plans, In Mehmet Orgun and John 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
Jussi 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)
Jussi 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)
Alban Grastien, Anbulagan, Jussi Rintanen and Elena 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)
Jussi Rintanen and Alban Grastien, Diagnosability testing with satisfiability algorithms, in Manuela Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 532-537, AAAI Press, 2007.
Jussi Rintanen, Diagnosers and diagnosability of succinct transition systems, in Manuela Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 538-544, AAAI Press, 2007.
Sarah Hickmott, Jussi Rintanen, Sylvie Thiébaux and Langford White, Planning via Petri net unfolding, in Manuela Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 1904-1911, AAAI Press, 2007.
Robert Mattmüller and Jussi Rintanen, Planning for temporally extended goals as propositional satisfiability, in Manuela Veloso, ed., Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 1966-1971, AAAI Press, 2007.
Jussi Rintanen, Keijo Heljanko and Ilkka 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)
Jussi 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.
Jussi 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]
Jussi 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.
Markus Büttner and Jussi 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.
Jussi 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]
Jussi Rintanen, Keijo Heljanko and Ilkka 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.
Jussi 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)
Jussi 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.
Jussi 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.
Jussi 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)
Jussi 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)
Jussi 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)
Jussi Rintanen, Backward plan construction for planning with partial observability, in International Conference on Artificial Intelligence Planning and Scheduling (AIPS02), Malik Ghallab, J. Hertzberg and P. Traverso, eds., pages 173-182, AAAI Press, 2002. (© AAAI)
Jussi 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 Andrei Voronkov, eds., Lecture Notes in Computer Science 2250, pages 362-376, Springer-Verlag, 2001. (© Springer-Verlag)
Jussi Rintanen, Complexity of probabilistic planning under average rewards, in Proceedings of the 17th International Joint Conference on Artificial Intelligence, Bernhard Nebel, ed., pages 503-508, August 2001. Morgan Kaufmann Publishers, San Francisco, California, 2001.
Jussi 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)
Jussi 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.
Jussi Rintanen and Hartmut 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, Susanne Biundo and Maria Fox, eds., Lecture Notes in Artificial Intelligence 1809, pages 109-121, 2000. Springer-Verlag, Berlin, Germany.
Jussi 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.
Jussi Rintanen. Constructing conditional plans by a theorem-prover, Journal of Artificial Intelligence Research, 10:323-352, 1999. (JAIR)
Jussi Rintanen. Lexicographic priorities in default logic. Artificial Intelligence Journal, 106(2):221-265, 1998.
Jussi Rintanen. Complexity of prioritized default logics. Journal of Artificial Intelligence Research 9:423-461, 1998. JAIR)
Jussi 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.
Jussi 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.
Jussi 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.
Ilkka Niemelä and Jussi Rintanen. On the impact of stratification on the complexity of nonmonotonic reasoning. Journal of Applied Non-Classical Logics, 4(2):141-179, 1994.
Ilkka Niemelä and Jussi 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
Jussi Rintanen, Planning and Satisfiability, in Armin Biere, Hans van Maaren, Mareijn Heule and Toby Walsh, Eds., Handbook of Satisfiability, IOS Press, 2009.
Jussi Rintanen, Bernhard Nebel, J. Christoper Beck and Eric Hansen, eds. Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, AAAI Press, 2008.
Jussi Rintanen, Keijo Heljanko and Ilkka Niemelä. Parallel encodings of classical planning as satisfiability, Report No. 198, Albert-Ludwigs-Universität Freiburg, Institut für Informatik, 2004.
Jussi Rintanen. Conditional planning in the discrete belief space, Report No. 205, Albert-Ludwigs-Universität Freiburg, Institut für Informatik, 2004.
Alexander Nareyek, Robert Fourer, Euegen C. Freuder, Enrico Giunchiglia, Robert P. Goldman, Henry Kautz, Jussi Rintanen and Austin Tate, Constraints and AI planning, IEEE Intelligent Systems, 20(2):62-72, 2005.
Jussi Rintanen and Jörg Hoffmann, An overview of recent algorithms for AI planning, Künstliche Intelligenz, (2):5-11, May 2001.
Jussi 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.
Ilkka Niemelä and Jussi 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.
Jussi 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.
Jussi Rintanen. Priorities and nonmonotonic reasoning. Research report A 28, Helsinki University of Technology, Digital Systems Laboratory, December 1993, 90 pages.
Jussi Rintanen. Stratification and tractability in nonmonotonic reasoning. Research report A 20, Helsinki University of Technology, Digital Systems Laboratory, November 1992, 71 pages.
Ilkka Niemelä and Jussi 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.
Jussi Rintanen, Markku Tamminen, Jari Arkko, Juha Kuusela, Esko Nuutila and Vesa Hirvisalo. XD manual. Report C 36, Helsinki University of Technology, Faculty of Information Technology, Espoo, 1989.