Jorge Baier
标题
引用次数
引用次数
年份
A heuristic search approach to planning with temporally extended preferences
JA Baier, F Bacchus, SA McIlraith
Artificial Intelligence 173 (5-6), 593-618, 2009
1612009
HTN planning with preferences
S Sohrabi, JA Baier, SA McIlraith
Twenty-First International Joint Conference on Artificial Intelligence, 2009
1312009
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
1202006
Preferred explanations: Theory and generation via planning
S Sohrabi, J Baier, S McIlraith
Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 2011
1042011
Planning with preferences
JA Baier, SA McIlraith
AI Magazine 29 (4), 25, 2009
101*2009
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
JA Baier, C Fritz, SA McIlraith
ICAPS, 26-33, 2007
882007
Diagnosis as planning revisited
S Sohrabi, JA Baier, SA McIlraith
Twelfth International Conference on the Principles of Knowledge …, 2010
752010
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
622017
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
C Fritz, JA Baier, SA McIlraith
KR, 600-610, 2008
512008
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
502012
Planning with Temporally Extended Goals Using Heuristic Search.
JA Baier, SA McIlraith
ICAPS, 342-345, 2006
472006
Finite LTL synthesis as planning
A Camacho, JA Baier, C Muise, SA McIlraith
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
452018
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
352015
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
352008
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
212009
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
202015
Improving planning performance using low-conflict relaxed plans
JA Baier, A Botea
Nineteenth International Conference on Automated Planning and Scheduling, 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
192017
Incorporating weights into real-time heuristic search
N Rivera, JA Baier, C Hernández
Artificial Intelligence 225, 1-23, 2015
192015
Assumption-based planning: Generating plans and explanations under incomplete knowledge
S Davis-Mendelow, JA Baier, S McIlraith
Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
192013
系统目前无法执行此操作,请稍后再试。
文章 1–20