Jorge A. Baier

发表

Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning

Alberto Camacho, Jorge A. Baier, Christian J. Muise, 2018, Canadian Conference on AI.

Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs

Jorge A. Baier, Carlos Hernández, Roberto Javier Asín Achá, 2016, J. Artif. Intell. Res..

Reports of the AAAI 2012 Conference Workshops

Patrik Haslum, Freddy Lécué, Lokendra Shastri, 2012, AI Mag..

Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain

Jorge A. Baier, Carlos Hernández, Roberto Javier Asín Achá, 2014, ICAPS.

LTL Realizability via Safety and Reachability Games

Alberto Camacho, Jorge A. Baier, Christian J. Muise, 2018, IJCAI.

On Domain-Independent Heuristics for Planning with Qualitative Preferences

Jorge A. Baier, Sheila A. McIlraith, 2007, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

Planning with First-Order Temporally Extended Goals using Heuristic Search

Jorge A. Baier, Sheila A. McIlraith, 2006, AAAI.

Semantic Search in the WWW Supported by a Cognitive Model

Jorge A. Baier, Miguel Nussbaum, Ricardo A. Baeza-Yates, 2004, WAIM.

Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals

Jorge A. Baier, Jorge Torres, Jorge Torres, 2015, IJCAI.

Planning under uncertainty as GOLOG programs

Jorge A. Baier, Javier Pinto, Javier Pinto, 2003, J. Exp. Theor. Artif. Intell..

Integrating true concurrency into the robot programming language GOLOG

Jorge A. Baier, Javier Pinto, Javier Pinto, 1999, Proceedings. SCCC'99 XIX International Conference of the Chilean Computer Science Society.

A Heuristic Search Approach to Planning with Temporally Extended Preferences

Jorge A. Baier, Sheila A. McIlraith, Fahiem Bacchus, 2007, IJCAI.

SynKit: LTL Synthesis as a Service

Alberto Camacho, Jorge A. Baier, Christian J. Muise, 2018, IJCAI.

Incomplete Causal Laws in the Situation Calculus Using Free Fluents

Jorge A. Baier, Sebastian Sardiña, Marcelo Arenas, 2016, IJCAI.

Avoiding and Escaping Depressions in Real-Time Heuristic Search

Jorge A. Baier, Carlos Hernández, Carlos Hernández, 2014, J. Artif. Intell. Res..

Grid Pathfinding on the 2 k Neighborhoods

Jorge A. Baier, Carlos Hernández, Nicolás Rivera, 2017, AAAI 2017.

Real-Time Heuristic Search with Depression Avoidance

Jorge A. Baier, Carlos Hernández, 2011, IJCAI.

Fast Algorithm for Catching a Prey Quickly in Known and Partially Known Game Maps

Jorge A. Baier, Adi Botea, Carlos Hernández, 2015, IEEE Transactions on Computational Intelligence and AI in Games.

Fast and Almost Optimal Any-Angle Pathfinding Using the 2k Neighborhoods

Jorge A. Baier, Carlos Hernández, Nicolás Hormazábal, 2017, SOCS.

Reconnecting with the Ideal Tree: An Alternative to Heuristic Learning in Real-Time Search

Jorge A. Baier, Carlos Hernández, Nicolas Rivera, 2013, SOCS.

Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge

Jorge A. Baier, Sheila A. McIlraith, Sammy Davis-Mendelow, 2013, AAAI.

Planning with Temporally Extended Goals Using Heuristic Search

Jorge A. Baier, Sheila A. McIlraith, 2006, ICAPS.

Planning with Preferences

Jorge A. Baier, Sheila A. McIlraith, 2008, AI Mag..

Diagnosis as Planning Revisited

Jorge A. Baier, Sheila A. McIlraith, Shirin Sohrabi, 2010, KR.

Fast Subgoaling for Pathfinding via Real-Time Search

Jorge A. Baier, Carlos Hernández, 2011, ICAPS.

Real-Time Adaptive A* with Depression Avoidance

Jorge A. Baier, Carlos Hernández, 2011, SOCS.

A Learning-Based Framework for Memory-Bounded Heuristic Search: First Results

Jorge A. Baier, Vadim Bulitko, Sven Koenig, 2019, SOCS.

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals

Jorge A. Baier, Sheila A. McIlraith, Brent Mombourquette, 2014, KR.

Finite LTL Synthesis is EXPTIME-complete pdf

Alberto Camacho, Jorge A. Baier, Sheila A. McIlraith, 2016, ArXiv.

Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces

Alberto Camacho, Jorge A. Baier, Christian J. Muise, 2017, AAAI.

