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
1962009
HTN planning with preferences
S Baier, SA McIlraith
21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009
1642009
Planning with first-order temporally extended goals using heuristic search
JA Baier, SA McIlraith
AAAI, 788-795, 2006
1642006
Planning with preferences
JA Baier, SA McIlraith
AI Magazine 29 (4), 25, 2009
132*2009
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
1302011
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
1172017
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
JA Baier, C Fritz, SA McIlraith
ICAPS, 26-33, 2007
1032007
Finite LTL synthesis as planning
A Camacho, J Baier, C Muise, S McIlraith
Proceedings of the International Conference on Automated Planning and …, 2018
992018
Diagnosis as planning revisited
S Sohrabi, JA Baier, SA McIlraith
Twelfth International Conference on the Principles of Knowledge …, 2010
812010
Planning with Temporally Extended Goals Using Heuristic Search.
JA Baier, SA McIlraith
ICAPS, 342-345, 2006
762006
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
692021
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
572015
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
572012
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
512008
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
502020
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
502008
Grid Pathfinding on the 2k Neighborhoods
N Rivera, C Hernández, J Baier
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
322017
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
312017
Simple and efficient bi-objective search algorithms via fast dominance checks
C Hernández, W Yeoh, JA Baier, H Zhang, L Suazo, S Koenig, O Salzman
Artificial intelligence 314, 103807, 2023
262023
LTL Realizability via Safety and Reachability Games.
A Camacho, CJ Muise, JA Baier, SA McIlraith
IJCAI, 4683-4691, 2018
262018
The system can't perform the operation now. Try again later.
Articles 1–20