Volgen
Jorge Baier
Titel
Geciteerd door
Geciteerd door
Jaar
A heuristic search approach to planning with temporally extended preferences
JA Baier, F Bacchus, SA McIlraith
Artificial Intelligence 173 (5-6), 593-618, 2009
1822009
HTN planning with preferences
S Baier, SA McIlraith
21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009
1522009
Planning with first-order temporally extended goals using heuristic search
JA Baier, SA McIlraith
AAAI, 788-795, 2006
1492006
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
1232011
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
962007
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
942017
Finite LTL synthesis as planning
A Camacho, J Baier, C Muise, S McIlraith
Proceedings of the International Conference on Automated Planning and …, 2018
812018
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
642006
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
542012
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
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
482015
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
442021
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
432008
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
362020
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
242017
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
LTL Realizability via Safety and Reachability Games.
A Camacho, CJ Muise, JA Baier, SA McIlraith
IJCAI, 4683-4691, 2018
232018
On the use of planning technology for verification
A Albarghouthi, JA Baier, SA McIlraith
Proc. ICAPS 9, 2009
222009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20