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
1582009
HTN planning with preferences
S Sohrabi, JA Baier, SA McIlraith
Twenty-First International Joint Conference on Artificial Intelligence, 2009
1292009
Planning with first-order temporally extended goals using heuristic search
JA Baier, SA McIlraith
Proceedings of the National Conference on Artificial Intelligence 21 (1), 788, 2006
1142006
Planning with preferences
JA Baier, SA McIlraith
AI Magazine 29 (4), 25, 2009
98*2009
Preferred explanations: Theory and generation via planning
S Sohrabi, J Baier, S McIlraith
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 2011
922011
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
JA Baier, C Fritz, SA McIlraith
ICAPS, 26-33, 2007
872007
Diagnosis as planning revisited
S Sohrabi, JA Baier, SA McIlraith
Twelfth International Conference on the Principles of Knowledge …, 2010
722010
Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces
A Camacho, E Triantafillou, C Muise, JA Baier, SA McIlraith
Thirty-First AAAI Conference on Artificial Intelligence, 2017
552017
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
C Fritz, JA Baier, SA McIlraith
KR, 600-610, 2008
502008
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
492012
Planning with Temporally Extended Goals Using Heuristic Search.
JA Baier, SA McIlraith
ICAPS, 342-345, 2006
432006
Finite LTL synthesis as planning
A Camacho, JA Baier, C Muise, SA McIlraith
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
402018
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
332015
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
322008
Improving planning performance using low-conflict relaxed plans
JA Baier, A Botea
Nineteenth International Conference on Automated Planning and Scheduling, 2009
202009
On the use of planning technology for verification
A Albarghouthi, JA Baier, SA McIlraith
In VVPS’09. Proceedings of the ICAPS Workshop on Verification & Validation …, 2009
202009
Grid Pathfinding on the 2k Neighborhoods
N Rivera, C Hernández, J Baier
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
182017
Incorporating weights into real-time heuristic search
N Rivera, JA Baier, C Hernández
Artificial Intelligence 225, 1-23, 2015
182015
Reusing previously found A* paths for fast goal-directed navigation in dynamic terrain
C Hernández, R Asín, JA Baier
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
182015
Exploiting N-gram analysis to predict operator sequences
C Muise, S McIlraith, JA Baier, M Reimer
Nineteenth International Conference on Automated Planning and Scheduling, 2009
182009
The system can't perform the operation now. Try again later.
Articles 1–20