Incorporating weights into real-time heuristic search

Jorge A. Baier, Carlos Hernández, Nicolas Rivera, 2015, Artif. Intell..

Moving Target Search with Compressed Path Databases

Jorge A. Baier, Adi Botea, Carlos Hernández, 2013, ICAPS.

Position Paper: Incremental Search Algorithms Considered Poorly Understood

Jorge A. Baier, Sven Koenig, Carlos Hernández, 2012, SOCS.

Making Reasonable Assumptions to Plan with Incomplete Information: Abridged Report

Jorge A. Baier, Sheila A. McIlraith, Samuel Falcon Davis-Mendelow, 2012, AAAI 2012.

Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners

Jorge A. Baier, Sheila A. McIlraith, Christian Fritz, 2007, ICAPS.

Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain

Jorge A. Baier, Carlos Hernández, Roberto Javier Asín Achá, 2015, AAAI.

Planning with rich goals, preferences and procedural operators via reformulation

Jorge A. Baier, 2011, AI Commun..

HTN Planning with Preferences

Jorge A. Baier, Sheila A. McIlraith, Shirin Sohrabi, 2009, IJCAI.

Multipath Adaptive A*: Factors That Influence Performance in Goal-Directed Navigation in Unknown Terrain

Jorge A. Baier, Carlos Hernández Ulloa, Roberto Asín-Achá, 2020, IEEE Access.

Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version)

Alberto Camacho, Jorge A. Baier, Christian J. Muise, 2016, KnowProS@IJCAI.

A Neural Network for Decision Making in Real-Time Heuristic Search

Jorge A. Baier, Carlos Hernández, Franco Muñoz, 2021, SOCS.

Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads

Jorge A. Baier, Vadim Bulitko, Adi Botea, 2017, IJCAI.

Grid Pathfinding on the 2k Neighborhoods

Jorge A. Baier, Carlos Hernández, Nicolas Rivera, 2017, AAAI.

A Simple and Fast Bi-Objective Search Algorithm

Jorge A. Baier, Han Zhang, William Yeoh, 2020, ICAPS.

A Suboptimality Bound for 2k Grid Path Planning

Jorge A. Baier, Carlos Hernández, Nicolas Rivera, 2018, SOCS.

Compiling Cost-Optimal Multi-Agent Pathfinding to ASP

Jorge A. Baier, Carlos Hernández, Rodrigo N. Gómez, 2019, SOCS.

On Planning with Programs that Sense

Jorge A. Baier, Sheila A. McIlraith, 2006, KR.

ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond

Jorge A. Baier, Sheila A. McIlraith, Christian Fritz, 2008, KR.

On procedure recognition in the Situation Calculus

Jorge A. Baier, 2002, 12th International Conference of the Chilean Computer Science Society, 2002. Proceedings..

Effective Search Techniques for Non-classical Planning via Reformulation

Jorge A. Baier, 2010 .

Assumption-Based Planning with Sensing via Contingent Planning

Jorge A. Baier, Pamela Calvo, 2016, KnowProS@IJCAI.

On the Progression of Situation Calculus Universal Theories with Constants

Jorge A. Baier, Sebastian Sardiña, Marcelo Arenas, 2018, KR.

Finite LTL Synthesis as Planning

Alberto Camacho, Jorge A. Baier, Christian J. Muise, 2018, ICAPS.

Escaping Heuristic Hollows in Real-Time Search without Learning

Jorge A. Baier, Carlos Hernández, 2010, 2010 XXIX International Conference of the Chilean Computer Science Society.

Improving Planning Performance Using Low-Conflict Relaxed Plans

Jorge A. Baier, Adi Botea, 2009, ICAPS.

Preferred Explanations: Theory and Generation via Planning

Jorge A. Baier, Sheila A. McIlraith, Shirin Sohrabi, 2011, AAAI.

Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound

Jorge A. Baier, Carlos Hernández, Carlos Hernández, 2021, SOCS.

Weighted real-time heuristic search

Jorge A. Baier, Carlos Hernández, Nicolas Rivera, 2013, AAMAS.

Paper Summary: Time-Bounded Adaptive A

Jorge A. Baier, Sven Koenig, Carlos Hernández, 2012, SOCS.

Time-Bounded Best-First Search

Jorge A. Baier, Carlos Hernández, Roberto Javier Asín Achá, 2014, SOCS.

Improving MPGAA* for Extended Visibility Ranges

Jorge A. Baier, Carlos Hernández, 2017, ICAPS.

Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming

