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 journalArticleScientificpeer-review

  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 journalArticleScientificpeer-review

  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. 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 journalArticleScientificpeer-review

  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 journalArticleScientificpeer-review

  29. Published

    Lexicographic priorities in default logic

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

    Research output: Contribution to journalArticleScientificpeer-review

  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

    On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

    Niemelä, I. & Rintanen, J., 1994, In : Journal of Applied Non-Classical Logics. 4, 2, p. 141-179

    Research output: Contribution to journalArticleScientificpeer-review

  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