Jussi Rintanen

Postdoctoral Researcher, Professor (Associate Professor)

Research outputs

  1. 2018
  2. Published

    Planning for partial observability by SAT and graph constraints

    Rintanen, J. & Pandey, B., 24 Jun 2018, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). de Weerdt, M., Koenig, S., Röger, G. & Spaan, M. (eds.). p. 190-198 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. 2017
  4. Published

    Learning discrete decomposable graphical models via constraint optimization

    Janhunen, T., Gebser, M., Rintanen, J., Nyman, H., Pensar, J. & Corander, J., 2017, In : STATISTICS AND COMPUTING. 27, 1, p. 115-130

    Research output: Contribution to journalArticle

  5. Published

    Schematic Invariants by Reduction to Ground Invariants

    Rintanen, J., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI, p. 3644-3650 7 p. (Proceedings of the AAAI Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  6. Published

    Temporal Planning with Clock-Based SMT Encodings

    Rintanen, J., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. AAAI, p. 743-749 (Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  7. 2015
  8. Published

    Declarative encodings of acyclicity properties

    Gebser, M., Janhunen, T. & Rintanen, J., 2015, In : Journal of Logic and Computation. 30 p.

    Research output: Contribution to journalArticle

  9. Published

    Discretization of Temporal Models with Application to Planning with SMT

    Rintanen, J., 2015, 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015. AAAI, p. 3349-3355

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Published

    Impact of Modeling Languages on the Theory and Practice in Planning Research

    Rintanen, J., 2015, 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, January 27-30, 2015. Bonet, B. & Koenig, S. (eds.). Palo Alto, California, p. 4052-4056

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. Published

    Models of Action Concurrency in Temporal Planning

    Rintanen, J., 2015, International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentiina, 27.-31.7.2015. p. 1659-1665

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  12. 2014
  13. Published

    Answer Set Programming as SAT modulo Acyclicity

    Gebser, M., Janhunen, T. & Rintanen, J., 2014, European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic. IOS PRESS, p. 351-356

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  14. Published

    ASP Encodings of Acyclicity Properties

    Gebser, M., Janhunen, T. & Rintanen, J., 2014, International Conference on Knowledge Representation and Reasoning, KR 2014, 20-24 July, Vienna, Austria. p. 634-637

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  15. Published

    Constraint-Based Algorithm for Computing Temporal Invariants

    Rintanen, J., 2014, European Conference on Logics in Artificial Intelligence, Funchal, Madeira. Fermé, E. & Leite, J. (eds.). p. 665-673

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  16. Published

    SAT modulo Graphs: Acyclicity

    Gebser, M., Janhunen, T. & Rintanen, J., 2014, European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal. p. 137-151

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  17. 2013
  18. Published

    Computing upper bounds on lengths of transition sequences

    Rintanen, J. & Gretton, C. O., 2013, 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. p. 2365-2372

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  19. Published

    Learning Chordal Markov Networks by Constraint Satisfaction

    Corander, J., Janhunen, T., Rintanen, J., Nyman, H. & Pensar, J., 2013, 26th International Conference on Neural Information Processing Systems (NIPS 2013), Lake Tahoe, 5-8 December, 2013. Burges, C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. (eds.). Neural Information Processing Systems Foundation, p. 1349--1357

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  20. Published

    Scheduling with contingent resources and tasks

    Rintanen, J., 2013, 23rd International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013. p. 189-196

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  21. 2006
  22. Published

    Planning as satisfiability: Parallel plans and algorithms for plan search

    Rintanen, J., Heljanko, K. & Niemelä, I., 2006, In : Artificial Intelligence. 170, 12-13, p. 1031-1080

    Research output: Contribution to journalArticle

  23. 2004
  24. Published

    Parallel encodings of classical planning as satisfiability

    Rintanen, J., Heljanko, K. & Niemelä, I., 2004, Freiburg, Germany, (Technical Reports; no. 198).

    Research output: Working paperProfessional

  25. Published

    Parallel Encodings of Classical Planning as Satisfiability

    Rintanen, J., Niemelä, I. & Heljanko, K., 2004, Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings. Alferes, J. J. & Leite, J. (eds.). Berlin, Germany, p. 307-319 (Lecture Notes in Computer Science ; vol. 3229).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  26. Published

    Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search

    Rintanen, J., Heljanko, K. & Niemelä, I., 2004, Freiburg, Germany: Albert-Ludwigs-Universität Freiburg, 56 p. (Technical Reports of the Institute of Computer Science at Freiburg University; no. 216).

    Research output: Working paperProfessional

  27. 1998
  28. Published

    Complexity of prioritized default logics

    Rintanen, J., 1998, In : Journal of Artificial Intelligence Research. 9, p. 423-461

    Research output: Contribution to journalArticle

  29. Published

    Lexicographic priorities in default logic

    Rintanen, J., 1998, In : Artificial Intelligence. 106, 2, p. 221-265

    Research output: Contribution to journalArticle

  30. 1996
  31. Published

    Lexicographic Ordering as a Basis of Priorities in Default Reasoning

    Rintanen, J., 1996, Espoo, p. 187, (Research Report; no. A 41).

    Research output: Working paperProfessional

  32. 1995
  33. Published

    On Specificity in Default Logic

    Rintanen, J., 1995, the 14 th International Joint Conference on Artificial Intelligence. Kaufmann Publishers, M. (ed.). Montreal, p. 1474-1479

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  34. 1994
  35. Published

    Approaches to Priorities in Default Reasoning

    Rintanen, J., 1994, The Seventh Finnish Symposium on Computer Science, Liperi, Finland, 10.-12.1.1994. Penttonen, M. (ed.). Joensuu: University of Joensuu, p. 121-131

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. Published
  37. Published

    On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

    Niemelä, I. & Rintanen, J., 1994, Foundations of Knowledge Representation and Reasoning. Lakemeyer, G. & Nebel, B. (eds.). Berlin, p. 275-295

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  38. Published

    Prioritized Autoepistemic Logic

    Rintanen, J., 1994, The Fourth European Workshop on Logics in AI, JELIA'94, York, England, 5.-8.9.1994. Berlin, p. 232-246

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  39. 1993
  40. Published

    Priorities and Nonmonotonic Reasoning

    Rintanen, J., 1993, Espoo, (Digital Systems Laboratory, Series A: Research Reports; no. 28).

    Research output: Working paperProfessional

  41. 1992
  42. Published

    A Decision Procedure for Stratified Autoepistemic Logic

    Niemelä, I. & Rintanen, J., 1992, Suomen Tekoälytutkimuksen Päivät, Espoo, 9.-11.6.1992: Proceedings of the Finnish Artificial Intelligence Conference. Suomen Tekoälyseura ry - Finnish Artificial Intelligence Society, p. 202-211

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  43. Published

    On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

    Niemelä, I. & RINTANEN, J., 1992, PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92). Nebel, B., Rich, C. & Swartout, W. (eds.). San Mateo, CA, p. 627-638 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  44. Published

    Stratification and Tractability in Nonmonotonic Reasoning

    Rintanen, J., 1992, Espoo, (Digital Systems Laboratory, Series A: Research Reports; no. 20).

    Research output: Working paperProfessional

ID: 92051