Jorge Baier
机构: Pontificia Universidad Católica de Chile
每年引用次数
引用次数
引用: 2,289
H-指数: 22
I10-指数 : 47
出版物: 139
On procedure recognition in the Situation Calculus
J.A. Baier
international conference of the chilean computer science society 33 -42
3
2002
Planning with Preferences
Jorge A, Baier , Sheila A. McIlraith
Ai Magazine 29 ( 4) 25 -36
110
2008
Golog-style search control for planning
JORGE A Baier , CHRISTIAN Fritz , SHEILA A McIlraith
Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, G. Lakemeyer and SA McIlraith, Eds. College Publications
1
2011
HTN Planning with Quantitative Preferences via Heuristic Search
Shirin Sohrabi Jorge Baier , Sheila A McIlraith
The 2^k Neighborhoods for Grid Path Planning
Nicolás Rivera , Carlos Hernández , Nicolás Hormazábal , Jorge A Baier
Journal of Artificial Intelligence Research 67 81 -113
2020
Improving Relaxed-Plan-Based Heuristics
Jorge A Baier
Smpte Journal
2
2007
A new boolean encoding for mapf and its performance with asp and maxsat solvers
Roberto Asín Achá , Rodrigo López , Sebastián Hagedorn , Jorge A Baier
Smpte Journal 12 ( 1) 11 -19
3
2021
Planning with first-order temporally extended goals using heuristic search
Jorge A Baier , Sheila A McIlraith
AAAI 788 -795
157
2006
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.
Jorge A Baier , Christian Fritz , Sheila A McIlraith
ICAPS 26 -33
100
2007
Planning with Temporally Extended Goals Using Heuristic Search.
Jorge A Baier , Sheila A McIlraith
ICAPS 342 -345
70
2006
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
Jorge A Baier , Christian Fritz , Meghyn Bienvenu , Sheila A McIlraith
AAAI 1509 -1512
48
2008
LTL Realizability via Safety and Reachability Games.
Alberto Camacho , Christian J Muise , Jorge A Baier , Sheila A McIlraith
IJCAI 4683 -4691
25
2018
On the use of planning technology for verification
Aws Albarghouthi , Jorge A Baier , Sheila A McIlraith
Proc. ICAPS 9
23
2009
On Domain-Independent Heuristics for Planning with Qualitative Preferences.
Jorge A Baier , Sheila A McIlraith
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 7 -12
17
2007
On Planning with Programs that Sense.
Jorge A Baier , Sheila A McIlraith
KR 6 492 -502
17
2006
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).
Alberto Camacho , Eleni Triantafillou , Christian J Muise , Jorge A Baier
KnowProS@ IJCAI
8
2016
SynKit: LTL Synthesis as a Service.
Alberto Camacho , Christian J Muise , Jorge A Baier , Sheila A McIlraith
IJCAI 5817 -5819
7
2018
Knowledge-based programs as building blocks for planning
Jorge A Baier , Sheila A McIlraith
Artificial Intelligence 303 103634 -103634
5
2022
Beyond classical planning: Procedural control knowledge and preferences in state-of-the-art planners revisited
Jorge A Baier , Christian Fritz , Meghyn Bienvenu , Sheila A McIlraith
Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece
2
2009
Finite LTL Synthesis is EXPTIME-complete
Jorge A Baier , Alberto Camacho , Christian Muise , Sheila A McIlraith
arXiv preprint arXiv:1609.04371
2016