Jussi Rintanen

    • Aalto SCI Computer Science Konemiehentie 2

    1992 …2020

    Research activity per year

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Artistic and research interests

    An internationally leading researcher in constraint-based methods for planning and decision-making. Prof. Dr Rintanen obtained his doctoral degree from Helsinki University of Technology in 1997, his professor qualification (venia legendi) at the Albert-Ludwigs-University Freiburg in 2005, and held academic positions also at the National ICT Australia / the Australian National University. Prof. Rintanen's main interests in the last 5 years have been in applying AI technologies to automating software production, synthesis of intelligent software systems, as well as the application of constraint-based search methods to decision-making.

    Education/Academic qualification

    Doctoral degree, Engineering and Technology, Helsinki University of Technology

    Award Date: 28 Jan 1997

    Fingerprint

    Dive into the research topics where Jussi Rintanen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles

    Network

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    • Declarative encodings of acyclicity properties

      Gebser, M., Janhunen, T. & Rintanen, J., 5 Jun 2020, In: Journal of Logic and Computation. 30, 4, p. 923-952 30 p.

      Research output: Contribution to journalArticleScientificpeer-review

      Open Access
      File
      1 Citation (Scopus)
      151 Downloads (Pure)
    • 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.). AAAI PRESS, 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

      5 Citations (Scopus)
    • 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

      Open Access
      File
      8 Citations (Scopus)
      118 Downloads (Pure)
    • 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

      Open Access
      File
      28 Downloads (Pure)
    • 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