| A heuristic search approach to planning with temporally extended preferences JA Baier, F Bacchus, SA McIlraith Artificial Intelligence 173 (5-6), 593-618, 2009 | 155 | 2009 |
| HTN planning with preferences S Baier, SA McIlraith 21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009 | 125 | 2009 |
| Planning with first-order temporally extended goals using heuristic search JA Baier, SA McIlraith Proceedings of the National Conference on Artificial Intelligence 21 (1), 788, 2006 | 108 | 2006 |
| Planning with preferences JA Baier, SA McIlraith AI Magazine 29 (4), 25, 2009 | 92* | 2009 |
| Preferred explanations: Theory and generation via planning S Sohrabi, J Baier, S McIlraith Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 2011 | 87 | 2011 |
| Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. JA Baier, C Fritz, SA McIlraith ICAPS, 26-33, 2007 | 83 | 2007 |
| Diagnosis as planning revisited S Sohrabi, JA Baier, SA McIlraith Twelfth International Conference on the Principles of Knowledge …, 2010 | 71 | 2010 |
| Avoiding and escaping depressions in real-time heuristic search C Hernández, JA Baier Journal of Artificial Intelligence Research 43, 523-570, 2012 | 49 | 2012 |
| Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces A Camacho, E Triantafillou, C Muise, J Baier, S McIlraith Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 48 | 2017 |
| ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. C Fritz, JA Baier, SA McIlraith KR, 600-610, 2008 | 47 | 2008 |
| Planning with Temporally Extended Goals Using Heuristic Search. JA Baier, SA McIlraith ICAPS, 342-345, 2006 | 41 | 2006 |
| Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018 | 31 | 2018 |
| Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. JA Baier, C Fritz, M Bienvenu, SA McIlraith AAAI, 1509-1512, 2008 | 31 | 2008 |
| Polynomial-time reformulations of LTL temporally extended goals into final-state goals J Torres, JA Baier Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 28 | 2015 |
| Improving planning performance using low-conflict relaxed plans J Baier, A Botea Proceedings of the International Conference on Automated Planning and …, 2009 | 20 | 2009 |
| On the use of planning technology for verification A Albarghouthi, JA Baier, SA McIlraith In VVPS’09. Proceedings of the ICAPS Workshop on Verification & Validation …, 2009 | 19 | 2009 |
| Incorporating weights into real-time heuristic search N Rivera, JA Baier, C Hernández Artificial Intelligence 225, 1-23, 2015 | 18 | 2015 |
| Exploiting N-gram analysis to predict operator sequences C Muise, S McIlraith, J Baier, M Reimer Proceedings of the International Conference on Automated Planning and …, 2009 | 18 | 2009 |
| Reusing previously found A* paths for fast goal-directed navigation in dynamic terrain C Hernández, R Asín, J Baier Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 17 | 2015 |
| Grid Pathfinding on the 2k Neighborhoods N Rivera, C Hernández, J Baier Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 16 | 2017 |
Sheila McIlraithProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
