Jussi Rintanen

Jussi Rintanen

Associate Professor
T313 Dept. Computer Science
Full researcher profile
https://research.aalto.fi/...

Contact information

Publications

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)

Temporal Planning with Clock-Based SMT Encodings

Jussi Rintanen 2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

Discretization of Temporal Models with Application to Planning with SMT

Jussi Rintanen 2015 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015

Impact of Modeling Languages on the Theory and Practice in Planning Research

Jussi Rintanen 2015 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, January 27-30, 2015

Models of Action Concurrency in Temporal Planning

Jussi Rintanen 2015 International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentiina, 27.-31.7.2015

Answer Set Programming as SAT modulo Acyclicity

Martin Gebser, Tomi Janhunen, Jussi Rintanen 2014 European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic

ASP Encodings of Acyclicity Properties

Martin Gebser, Tomi Janhunen, Jussi Rintanen 2014 International Conference on Knowledge Representation and Reasoning, KR 2014, 20-24 July, Vienna, Austria