Jorge A. Baier, Carlos Hernández, Rodrigo N. Gómez, 2020, AAAI.

Real-Time Pathfinding in Unknown Terrain via Reconnection with an Ideal Tree

Jorge A. Baier, Nicolas Rivera, Leon Illanes, 2014, IBERAMIA.

Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners

Jorge A. Baier, Sheila A. McIlraith, Christian Fritz, 2008, AAAI.

Reusing cost-minimal paths for goal-directed navigation in partially known terrains

Jorge A. Baier, Pedro Meseguer, Sven Koenig, 2014, Autonomous Agents and Multi-Agent Systems.

Reconnection with the Ideal Tree: A New Approach to Real-Time Search

Jorge A. Baier, Carlos Hernández, Nicolas Rivera, 2014, J. Artif. Intell. Res..

Time-bounded adaptive A

Jorge A. Baier, Sven Koenig, Carlos Hernández, 2012, AAMAS.

Escaping heuristic depressions in real-time heuristic search

Jorge A. Baier, Carlos Hernández, 2011, AAMAS.

The 2^k Neighborhoods for Grid Path Planning

Jorge A. Baier, Carlos Hernández, Nicolás Hormazábal, 2020, J. Artif. Intell. Res..

How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval

Jorge A. Baier, Alvaro Soto, Cristian Ruz, 2017, IJCAI.

Exploiting N-Gram Analysis to Predict Operator Sequences

Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith, 2009, ICAPS.

A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers

Jorge A. Baier, Roberto Javier Asín Achá, Rodrigo López, 2021, SOCS.

A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding

Jorge A. Baier, Carlos Hernández, Rodrigo N. Gómez, 2021, IEEE Access.

Knowledge-based programs as building blocks for planning

Jorge A. Baier, Sheila A. McIlraith, 2021, Artif. Intell..

HTN Planning with Quantitative Preferences via Heuristic Search

Jorge A. Baier, Sheila A. McIlraith, Shirin Sohrabi, 2008 .

Viewing Landmarks as Temporally Extended Goals

Jorge A. Baier, Sheila A. McIlraith, Letao Wang, 2009 .

On the Use of Planning Technology for Verification Aws Albarghouthi

Jorge A. Baier, Sheila A. McIlraith, 2009 .

Exploiting Procedural Domain Control Knowledge in State-ofthe-Art Planners ( extended version )

Jorge A. Baier, Sheila A. McIlraith, Christian Fritz, 2008 .

IJCAI-07 Reviewers

Wolfram Burgard, Olivier Buffet, Christian Balkenius, 2007, IJCAI.

Improving Relaxed-Plan-Based Heuristics

Jorge A. Baier, 2007 .

1 Golog-Style Search Control for Planning

Jorge A. Baier, Sheila A. McIlraith, Christian Fritz, 2011 .

Bounded-Suboptimal Search with Learned Heuristics

Jorge A. Baier, M. Greco, 2021 .

Procedural Domain Control Knowledge and State-ofthe-Art Planners

Jorge A. Baier, 2007 .

Scaling up ML-based Black-box Planning with Partial STRIPS Models

Jorge A. Baier, Héctor Palacios, M. Greco, 2022, ArXiv.

Bridging the Gap Between LTL Synthesis and Automated Planning

Jorge A. Baier, Sheila A. McIlraith, Alberto Camacho, 2017 .

Subset Approximation of Pareto Regions with Bi-objective A

Jorge A. Baier, Nicolás Rivera, Carlos Hernández, 2022, AAAI.

Focal Discrepancy Search for Learned Heuristics (Extended Abstract)

Jorge A. Baier, M. Greco, Pablo Araneda, 2022, SOCS.

Real-Time Heuristic Search with LTLf Goals

Jorge A. Baier, Rodrigo Toro Icarte, Jaime Middleton, 2022, IJCAI.

Avoiding Errors in Learned Heuristics in Bounded-Suboptimal Search

Jorge A. Baier, M. Greco, 2022, SOCS.

Multi-Agent Path Finding: A New Boolean Encoding

Jorge A. Baier, Rodrigo López, Roberto Asín Achá, 2022, J. Artif. Intell. Res..

Exploiting Learned Policies in Focal Search pdf

Jorge A. Baier, Matias Greco, Jorge Baier, 2021, SOCS.

Simple and efficient bi-objective search algorithms via fast dominance checks

Jorge A. Baier, Sven Koenig, Oren Salzman, 2022, Artif. Intell..

Evaluating Navigational RDF Queries over the Web

Jorge A. Baier, Jorge Baier, Juan L. Reutter, 2017, HT.