| A heuristic search approach to planning with temporally extended preferences JA Baier, F Bacchus, SA McIlraith Artificial Intelligence 173 (5-6), 593-618, 2009 | 182 | 2009 |
| HTN planning with preferences S Baier, SA McIlraith 21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009 | 153 | 2009 |
| Planning with first-order temporally extended goals using heuristic search JA Baier, SA McIlraith AAAI, 788-795, 2006 | 150 | 2006 |
| Preferred explanations: Theory and generation via planning S Sohrabi, J Baier, S McIlraith Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 261-267, 2011 | 123 | 2011 |
| Planning with preferences JA Baier, SA McIlraith AI Magazine 29 (4), 25, 2009 | 120* | 2009 |
| Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. JA Baier, C Fritz, SA McIlraith ICAPS, 26-33, 2007 | 97 | 2007 |
| 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 | 96 | 2017 |
| Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018 | 81 | 2018 |
| Diagnosis as planning revisited S Sohrabi, JA Baier, SA McIlraith Twelfth International Conference on the Principles of Knowledge …, 2010 | 81 | 2010 |
| Planning with Temporally Extended Goals Using Heuristic Search. JA Baier, SA McIlraith ICAPS, 342-345, 2006 | 64 | 2006 |
| Avoiding and escaping depressions in real-time heuristic search C Hernández, JA Baier Journal of Artificial Intelligence Research 43, 523-570, 2012 | 53 | 2012 |
| Congolog, sin trans: Compiling congolog into basic action theories for planning and beyond C Fritz, JA Baier, SA McIlraith Proceedings of the Eleventh International Conference on Principles of …, 2008 | 50 | 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 | 48 | 2015 |
| A MOOC‐based flipped experience: Scaffolding SRL strategies improves learners’ time management and engagement M Pérez‐Sanagustín, D Sapunar‐Opazo, R Pérez‐Álvarez, I Hilliger, ... Computer Applications in Engineering Education 29 (4), 750-768, 2021 | 45 | 2021 |
| 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 | 44 | 2008 |
| A simple and fast bi-objective search algorithm CH Ulloa, W Yeoh, JA Baier, H Zhang, L Suazo, S Koenig Proceedings of the International Conference on Automated Planning and …, 2020 | 37 | 2020 |
| How a general-purpose commonsense ontology can improve performance of learning-based image retrieval RT Icarte, JA Baier, C Ruz, A Soto arXiv preprint arXiv:1705.08844, 2017 | 24 | 2017 |
| Grid Pathfinding on the 2k Neighborhoods N Rivera, C Hernández, J Baier Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 24 | 2017 |
| LTL Realizability via Safety and Reachability Games. A Camacho, CJ Muise, JA Baier, SA McIlraith IJCAI, 4683-4691, 2018 | 23 | 2018 |
| On the use of planning technology for verification A Albarghouthi, JA Baier, SA McIlraith Proc. ICAPS 9, 2009 | 22 | 2009 |
Sheila McIlraithProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
