| A heuristic search approach to planning with temporally extended preferences JA Baier, F Bacchus, SA McIlraith Artificial Intelligence 173 (5-6), 593-618, 2009 | 134 | 2009 |
| HTN planning with preferences S Sohrabi, JA Baier, SA McIlraith Twenty-First International Joint Conference on Artificial Intelligence, 2009 | 111 | 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 | 95 | 2006 |
| Planning with preferences JA Baier, SA McIlraith AI Magazine 29 (4), 25, 2009 | 80* | 2009 |
| Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. JA Baier, C Fritz, SA McIlraith ICAPS, 26-33, 2007 | 69 | 2007 |
| Preferred explanations: Theory and generation via planning S Sohrabi, JA Baier, SA McIlraith Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011 | 64 | 2011 |
| Diagnosis as planning revisited S Sohrabi, JA Baier, SA McIlraith Twelfth International Conference on the Principles of Knowledge …, 2010 | 63 | 2010 |
| Avoiding and escaping depressions in real-time heuristic search C Hernández, JA Baier Journal of Artificial Intelligence Research 43, 523-570, 2012 | 44 | 2012 |
| ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. C Fritz, JA Baier, SA McIlraith KR, 600-610, 2008 | 42 | 2008 |
| Planning with Temporally Extended Goals Using Heuristic Search. JA Baier, SA McIlraith ICAPS, 342-345, 2006 | 36 | 2006 |
| Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces A Camacho, E Triantafillou, C Muise, JA Baier, SA McIlraith Thirty-First AAAI Conference on Artificial Intelligence, 2017 | 35 | 2017 |
| 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 | 28 | 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 | 23 | 2015 |
| Improving planning performance using low-conflict relaxed plans JA Baier, A Botea Nineteenth International Conference on Automated Planning and Scheduling, 2009 | 19 | 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 | 18 | 2009 |
| Finite LTL synthesis as planning A Camacho, JA Baier, C Muise, SA McIlraith Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018 | 17 | 2018 |
| Incorporating weights into real-time heuristic search N Rivera, JA Baier, C Hernández Artificial Intelligence 225, 1-23, 2015 | 16 | 2015 |
| Exploiting N-gram analysis to predict operator sequences C Muise, S McIlraith, JA Baier, M Reimer Nineteenth International Conference on Automated Planning and Scheduling, 2009 | 16 | 2009 |
| Reusing previously found A* paths for fast goal-directed navigation in dynamic terrain C Hernández, R Asín, JA Baier Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015 | 15 | 2015 |
| Moving target search with compressed path databases A Botea, JA Baier, D Harabor, C Hernández Twenty-Third International Conference on Automated Planning and Scheduling, 2013 | 15 | 2013 |
Sheila McIlraithProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
