Jussi Rintanen
Institutionen för datateknik

Jussi Rintanen

Professor (Associate Professor)

Kontakt information

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

Utmärkelser

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

Forskargrupper

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.

Publikationer

Professorship Rintanen J., Helsinki Institute for Information Technology HIIT, Professorship Niemelä I., Centre of Excellence in Computational Inference, COIN, Institutionen för datateknik

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, Institutionen för datateknik

Learning discrete decomposable graphical models via constraint optimization

Publishing year: 2017 STATISTICS AND COMPUTING
Institutionen för datateknik, 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)
Institutionen för datateknik, 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
Institutionen för datateknik, 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
Forskningsinstitutet för informationsteknologi HIIT, Institutionen för datateknik

Discretization of Temporal Models with Application to Planning with SMT

Publishing year: 2015 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015
Forskningsinstitutet för informationsteknologi HIIT, Institutionen för datateknik

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
Forskningsinstitutet för informationsteknologi HIIT, Institutionen för datateknik

Models of Action Concurrency in Temporal Planning

Publishing year: 2015 International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentiina, 27.-31.7.2015
Forskningsinstitutet för informationsteknologi 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
Forskningsinstitutet för informationsteknologi 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