Jorge Baier
Cited by
Cited by
A heuristic search approach to planning with temporally extended preferences
JA Baier, F Bacchus, SA McIlraith
Artificial Intelligence 173 (5-6), 593-618, 2009
HTN planning with preferences
S Baier, SA McIlraith
21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009
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
Planning with preferences
JA Baier, SA McIlraith
AI Magazine 29 (4), 25, 2009
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
JA Baier, C Fritz, SA McIlraith
ICAPS, 26-33, 2007
Preferred explanations: Theory and generation via planning
S Sohrabi, JA Baier, SA McIlraith
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
Diagnosis as planning revisited
S Sohrabi, JA Baier, SA McIlraith
Twelfth International Conference on the Principles of Knowledge …, 2010
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
C Fritz, JA Baier, SA McIlraith
KR, 600-610, 2008
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.
A Camacho, E Triantafillou, CJ Muise, JA Baier, SA McIlraith
AAAI, 3716-3724, 2017
Planning with Temporally Extended Goals Using Heuristic Search.
JA Baier, SA McIlraith
ICAPS, 342-345, 2006
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
Finite LTL Synthesis as Planning.
A Camacho, JA Baier, CJ Muise, SA McIlraith
ICAPS, 29-38, 2018
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
Improving Planning Performance Using Low-Conflict Relaxed Plans.
JA Baier, A Botea
ICAPS, 2009
Incorporating weights into real-time heuristic search
N Rivera, JA Baier, C Hernández
Artificial Intelligence 225, 1-23, 2015
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
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
Exploiting N-gram analysis to predict operator sequences
C Muise, S McIlraith, JA Baier, M Reimer
Proceedings of the Nineteenth International Conference on International …, 2009
Diagnostic problem solving via planning with ontic and epistemic goals
JA Baier, B Mombourquette, SA McIlraith
Fourteenth International Conference on the Principles of Knowledge …, 2014
The system can't perform the operation now. Try again later.
Articles 1–20