A heuristic search approach to planning with temporally extended preferences JA Baier, F Bacchus, SA McIlraith Artificial Intelligence 173 (5-6), 593-618, 2009 | 174 | 2009 |
HTN planning with preferences S Baier, SA McIlraith 21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009 | 144 | 2009 |
Planning with first-order temporally extended goals using heuristic search JA Baier, SA McIlraith AAAI, 788-795, 2006 | 143 | 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 | 119 | 2011 |
Planning with preferences JA Baier, SA McIlraith AI Magazine 29 (4), 25, 2009 | 113* | 2009 |
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. JA Baier, C Fritz, SA McIlraith ICAPS, 26-33, 2007 | 92 | 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 | 83 | 2017 |
Diagnosis as planning revisited S Sohrabi, JA Baier, SA McIlraith Twelfth International Conference on the Principles of Knowledge …, 2010 | 77 | 2010 |
Finite LTL synthesis as planning A Camacho, J Baier, C Muise, S McIlraith Proceedings of the International Conference on Automated Planning and …, 2018 | 69 | 2018 |
Planning with Temporally Extended Goals Using Heuristic Search. JA Baier, SA McIlraith ICAPS, 342-345, 2006 | 59 | 2006 |
Avoiding and escaping depressions in real-time heuristic search C Hernández, JA Baier Journal of Artificial Intelligence Research 43, 523-570, 2012 | 52 | 2012 |
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. C Fritz, JA Baier, SA McIlraith KR, 600-610, 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 | 44 | 2015 |
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 | 41 | 2008 |
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 | 37 | 2021 |
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 | 29 | 2020 |
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 |
On the use of planning technology for verification A Albarghouthi, JA Baier, SA McIlraith Proc. ICAPS 9, 2009 | 22 | 2009 |
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 | 21 | 2017 |
Incorporating weights into real-time heuristic search N Rivera, JA Baier, C Hernández Artificial Intelligence 225, 1-23, 2015 | 21 | 2015 |