フォロー
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
1632009
HTN planning with preferences
S Sohrabi, JA Baier, SA McIlraith
Twenty-First International Joint Conference on Artificial Intelligence, 2009
1382009
Planning with first-order temporally extended goals using heuristic search
JA Baier, SA McIlraith
AAAI, 788-795, 2006
1322006
Preferred explanations: Theory and generation via planning
S Sohrabi, JA Baier, SA McIlraith
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
1112011
Planning with preferences
JA Baier, SA McIlraith
AI Magazine 29 (4), 25, 2009
106*2009
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
JA Baier, C Fritz, SA McIlraith
ICAPS, 26-33, 2007
892007
Diagnosis as planning revisited
S Sohrabi, JA Baier, SA McIlraith
Twelfth International Conference on the Principles of Knowledge …, 2010
762010
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
752017
Finite LTL synthesis as planning
A Camacho, JA Baier, C Muise, SA McIlraith
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
622018
Planning with Temporally Extended Goals Using Heuristic Search.
JA Baier, SA McIlraith
ICAPS, 342-345, 2006
542006
Avoiding and escaping depressions in real-time heuristic search
C Hernández, JA Baier
Journal of Artificial Intelligence Research 43, 523-570, 2012
502012
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.
C Fritz, JA Baier, SA McIlraith
KR, 600-610, 2008
502008
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
402015
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
402008
A MOOC‐based flipped experience: Scaffolding SRL strategies improves learners’ time management and engagement
M Pérez‐Sanagustín, D Sapunar‐Opazo, R Pérez‐Álvarez, I Hilliger, ...
Computer Applications in Engineering Education 29 (4), 750-768, 2021
222021
Grid Pathfinding on the 2k Neighborhoods
N Rivera, C Hernández, J Baier
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
212017
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
Incorporating weights into real-time heuristic search
N Rivera, JA Baier, C Hernández
Artificial Intelligence 225, 1-23, 2015
202015
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20