Jussi Rintanen

82 papers A* 39A 11B 6Journal 16Unranked 8

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