Integrating True Concurrency into the Robot Programming Language. - Jorge A. Baier; Javier Pinto (SCCC, 1999)

On Procedure Recognition in the Situation Calculus. - Jorge A. Baier (SCCC, 2002)

Planning under uncertainty as Golog programs. - Jorge A. Baier; Javier Pinto (J. Exp. Theor. Artif. Intell., 2003)

Semantic Search in the WWW Supported by a Cognitive Model. - Katia Wechsler; Jorge A. Baier; Miguel Nussbaum; Ricardo A. Baeza-Yates (WAIM, 2004)

Planning with First-Order Temporally Extended Goals using Heuristic Search. - Jorge A. Baier; Sheila A. McIlraith (AAAI, 2006)

Planning with Temporally Extended Goals Using Heuristic Search. - Jorge A. Baier; Sheila A. McIlraith (ICAPS, 2006)

On Planning with Programs that Sense. - Jorge A. Baier; Sheila A. McIlraith (KR, 2006)

On Domain-Independent Heuristics for Planning with Qualitative Preferences. - Jorge A. Baier; Sheila A. McIlraith (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. - Jorge A. Baier; Christian Fritz 001; Sheila A. McIlraith (ICAPS, 2007)

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

ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. - Christian Fritz 001; Jorge A. Baier; Sheila A. McIlraith (KR, 2008)

Planning with Preferences. - Jorge A. Baier; Sheila A. McIlraith (AI Mag., 2008)

Improving Planning Performance Using Low-Conflict Relaxed Plans. - Jorge A. Baier; Adi Botea (ICAPS, 2009)

Exploiting N-Gram Analysis to Predict Operator Sequences. - Christian J. Muise; Sheila A. McIlraith; Jorge A. Baier; Michael Reimer (ICAPS, 2009)

HTN Planning with Preferences. - Shirin Sohrabi; Jorge A. Baier; Sheila A. McIlraith (IJCAI, 2009)

A heuristic search approach to planning with temporally extended preferences. - Jorge A. Baier; Fahiem Bacchus; Sheila A. McIlraith (Artif. Intell., 2009)

Diagnosis as Planning Revisited. - Shirin Sohrabi; Jorge A. Baier; Sheila A. McIlraith (KR, 2010)

Escaping Heuristic Hollows in Real-Time Search without Learning. - Carlos Hernández 003; Jorge A. Baier (SCCC, 2010)

Effective Search Techniques for Non-classical Planning via Reformulation. - Jorge A. Baier (2010)

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

Fast Subgoaling for Pathfinding via Real-Time Search. - Carlos Hernández 003; Jorge A. Baier (ICAPS, 2011)

Escaping heuristic depressions in real-time heuristic search. - Carlos Hernández 003; Jorge A. Baier (AAMAS, 2011)

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

Real-Time Adaptive A* with Depression Avoidance. - Carlos Hernández 003; Jorge A. Baier (SOCS, 2011)

Planning with rich goals, preferences and procedural operators via reformulation. - Jorge A. Baier (AI Commun., 2011)

Time-bounded adaptive A. - Carlos Hernández 003; Jorge A. Baier; Tansel Uras; Sven Koenig (AAMAS, 2012)

Position Paper: Incremental Search Algorithms Considered Poorly Understood. - Carlos Hernández 003; Jorge A. Baier; Tansel Uras; Sven Koenig (SOCS, 2012)

Paper Summary: Time-Bounded Adaptive A. - Carlos Hernández 003; Jorge A. Baier; Tansel Uras; Sven Koenig (SOCS, 2012)

Reports of the AAAI 2012 Conference Workshops. - Vikas Agrawal; Jorge A. Baier; Kostas E. Bekris; Yiling Chen 001; Artur S. d'Avila Garcez; Pascal Hitzler; Patrik Haslum; Dietmar Jannach; Edith Law; Freddy Lécué; Luís C. Lamb; Cynthia Matuszek; et al. (AI Mag., 2012)

Avoiding and Escaping Depressions in Real-Time Heuristic Search. - Carlos Hernández 003; Jorge A. Baier (J. Artif. Intell. Res., 2012)

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

Moving Target Search with Compressed Path Databases. - Adi Botea; Jorge A. Baier; Daniel Harabor; Carlos Hernández 003 (ICAPS, 2013)

Weighted real-time heuristic search. - Nicolas Rivera; Jorge A. Baier; Carlos Hernández 003 (AAMAS, 2013)

Reconnecting with the Ideal Tree: An Alternative to Heuristic Learning in Real-Time Search. - Nicolas Rivera; Leon Illanes; Jorge A. Baier; Carlos Hernández 003 (SOCS, 2013)

Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain. - Carlos Hernández 003; Jorge A. Baier; Roberto Asín (ICAPS, 2014)

Real-Time Pathfinding in Unknown Terrain via Reconnection with an Ideal Tree. - Nicolas Rivera; Leon Illanes; Jorge A. Baier (IBERAMIA, 2014)

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. - Jorge A. Baier; Brent Mombourquette; Sheila A. McIlraith (KR, 2014)

Time-Bounded Best-First Search. - Carlos Hernández 003; Roberto Asín; Jorge A. Baier (SOCS, 2014)

Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound. - Carlos Hernández 003; Jorge A. Baier (SOCS, 2014)

Reconnection with the Ideal Tree: A New Approach to Real-Time Search. - Nicolas Rivera; Leon Illanes; Jorge A. Baier; Carlos Hernández 003 (J. Artif. Intell. Res., 2014)

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

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

Reusing cost-minimal paths for goal-directed navigation in partially known terrains. - Carlos Hernández 003; Tansel Uras; Sven Koenig; Jorge A. Baier; Xiaoxun Sun; Pedro Meseguer (Auton. Agents Multi Agent Syst., 2015)

Incorporating weights into real-time heuristic search. - Nicolas Rivera; Jorge A. Baier; Carlos Hernández 003 (Artif. Intell., 2015)

Fast Algorithm for Catching a Prey Quickly in Known and Partially Known Game Maps. - Jorge A. Baier; Adi Botea; Daniel Harabor; Carlos Hernández 003 (IEEE Trans. Comput. Intell. AI Games, 2015)

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

Assumption-Based Planning with Sensing via Contingent Planning. - Pamela Calvo; Jorge A. Baier (KnowProS@IJCAI, 2016)

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; Sheila A. McIlraith (KnowProS@IJCAI, 2016)

Property Paths over Linked Data: Can It Be Done and How To Start? - Jorge A. Baier; Dietrich Daroch; Juan L. Reutter; Domagoj Vrgoc (COLD@ISWC, 2016)

Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs. - Carlos Hernández 003; Jorge A. Baier; Roberto Asín (J. Artif. Intell. Res., 2016)

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 (AAAI, 2017)

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

Improving MPGAA* for Extended Visibility Ranges. - Carlos Hernández 003; Jorge A. Baier (ICAPS, 2017)

Evaluating Navigational RDF Queries over the Web. - Jorge A. Baier; Dietrich Daroch; Juan L. Reutter; Domagoj Vrgoc (HT, 2017)

Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads. - Carlos Hernández 003; Adi Botea; Jorge A. Baier; Vadim Bulitko (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 (IJCAI, 2017)

Fast and Almost Optimal Any-Angle Pathfinding Using the 2k Neighborhoods. - Nicolás Hormazábal; Antonio Díaz; Carlos Hernández 003; Jorge A. Baier (SOCS, 2017)

Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. - Alberto Camacho; Jorge A. Baier; Christian J. Muise; Sheila A. McIlraith (Canadian AI, 2018)

Finite LTL Synthesis as Planning. - Alberto Camacho; Jorge A. Baier; Christian J. Muise; Sheila A. McIlraith (ICAPS, 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 (IJCAI, 2018)

On the Progression of Situation Calculus Universal Theories with Constants. - Marcelo Arenas; Jorge A. Baier; Juan S. Navarro; Sebastian Sardiña (KR, 2018)

A Suboptimality Bound for 2k Grid Path Planning. - Benjamín Kramm; Nicolas Rivera; Carlos Hernández 003; Jorge A. Baier (SOCS, 2018)

A Neural Network for Decision Making in Real-Time Heuristic Search. - Franco Muñoz; Miguel Fadic; Carlos Hernández 003; Jorge A. Baier (SOCS, 2018)

Compiling Cost-Optimal Multi-Agent Pathfinding to ASP. - Rodrigo N. Gómez; Carlos Hernández 003; Jorge A. Baier (SOCS, 2019)

A Learning-Based Framework for Memory-Bounded Heuristic Search: First Results. - Carlos Hernández Ulloa; Jorge A. Baier; William Yeoh 001; Vadim Bulitko; Sven Koenig (SOCS, 2019)

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

For Learners, with Learners: Identifying Indicators for an Academic Advising Dashboard for Students. - Isabel Hilliger; Tinne De Laet; Valeria Henríquez; Julio Guerra 001; Margarita Ortiz-Rojas; Miguel Ángel Zúñiga Prieto; Jorge A. Baier; Mar Pérez-Sanagustín (EC-TEL, 2020)

Offering an Entrepreneurship Course to All Engineering Students: Self-efficacy Gains and Learning Benefits. - Isabel Hilliger; Constance Fleet; Constanza Melian; Jorge A. Baier; Mar Pérez-Sanagustín (FIE, 2020)

FAIS: A System for Effectively Learning Students Names and Faces in Massive Courses. - Jorge Munoz-Gama; Raul Alvarez-Esteban; José Montalva-Carmona; Jorge A. Baier (SCCC, 2020)

A Simple and Fast Bi-Objective Search Algorithm. - Carlos Hernández Ulloa; William Yeoh 001; Jorge A. Baier; Luis Suazo; Han Zhang 018; Sven Koenig (SOCS, 2020)

Multipath Adaptive A*: Factors That Influence Performance in Goal-Directed Navigation in Unknown Terrain. - Carlos Hernández Ulloa; Jorge A. Baier; Roberto Javier Asín Achá (IEEE Access, 2020)

The 2^k Neighborhoods for Grid Path Planning. - Nicolás Rivera; Carlos Hernández 003; Nicolás Hormazábal; Jorge A. Baier (J. Artif. Intell. Res., 2020)

A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers. - Roberto Javier Asín Achá; Rodrigo López; Sebastián Hagedorn; Jorge A. Baier (SOCS, 2021)

Exploiting Learned Policies in Focal Search. - Pablo Araneda; Matias Greco; Jorge A. Baier (SOCS, 2021)

A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding. - Rodrigo N. Gómez; Carlos Hernández 003; Jorge A. Baier (IEEE Access, 2021)

A MOOC-based flipped experience: Scaffolding SRL strategies improves learners' time management and engagement. - Mar Pérez-Sanagustín; Diego Sapunar-Opazo; Ronald Pérez-Álvarez; Isabel Hilliger; Anis Bey; Jorge Maldonado-Mahauad; Jorge A. Baier (Comput. Appl. Eng. Educ., 2021)

Subset Approximation of Pareto Regions with Bi-objective A. - Nicolás Rivera; Jorge A. Baier; Carlos Hernández 003 (AAAI, 2022)

Towards Effective Blended Learning Through the Eyes of Students: A Survey Study in Transition into Face-to-Face Education. - Gabriel Astudillo; Isabel Hilliger; Fernanda Rodríguez; Jorge A. Baier (EC-TEL, 2022)

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

Subset Approximation of Pareto Regions with Bi-Objective A* (Extended Abstract). - Jorge A. Baier; Nicolás Rivera; Carlos Hernández Ulloa (SOCS, 2022)

Focal Discrepancy Search for Learned Heuristics (Extended Abstract). - Matias Greco; Pablo Araneda; Jorge A. Baier (SOCS, 2022)

Avoiding Errors in Learned Heuristics in Bounded-Suboptimal Search. - Matias Greco; Jorge A. Baier (SOCS, 2022)

K-Focal Search for Slow Learned Heuristics (Extended Abstract). - Matias Greco; Jorge Toro; Carlos Hernández Ulloa; Jorge A. Baier (SOCS, 2022)

Knowledge-based programs as building blocks for planning. - Jorge A. Baier; Sheila A. McIlraith (Artif. Intell., 2022)

Scaling up ML-based Black-box Planning with Partial STRIPS Models. - Matias Greco; Álvaro Torralba; Jorge A. Baier; Héctor Palacios (CoRR, 2022)

Multi-Agent Path Finding: A New Boolean Encoding. - Roberto Javier Asín Achá; Rodrigo López; Sebastián Hagedorn; Jorge A. Baier (J. Artif. Intell. Res., 2022)

Simple and efficient bi-objective search algorithms via fast dominance checks. - Carlos Hernández 003; William Yeoh 001; Jorge A. Baier; Han Zhang 018; Luis Suazo; Sven Koenig; Oren Salzman (Artif. Intell., 2023)

Using Automated Planning to Provide Feedback during Collaborative Problem-Solving. - Matías Rojas; Cristian Sáez; Jorge A. Baier; Miguel Nussbaum; Orlando Guerrero; María Fernanda Rodriguez (Int. J. Artif. Intell. Educ., 2023)

How Could Be Used Student Comments for Delivering Feedback to Instructors in Higher Education? - Gabriel Astudillo; Isabel Hilliger; Jorge A. Baier (AIED Companion (2), 2024)

Finding a Small, Diverse Subset of the Pareto Solution Set in Bi-Objective Search (Extended Abstract). - Pablo Araneda; Carlos Hernández Ulloa; Nicolás Rivera; Jorge A. Baier (SOCS, 2024)

A New Upper Bound for the Makespan of Cost-Optimal Solutions for Multi-Agent Path Finding (Extended Abstract). - Rodrigo López; Roberto Javier Asín Achá; Jorge A. Baier (SOCS, 2024)

K-Focal Search for Slow Learned Heuristics. - Matias Greco; Jorge Toro; Carlos Hernández 003; Jorge A. Baier (IEEE Access, 2024)

A Theoretical Bound Which Improves the Performance of Compilation-Based Multi-Agent Path Finding. - Rodrigo López; Roberto Javier Asín Achá; Jorge A. Baier (IEEE Access, 2025)