Jussi Rintanen

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 14

Top Topics

Temporal Planning

Partial Observability

Linear Programming

Top Venues

Publications

Mojtaba Elahi, Saurabh Fadnis, Jussi Rintanen
Termination Properties of Transition Rules for Indirect Effects. ICAPS (2024)
Mojtaba Elahi, Jussi Rintanen
Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting. AAAI (2024)
Saurabh Fadnis, Jussi Rintanen
Planning with Partial Observability by SAT. JELIA (2023)
Mojtaba Elahi, Jussi Rintanen
Planning with Complex Data Types in PDDL. CoRR (2022)
Masood Feyzbakhsh Rankooh, Jussi Rintanen
Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming. ICAPS (2022)
Masood Feyzbakhsh Rankooh, Jussi Rintanen
Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination. AAAI (2022)
Saurabh Fadnis, Jussi Rintanen
Generalized 3-Valued Belief States in Conformant Planning. PRICAI (1) (2022)
Masood Feyzbakhsh Rankooh, Jussi Rintanen
Efficient Encoding of Cost Optimal Delete-Free Planning as SAT. AAAI (2022)
Masood Feyzbakhsh Rankooh, Jussi Rintanen
Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination. CoRR (2021)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
Declarative encodings of acyclicity properties. J. Log. Comput. 30 (4) (2020)
Binda Pandey, Jussi Rintanen
Planning for Partial Observability by SAT and Graph Constraints. ICAPS (2018)
Jussi Rintanen
Schematic Invariants by Reduction to Ground Invariants. AAAI (2017)
Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander
Learning discrete decomposable graphical models via constraint optimization. Stat. Comput. 27 (1) (2017)
Jussi Rintanen
Temporal Planning with Clock-Based SMT Encodings. IJCAI (2017)
Jussi Rintanen
Discretization of Temporal Models with Application to Planning with SMT. AAAI (2015)
Jussi Rintanen
Impact of Modeling Languages on the Theory and Practice in Planning Research. AAAI (2015)
Jussi Rintanen
Models of Action Concurrency in Temporal Planning. IJCAI (2015)
Jussi Rintanen
Constraint-Based Algorithm for Computing Temporal Invariants. JELIA (2014)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
Answer Set Programming as SAT modulo Acyclicity. ECAI (2014)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
ASP Encodings of Acyclicity Properties. KR (2014)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
SAT Modulo Graphs: Acyclicity. JELIA (2014)
Jussi Rintanen
Scheduling with Contingent Resources and Tasks. ICAPS (2013)
Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar
Learning Chordal Markov Networks by Constraint Satisfaction. CoRR (2013)
Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar
Learning Chordal Markov Networks by Constraint Satisfaction. NIPS (2013)
Jussi Rintanen, Charles Orgill Gretton
Computing Upper Bounds on Lengths of Transition Sequences. IJCAI (2013)
Jussi Rintanen
Complexity of Conditional Planning under Partial Observability and Infinite Executions. ECAI (2012)
Adi Botea, Jussi Rintanen, Debdeep Banerjee
Search. IEEE Trans. Smart Grid 3 (2) (2012)
Jussi Rintanen
Engineering Efficient Planners with SAT. ECAI (2012)
Jussi Rintanen
Planning as satisfiability: Heuristics. Artif. Intell. 193 (2012)
Jussi Rintanen
Constructing Conditional Plans by a Theorem-Prover CoRR (2011)
Jussi Rintanen
Planning with SAT, Admissible Heuristics and A*. IJCAI (2011)
Jussi Rintanen
Planning with Specialized SAT Solvers. AAAI (2011)
Jussi Rintanen
Complexity of Prioritized Default Logics CoRR (2011)
Jussi Rintanen
Heuristics for Planning with SAT and Expressive Action Definitions. ICAPS (2011)
Jussi Rintanen
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search. Australasian Conference on Artificial Intelligence (2010)
Jussi Rintanen
Heuristics for Planning with SAT. CP (2010)
Jussi Rintanen
Planning Graphs and Propositional Clause-Learning. KR (2008)
Jussi Rintanen
A New Approach to Planning in Networks. ECAI (2008)
Jussi Rintanen
Regression for Classical and Nondeterministic Planning. ECAI (2008)
Jussi Rintanen
Asymptotically Optimal Encodings of Conformant Planning in QBF. AAAI (2007)
Martin Wehrle, Jussi Rintanen
Planning as Satisfiability with Relaxed $-Step Plans. Australian Conference on Artificial Intelligence (2007)
Jussi Rintanen
Diagnosers and Diagnosability of Succinct Transition Systems. IJCAI (2007)
Jussi Rintanen, Alban Grastien
Diagnosability Testing with Satisfiability Algorithms. IJCAI (2007)
Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. AAAI (2007)
Robert Mattmüller, Jussi Rintanen
Planning for Temporally Extended Goals as Propositional Satisfiability. IJCAI (2007)
Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White
Planning via Petri Net Unfolding. IJCAI (2007)
Jussi Rintanen
Complexity of Concurrent Temporal Planning. ICAPS (2007)
Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä
Planning as satisfiability: parallel plans and algorithms for plan search. Artif. Intell. 170 (12-13) (2006)
Jussi Rintanen
Unified Definition of Heuristics for Classical Planning. ECAI (2006)
Jussi Rintanen
Compact Representation of Sets of Binary Constraints. ECAI (2006)
Jussi Rintanen
Conditional Planning in the Discrete Belief Space. IJCAI (2005)
Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate
Constraints and AI Planning. IEEE Intell. Syst. 20 (2) (2005)
Markus Büttner, Jussi Rintanen
Satisfiability Planning with Constraints on the Number of Actions. ICAPS (2005)
Jussi Rintanen
Evaluation Strategies for Planning as Satisfiability. ECAI (2004)
Jussi Rintanen
Complexity of Planning with Partial Observability. ICAPS (2004)
Jussi Rintanen
Phase Transitions in Classical Planning: An Experimental Study. KR (2004)
Jussi Rintanen
Phase Transitions in Classical Planning: An Experimental Study. ICAPS (2004)
Jussi Rintanen
Distance Estimates for Planning in the Discrete Belief Space. AAAI (2004)
Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä
Parallel Encodings of Classical Planning as Satisfiability. JELIA (2004)
Jussi Rintanen
Expressive Equivalence of Formalisms for Planning with Sensing. ICAPS (2003)
Jussi Rintanen
Symmetry Reduction for SAT Representations of Transition Systems. ICAPS (2003)
Jussi Rintanen
Backward Plan Construction for Planning with Partial Observability. AIPS (2002)
Jussi Rintanen, Jörg Hoffmann
An Overview of Recent Algorithms for AI Planning. Künstliche Intell. 15 (2) (2001)
Jussi Rintanen
Complexity of Probabilistic Planning under Average Rewards. IJCAI (2001)
Jussi Rintanen
Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae. LPAR (2001)
Jussi Rintanen
An Iterative Algorithm for Synthesizing Invariants. AAAI/IAAI (2000)
Jussi Rintanen
Incorporation of Temporal Logic Control into Plan Operators. ECAI (2000)
Jussi Rintanen, Hartmut Jungholt
Numeric State Variables in Constraint-Based Planning. ECP (1999)
Jussi Rintanen
Constructing Conditional Plans by a Theorem-Prover. J. Artif. Intell. Res. 10 (1999)
Jussi Rintanen
Improvements to the Evaluation of Quantified Boolean Formulae. IJCAI (1999)
Jussi Rintanen
Complexity of Prioritized Default Logics. J. Artif. Intell. Res. 9 (1998)
Jussi Rintanen
Lexicographic Priorities in Default Logic. Artif. Intell. 106 (2) (1998)
Jussi Rintanen
A Planning Algorithm not based on Directional Search. KR (1998)
Jussi Rintanen
On Specificity in Default Logic. IJCAI (1995)
Jussi Rintanen
Prioritized Autoepistemic Logic. JELIA (1994)
Ilkka Niemelä, Jussi Rintanen
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. J. Appl. Non Class. Logics 4 (2) (1994)
Ilkka Niemelä, Jussi Rintanen
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. KR (1992)
Ilkka Niemelä, Jussi Rintanen
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. ECAI Workshop on Knowledge Representation and Reasoning (1992)