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
1462009
HTN planning with preferences
S Baier, SA McIlraith
21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009
1182009
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
1022006
Planning with preferences
JA Baier, SA McIlraith
AI Magazine 29 (4), 25, 2009
87*2009
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
JA Baier, C Fritz, SA McIlraith
ICAPS, 26-33, 2007
792007
Preferred explanations: Theory and generation via planning
S Sohrabi, JA Baier, SA McIlraith
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
742011
Diagnosis as planning revisited
S Sohrabi, JA Baier, SA McIlraith
Twelfth International Conference on the Principles of Knowledge …, 2010
672010
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
462012
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
C Fritz, JA Baier, SA McIlraith
KR, 600-610, 2008
462008
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
422017
Planning with Temporally Extended Goals Using Heuristic Search.
JA Baier, SA McIlraith
ICAPS, 342-345, 2006
402006
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
Finite LTL Synthesis as Planning.
A Camacho, JA Baier, CJ Muise, SA McIlraith
ICAPS, 29-38, 2018
272018
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
262015
Improving Planning Performance Using Low-Conflict Relaxed Plans.
JA Baier, A Botea
ICAPS, 2009
202009
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
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
182009
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
172009
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
16*2014
The system can't perform the operation now. Try again later.
Articles 1–20