Jussi Rintanen

    • Aalto SCI Computer Science Konemiehentie 2

    1992 …2020

    Tutkimustuotoksia vuodessa

    Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

    Henkilökohtainen profiili

    Tutkimusalue

    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.

    Koulutus / tieteellinen pätevyys

    Doctoral degree, Engineering and Technology, Helsinki University of Technology

    Myöntöpäivä: 28 tammikuuta 1997

    Sormenjälki

    Sukella tutkimusaiheisiin, joissa Jussi Rintanen on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
    • 1 Samanlaiset profiilit

    Verkko

    Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
    • Declarative encodings of acyclicity properties

      Gebser, M., Janhunen, T. & Rintanen, J., 5 kesäkuuta 2020, julkaisussa: Journal of Logic and Computation. 30, 4, s. 923-952 30 Sivumäärä

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      1 Sitaatiot (Scopus)
      151 Lataukset (Pure)
    • Planning for partial observability by SAT and graph constraints

      Rintanen, J. & Pandey, B., 24 kesäkuuta 2018, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS). de Weerdt, M., Koenig, S., Röger, G. & Spaan, M. (toim.). AAAI PRESS, s. 190-198 9 Sivumäärä (Proceedings of the International Conference on Automated Planning and Scheduling).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

      5 Sitaatiot (Scopus)
    • Learning discrete decomposable graphical models via constraint optimization

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

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      8 Sitaatiot (Scopus)
      118 Lataukset (Pure)
    • Schematic Invariants by Reduction to Ground Invariants

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

      Open access
      Tiedosto
      28 Lataukset (Pure)
    • Temporal Planning with Clock-Based SMT Encodings

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

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu