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/...
Email
[email protected]
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)