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
1552009
HTN planning with preferences
S Baier, SA McIlraith
21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009
1252009
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
1082006
Planning with preferences
JA Baier, SA McIlraith
AI Magazine 29 (4), 25, 2009
92*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
872011
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
JA Baier, C Fritz, SA McIlraith
ICAPS, 26-33, 2007
832007
Diagnosis as planning revisited
S Sohrabi, JA Baier, SA McIlraith
Twelfth International Conference on the Principles of Knowledge …, 2010
712010
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
492012
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
482017
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
C Fritz, JA Baier, SA McIlraith
KR, 600-610, 2008
472008
Planning with Temporally Extended Goals Using Heuristic Search.
JA Baier, SA McIlraith
ICAPS, 342-345, 2006
412006
Finite LTL synthesis as planning
A Camacho, J Baier, C Muise, S McIlraith
Proceedings of the International Conference on Automated Planning and …, 2018
312018
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
312008
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
282015
Improving planning performance using low-conflict relaxed plans
J Baier, A Botea
Proceedings of the International Conference on Automated Planning and …, 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
192009
Incorporating weights into real-time heuristic search
N Rivera, JA Baier, C Hernández
Artificial Intelligence 225, 1-23, 2015
182015
Exploiting N-gram analysis to predict operator sequences
C Muise, S McIlraith, J Baier, M Reimer
Proceedings of the International Conference on Automated Planning and …, 2009
182009
Reusing previously found A* paths for fast goal-directed navigation in dynamic terrain
C Hernández, R Asín, J Baier
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
172015
Grid Pathfinding on the 2k Neighborhoods
N Rivera, C Hernández, J Baier
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
162017
The system can't perform the operation now. Try again later.
Articles 1–20