Jorge Baier
Nimike
Viittaukset
Viittaukset
Vuosi
A heuristic search approach to planning with temporally extended preferences
JA Baier, F Bacchus, SA McIlraith
Artificial Intelligence 173 (5-6), 593-618, 2009
1562009
HTN planning with preferences
S Baier, SA McIlraith
21st Int. Joint Conf. on Artificial Intelligence, 1790-1797, 2009
1262009
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
1112006
Planning with preferences
JA Baier, SA McIlraith
AI Magazine 29 (4), 25, 2009
96*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
882011
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
JA Baier, C Fritz, SA McIlraith
ICAPS, 26-33, 2007
842007
Diagnosis as planning revisited
S Sohrabi, JA Baier, SA McIlraith
Twelfth International Conference on the Principles of Knowledge …, 2010
712010
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
512017
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
492012
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
C Fritz, JA Baier, SA McIlraith
KR, 600-610, 2008
482008
Planning with Temporally Extended Goals Using Heuristic Search.
JA Baier, SA McIlraith
ICAPS, 342-345, 2006
422006
Finite LTL synthesis as planning
A Camacho, J Baier, C Muise, S McIlraith
Proceedings of the International Conference on Automated Planning and …, 2018
342018
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
292015
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
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, J Baier
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 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
Grid Pathfinding on the 2k Neighborhoods
N Rivera, C Hernández, J Baier
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
172017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20