Jussi Rintanen

According to our database, Jussi Rintanen authored at least 74 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Termination Properties of Transition Rules for Indirect Effects.

Mojtaba Elahi, Saurabh Fadnis, Jussi Rintanen

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Symmetry-Breaking Constraints for Directed Graphs.

Jussi Rintanen, Masood Feyzbakhsh Rankooh

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting.

Mojtaba Elahi, Jussi Rintanen

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Planning with Partial Observability by SAT.

Saurabh Fadnis, Jussi Rintanen

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Planning with Complex Data Types in PDDL.

Mojtaba Elahi, Jussi Rintanen

CoRR, 2022

Generalized 3-Valued Belief States in Conformant Planning.

Saurabh Fadnis, Jussi Rintanen

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming.

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Efficient Encoding of Cost Optimal Delete-Free Planning as SAT.

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination.

Masood Feyzbakhsh Rankooh, Jussi Rintanen

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Planning and SAT.

Jussi Rintanen

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

2020

Declarative encodings of acyclicity properties.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

J. Log. Comput., 2020

2018

Planning for Partial Observability by SAT and Graph Constraints.

Binda Pandey, Jussi Rintanen

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Learning discrete decomposable graphical models via constraint optimization.

Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander

Stat. Comput., 2017

Temporal Planning with Clock-Based SMT Encodings.

Jussi Rintanen

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

Schematic Invariants by Reduction to Ground Invariants.

Jussi Rintanen

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2015

Models of Action Concurrency in Temporal Planning.

Jussi Rintanen

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

Jussi Rintanen

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Discretization of Temporal Models with Application to Planning with SMT.

Jussi Rintanen

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

ASP Encodings of Acyclicity Properties.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Constraint-Based Algorithm for Computing Temporal Invariants.

Jussi Rintanen

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

SAT Modulo Graphs: Acyclicity.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Answer Set Programming as SAT modulo Acyclicity.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Learning Chordal Markov Networks by Constraint Satisfaction.

Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar

Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Computing Upper Bounds on Lengths of Transition Sequences.

Jussi Rintanen, Charles Orgill Gretton

Proceedings of the IJCAI 2013, 2013

Scheduling with Contingent Resources and Tasks.

Jussi Rintanen

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Optimal Reconfiguration for Supply Restoration With Informed A^* Search.

Adi Botea, Jussi Rintanen, Debdeep Banerjee

IEEE Trans. Smart Grid, 2012

Planning as satisfiability: Heuristics.

Jussi Rintanen

Artif. Intell., 2012

Engineering Efficient Planners with SAT.

Jussi Rintanen

Proceedings of the ECAI 2012, 2012

Complexity of Conditional Planning under Partial Observability and Infinite Executions.

Jussi Rintanen

Proceedings of the ECAI 2012, 2012

2011

Planning with SAT, Admissible Heuristics and A*.

Jussi Rintanen

Proceedings of the IJCAI 2011, 2011

Heuristics for Planning with SAT and Expressive Action Definitions.

Jussi Rintanen

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Planning with Specialized SAT Solvers.

Jussi Rintanen

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Heuristics for Planning with SAT.

Jussi Rintanen

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Heuristic Planning with SAT: Beyond Uninformed Depth-First Search.

Jussi Rintanen

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2009

Planning and SAT.

Jussi Rintanen

Proceedings of the Handbook of Satisfiability, 2009

2008

Planning Graphs and Propositional Clause-Learning.

Jussi Rintanen

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

A New Approach to Planning in Networks.

Jussi Rintanen

Proceedings of the ECAI 2008, 2008

Regression for Classical and Nondeterministic Planning.

Jussi Rintanen

Proceedings of the ECAI 2008, 2008

2007

Diagnosability Testing with Satisfiability Algorithms.

Jussi Rintanen, Alban Grastien

Proceedings of the IJCAI 2007, 2007

Diagnosers and Diagnosability of Succinct Transition Systems.

Jussi Rintanen

Proceedings of the IJCAI 2007, 2007

Planning for Temporally Extended Goals as Propositional Satisfiability.

Robert Mattmüller, Jussi Rintanen

Proceedings of the IJCAI 2007, 2007

Planning via Petri Net Unfolding.

Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White

Proceedings of the IJCAI 2007, 2007

Planning as Satisfiability with Relaxed $-Step Plans.

Martin Wehrle, Jussi Rintanen

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Complexity of Concurrent Temporal Planning.

Jussi Rintanen

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

Asymptotically Optimal Encodings of Conformant Planning in QBF.

Jussi Rintanen

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.

Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Planning as satisfiability: parallel plans and algorithms for plan search.

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä

Artif. Intell., 2006

Unified Definition of Heuristics for Classical Planning.

Jussi Rintanen

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Compact Representation of Sets of Binary Constraints.

Jussi Rintanen

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Constraints and AI Planning.

Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate

IEEE Intell. Syst., 2005

Conditional Planning in the Discrete Belief Space.

Jussi Rintanen

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Satisfiability Planning with Constraints on the Number of Actions.

Markus Büttner, Jussi Rintanen

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

2004

Phase Transitions in Classical Planning: An Experimental Study.

Jussi Rintanen

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Parallel Encodings of Classical Planning as Satisfiability.

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Evaluation Strategies for Planning as Satisfiability.

Jussi Rintanen

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Complexity of Planning with Partial Observability.

Jussi Rintanen

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

Distance Estimates for Planning in the Discrete Belief Space.

Jussi Rintanen

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Expressive Equivalence of Formalisms for Planning with Sensing.

Jussi Rintanen

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

Symmetry Reduction for SAT Representations of Transition Systems.

Jussi Rintanen

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002

Backward Plan Construction for Planning with Partial Observability.

Jussi Rintanen

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001

An Overview of Recent Algorithms for AI Planning.

Jussi Rintanen, Jörg Hoffmann

Künstliche Intell., 2001

Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae.

Jussi Rintanen

Proceedings of the Logic for Programming, 2001

Complexity of Probabilistic Planning under Average Rewards.

Jussi Rintanen

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Incorporation of Temporal Logic Control into Plan Operators.

Jussi Rintanen

Proceedings of the ECAI 2000, 2000

An Iterative Algorithm for Synthesizing Invariants.

Jussi Rintanen

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Constructing Conditional Plans by a Theorem-Prover.

Jussi Rintanen

J. Artif. Intell. Res., 1999

Improvements to the Evaluation of Quantified Boolean Formulae.

Jussi Rintanen

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Numeric State Variables in Constraint-Based Planning.

Jussi Rintanen, Hartmut Jungholt

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

1998

Complexity of Prioritized Default Logics.

Jussi Rintanen

J. Artif. Intell. Res., 1998

Lexicographic Priorities in Default Logic.

Jussi Rintanen

Artif. Intell., 1998

A Planning Algorithm not based on Directional Search.

Jussi Rintanen

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1995

On Specificity in Default Logic.

Jussi Rintanen

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning.

Ilkka Niemelä, Jussi Rintanen

J. Appl. Non Class. Logics, 1994

Prioritized Autoepistemic Logic.

Jussi Rintanen

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994