Folgen
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
3621999
Planning as satisfiability: parallel plans and algorithms for plan search
J Rintanen, K Heljanko, I Niemelä
Artificial Intelligence 170 (12-13), 1031-1080, 2006
3152006
Complexity of Planning with Partial Observability.
J Rintanen
ICAPS 4, 345-354, 2004
2322004
Planning as satisfiability: Heuristics
J Rintanen
Artificial intelligence 193, 45-86, 2012
2182012
Improvements to the evaluation of quantified boolean formulae
J Rintanen
IJCAI 99, 1192-1197, 1999
1761999
An iterative algorithm for synthesizing invariants
J Rintanen
AAAI/IAAI, 806-811, 2000
1242000
Madagascar: Scalable planning with SAT
J Rintanen
Proceedings of the 8th International Planning Competition (IPC-2014) 21, 1-5, 2014
1232014
Complexity of Concurrent Temporal Planning.
J Rintanen
ICAPS 7, 280-287, 2007
1032007
Diagnosis of discrete-event systems using satisfiability algorithms
A Grastien, JR Anbulagan, J Rintanen, E Kelareva
AAAI, 305-310, 2007
1022007
Regression for classical and nondeterministic planning
J Rintanen
ECAI 2008, 568-572, 2008
992008
A planning algorithm not based on directional search
J Rintanen
KR, 617-625, 1998
971998
Constraints and AI planning
A Nareyek, EC Freuder, R Fourer, E Giunchiglia, RP Goldman, H Kautz, ...
IEEE Intelligent Systems 20 (2), 62-72, 2005
932005
Asymptotically optimal encodings of conformant planning in QBF
J Rintanen
AAAI 2007, 1045-1050, 2007
912007
Planning via Petri Net Unfolding.
SL Hickmott, J Rintanen, S Thiébaux, LB White
IJCAI 7, 1904-1911, 2007
872007
Engineering efficient planners with SAT
J Rintanen
ECAI 2012, 684-689, 2012
832012
Optimal Reconfiguration for Supply Restoration With Informed A Search
A Botea, J Rintanen, D Banerjee
IEEE Transactions on Smart Grid 3 (2), 583-593, 2012
792012
Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae
J Rintanen
International Conference on Logic for Programming Artificial Intelligence …, 2001
782001
Symmetry Reduction for SAT Representations of Transition Systems.
J Rintanen
ICAPS, 32-41, 2003
772003
Diagnosability testing with satisfiability algorithms
A Grastien, J Rintanen
IJCAI 07, 2007
742007
Planning and SAT
J Rintanen
Handbook of Satisfiability, 483-504, 2009
712009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20