Baier, Jorge A.

24 publications

JAIR 2022 Multi-Agent Path Finding: A New Boolean Encoding Roberto Javier Asín Achá, Rodrigo López, Sebastián Hagedorn, Jorge A. Baier

IJCAI 2022 Real-Time Heuristic Search with LTLf Goals Jaime Middleton, Rodrigo Toro Icarte, Jorge A. Baier

AAAI 2022 Subset Approximation of Pareto Regions with Bi-Objective a Nicolás Rivera, Jorge A. Baier, Carlos Hernández

AAAI 2020 Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming Rodrigo N. Gómez, Carlos Hernández, Jorge A. Baier

JAIR 2020 The 2k Neighborhoods for Grid Path Planning Nicolás Rivera, Carlos Hernández, Nicolás Hormazábal, Jorge A. Baier

IJCAI 2018 LTL Realizability via Safety and Reachability Games Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

IJCAI 2018 SynKit: LTL Synthesis as a Service Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

AAAI 2017 Grid Pathfinding on the 2k Neighborhoods Nicolas Rivera, Carlos Hernández, Jorge A. Baier

IJCAI 2017 How a General-Purpose Commonsense Ontology Can Improve Performance of Learning-Based Image Retrieval Rodrigo Toro Icarte, Jorge A. Baier, Cristian Ruz, Alvaro Soto

AAAI 2017 Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

IJCAI 2017 Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads Carlos Hernández, Adi Botea, Jorge A. Baier, Vadim Bulitko

IJCAI 2016 Incomplete Causal Laws in the Situation Calculus Using Free Fluents Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña

JAIR 2016 Time-Bounded Best-First Search for Reversible and Non-Reversible Search Graphs Carlos Hernández, Jorge A. Baier, Roberto Asín

IJCAI 2015 Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals Jorge Torres, Jorge A. Baier

AAAI 2015 Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain Carlos Hernández, Roberto Asín, Jorge A. Baier

JAIR 2014 Reconnection with the Ideal Tree: A New Approach to Real-Time Search Nicolas Rivera, Leon Illanes, Jorge A. Baier, Carlos Hernández

AAAI 2013 Assumption-Based Planning: Generating Plans and Explanations Under Incomplete Knowledge Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith

JAIR 2012 Avoiding and Escaping Depressions in Real-Time Heuristic Search Carlos Hernández, Jorge A. Baier

AAAI 2011 Preferred Explanations: Theory and Generation via Planning Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

IJCAI 2011 Real-Time Heuristic Search with Depression Avoidance Carlos Hernández, Jorge A. Baier

IJCAI 2009 HTN Planning with Preferences Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith

AAAI 2008 Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith

IJCAI 2007 A Heuristic Search Approach to Planning with Temporally Extended Preferences Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith

AAAI 2006 Planning with First-Order Temporally Extended Goals Using Heuristic Search Jorge A. Baier, Sheila A. McIlraith