Follow
Jorge Baier
Title
Cited by
Cited by
Year
A heuristic search approach to planning with temporally extended preferences
JA Baier, F Bacchus, SA McIlraith
Artificial Intelligence 173 (5-6), 593-618, 2009
1692009
Planning with first-order temporally extended goals using heuristic search
JA Baier, SA McIlraith
AAAI, 788-795, 2006
1402006
HTN planning with preferences
S Baier, SA McIlraith
21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009
1382009
Preferred explanations: Theory and generation via planning
S Sohrabi, JA Baier, SA McIlraith
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
1142011
Planning with preferences
JA Baier, SA McIlraith
AI Magazine 29 (4), 25, 2009
110*2009
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
JA Baier, C Fritz, SA McIlraith
ICAPS, 26-33, 2007
912007
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
802017
Diagnosis as planning revisited
S Sohrabi, JA Baier, SA McIlraith
Twelfth International Conference on the Principles of Knowledge …, 2010
772010
Finite LTL synthesis as planning
A Camacho, J Baier, C Muise, S McIlraith
Proceedings of the International Conference on Automated Planning and …, 2018
692018
Planning with Temporally Extended Goals Using Heuristic Search.
JA Baier, SA McIlraith
ICAPS, 342-345, 2006
572006
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
522012
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
C Fritz, JA Baier, SA McIlraith
KR, 600-610, 2008
502008
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
422015
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
402008
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
292021
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
272020
Grid Pathfinding on the 2k Neighborhoods
N Rivera, C Hernández, J Baier
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
242017
On the use of planning technology for verification
A Albarghouthi, JA Baier, SA McIlraith
Proc. ICAPS 9, 2009
222009
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
212017
LTL Realizability via Safety and Reachability Games.
A Camacho, CJ Muise, JA Baier, SA McIlraith
IJCAI, 4683-4691, 2018
202018
The system can't perform the operation now. Try again later.
Articles 1–20