Jussi Rintanen
Titel
Zitiert von
Zitiert von
Jahr
Constructing conditional plans by a theorem-prover
J Rintanen
Journal of Artificial Intelligence Research 10, 323-352, 1999
3241999
Planning as satisfiability: parallel plans and algorithms for plan search
J Rintanen, K Heljanko, I Niemelä
Artificial Intelligence 170 (12-13), 1031-1080, 2006
2302006
Improvements to the evaluation of quantified boolean formulae
J Rintanen
IJCAI 99, 1192-1197, 1999
1681999
Complexity of Planning with Partial Observability.
J Rintanen
ICAPS 4, 345-354, 2004
1672004
Planning as satisfiability: Heuristics
J Rintanen
Artificial intelligence 193, 45-86, 2012
1432012
An iterative algorithm for synthesizing invariants
J Rintanen
AAAI/IAAI, 806-811, 2000
1082000
A planning algorithm not based on directional search
J Rintanen
KR, 617-625, 1998
941998
Diagnosis of discrete-event systems using satisfiability algorithms
A Grastien, JR Anbulagan, J Rintanen, E Kelareva
Proceedings of the National Conference on Artificial Intelligence 22 (1), 305, 2007
932007
Constraints and AI planning
A Nareyek, EC Freuder, R Fourer, E Giunchiglia, RP Goldman, H Kautz, ...
IEEE Intelligent Systems 20 (2), 62-72, 2005
822005
Asymptotically optimal encodings of conformant planning in QBF
J Rintanen
AAAI 2007, 1045-1050, 2007
792007
Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae
J Rintanen
International Conference on Logic for Programming Artificial Intelligence …, 2001
712001
Complexity of Concurrent Temporal Planning.
J Rintanen
ICAPS 7, 280-287, 2007
702007
Planning via Petri Net Unfolding.
SL Hickmott, J Rintanen, S Thiébaux, LB White
IJCAI 7, 1904-1911, 2007
682007
Symmetry Reduction for SAT Representations of Transition Systems.
J Rintanen
ICAPS, 32-41, 2003
652003
Diagnosability Testing with Satisfiability Algorithms.
J Rintanen, A Grastien
IJCAI, 532-537, 2007
612007
Optimal Reconfiguration for Supply Restoration With Informed ASearch
A Botea, J Rintanen, D Banerjee
IEEE Transactions on Smart Grid 3 (2), 583-593, 2012
602012
Madagascar: Scalable planning with SAT
J Rintanen
Proceedings of the 8th International Planning Competition (IPC-2014) 21, 2014
582014
Regression for Classical and Nondeterministic Planning.
J Rintanen
ECAI 178, 568-572, 2008
582008
Engineering Efficient Planners with SAT.
J Rintanen
ECAI 242, 684-689, 2012
562012
Expressive Equivalence of Formalisms for Planning with Sensing.
J Rintanen
ICAPS, 185-194, 2003
522003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20