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

SAT modulo Graphs: Acyclicity

Martin Gebser, Tomi Janhunen, Jussi Rintanen 2014 European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal

Constraint-Based Algorithm for Computing Temporal Invariants

Jussi Rintanen 2014 European Conference on Logics in Artificial Intelligence, Funchal, Madeira

Learning Chordal Markov Networks by Constraint Satisfaction

Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik Nyman, Johan Pensar 2013 26th International Conference on Neural Information Processing Systems (NIPS 2013), Lake Tahoe, 5-8 December, 2013

Computing upper bounds on lengths of transition sequences

Jussi Rintanen, Charles Orgill Gretton 2013 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013

Scheduling with contingent resources and tasks

Jussi Rintanen 2013 23rd International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013

Planning as satisfiability

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä 2006 Artificial Intelligence

Parallel encodings of classical planning as satisfiability

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä 2004

Parallel Encodings of Classical Planning as Satisfiability

Jussi Rintanen, Ilkka Niemelä, Keijo Heljanko 2004 Logics in Artificial Intelligence

Planning as Satisfiability

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä 2004

Complexity of prioritized default logics

J. Rintanen 1998 Journal of Artificial Intelligence Research

Lexicographic priorities in default logic

J. Rintanen 1998 Artificial Intelligence

On Specificity in Default Logic

J. Rintanen 1995 the 14 th International Joint Conference on Artificial Intelligence

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

I. Niemelä, J. Rintanen 1994 Journal of Applied Non-Classical Logics

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

I. Niemelä, J. Rintanen 1994 Foundations of Knowledge Representation and Reasoning

Approaches to Priorities in Default Reasoning

J. Rintanen 1994 The Seventh Finnish Symposium on Computer Science, Liperi, Finland, 10.-12.1.1994

Prioritized Autoepistemic Logic

J. Rintanen 1994 The Fourth European Workshop on Logics in AI, JELIA'94, York, England, 5.-8.9.1994

A Decision Procedure for Stratified Autoepistemic Logic

I. Niemelä, J. Rintanen 1992 Suomen Tekoälytutkimuksen Päivät, Espoo, 9.-11.6.1992

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning

Ilkka Niemelä, J RINTANEN 1992 PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92)