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/...

Publications

Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting

Mojtaba Elahi, Jussi Rintanen 2024 Proceedings of the AAAI Conference on Artificial Intelligence

Termination Properties of Transition Rules for Indirect Effects

Mojtaba Elahi, Saurabh Fadnis, Jussi Rintanen 2024 Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024

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)