Jussi Rintanen

    • Aalto SCI Computer Science Konemiehentie 2

    1992 …2022

    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
    • Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming

      Feyzbakhsh Rankooh, M. & Rintanen, J., 13 Jun 2022, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI PRESS, p. 71-79 9 p. (Proceedings of the International Conference on Automated Planning and Scheduling; vol. 32).

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

      Open Access
    • Efficient Encodings of Cost Optimal Delete-Free Planning as SAT

      Feyzbakhsh Rankooh, M. & Rintanen, J., 28 Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI PRESS, p. 9910-9917 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 36, no. 9).

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

      Open Access
    • Propositional encodings of acyclicity and reachability by using vertex elimination

      Feyzbakhsh Rankooh, M. & Rintanen, J., 28 Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI PRESS, p. 5861-5868 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 36, no. 5).

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

      Open Access
    • 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
      2 Citations (Scopus)
      186 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)