Jussi Rintanen
Department of Computer Science

Jussi Rintanen

Professor (Associate Professor)

Contact information

Postal address
Aalto SCI Computer Science Konemiehentie 2
Mobile phone
+358453486788
Full researcher profile
https://research.aalto.fi/...

Honors and awards

Award or honor granted for academic career
Centre of Excellence in Computational Inference, COIN
Jan 2017

AAAI Conference Awards: Outstanding Senior Program Committee Member Each year AAAI recognizes outstanding service by members of the AAAI Conference senior program and program committees through this award, which is presented at the conference

Research groups

Centre of Excellence in Computational Inference, COIN, Postdoctoral Researcher
Professorship Niemelä I., Professor (Associate Professor)
Helsinki Institute for Information Technology HIIT, Professor (Associate Professor)
Professorship Rintanen J.

Publications

Professorship Rintanen J., Helsinki Institute for Information Technology HIIT, Professorship Niemelä I., Centre of Excellence in Computational Inference, COIN, Department of Computer Science

Planning for partial observability by SAT and graph constraints

Publishing year: 2018 Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)
Centre of Excellence in Computational Inference, COIN, Department of Computer Science

Learning discrete decomposable graphical models via constraint optimization

Publishing year: 2017 STATISTICS AND COMPUTING
Department of Computer Science, Centre of Excellence in Computational Inference, COIN, Professorship Niemelä I., Helsinki Institute for Information Technology HIIT

Schematic Invariants by Reduction to Ground Invariants

Publishing year: 2017 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)
Department of Computer Science, Centre of Excellence in Computational Inference, COIN, Professorship Niemelä I., Helsinki Institute for Information Technology HIIT

Temporal Planning with Clock-Based SMT Encodings

Publishing year: 2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Department of Computer Science, Centre of Excellence in Computational Inference, COIN, Professorship Niemelä I., Helsinki Institute for Information Technology HIIT

Declarative encodings of acyclicity properties

Publishing year: 2015 Journal of Logic and Computation
Helsinki Insititute for Information Technology HIIT, Department of Computer Science

Discretization of Temporal Models with Application to Planning with SMT

Publishing year: 2015 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015
Helsinki Insititute for Information Technology HIIT, Department of Computer Science

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

Publishing year: 2015 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, January 27-30, 2015
Helsinki Insititute for Information Technology HIIT, Department of Computer Science

Models of Action Concurrency in Temporal Planning

Publishing year: 2015 International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentiina, 27.-31.7.2015
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito

Answer Set Programming as SAT modulo Acyclicity

Publishing year: 2014 European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic
Helsinki Insititute for Information Technology HIIT, Tietojenkäsittelytieteen laito

ASP Encodings of Acyclicity Properties

Publishing year: 2014 International Conference on Knowledge Representation and Reasoning, KR 2014, 20-24 July, Vienna, Austria