Jussi Rintanen

Jussi Rintanen

Associate Professor
T313 Dept. Computer Science

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.

Full researcher profile
https://research.aalto.fi/...
Sähköposti
[email protected]

Julkaisut

Planning with Partial Observability by SAT

Saurabh Fadnis, Jussi Rintanen 2023 Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings

Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming

Masood Feyzbakhsh Rankooh, Jussi Rintanen 2022 Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)

Efficient Encoding of Cost Optimal Delete-Free Planning as SAT

Masood Feyzbakhsh Rankooh, Jussi Rintanen 2022 Proceedings of the AAAI Conference on Artificial Intelligence

Propositional encodings of acyclicity and reachability by using vertex elimination

Masood Feyzbakhsh Rankooh, Jussi Rintanen 2022 Proceedings of the AAAI Conference on Artificial Intelligence

Generalized 3-Valued Belief States in Conformant Planning

Jussi Rintanen, Saurabh Fadnis 2022 PRICAI 2022: Trends in Artificial Intelligence - 19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Shanghai, China, November 10-13, 2022, Proceedings

Planning and SAT

Jussi Rintanen 2021 Handbook of Satisfiability

Declarative encodings of acyclicity properties

Martin Gebser, Tomi Janhunen, Jussi Rintanen 2020 Journal of Logic and Computation

Planning for partial observability by SAT and graph constraints

Jussi Rintanen, Binda Pandey 2018 Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)

Learning discrete decomposable graphical models via constraint optimization

Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik Nyman, Johan Pensar, Jukka Corander 2017 STATISTICS AND COMPUTING

Schematic Invariants by Reduction to Ground Invariants

Jussi Rintanen 2017 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)