Jorge A. Baier

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 52

Top Topics

Temporally Extended Goals

Situation Calculus

Heuristic Search

Extended Abstract

Top Venues

Publications

Matias Greco, Jorge Toro, Carlos Hernández, Jorge A. Baier
K-Focal Search for Slow Learned Heuristics. IEEE Access 12 (2024)
Rodrigo López, Roberto Javier Asín Achá, Jorge A. Baier
A New Upper Bound for the Makespan of Cost-Optimal Solutions for Multi-Agent Path Finding (Extended Abstract). SOCS (2024)
Gabriel Astudillo, Isabel Hilliger, Jorge A. Baier
How Could Be Used Student Comments for Delivering Feedback to Instructors in Higher Education? AIED Companion (2) (2024)
Pablo Araneda, Carlos Hernández Ulloa, Nicolás Rivera, Jorge A. Baier
Finding a Small, Diverse Subset of the Pareto Solution Set in Bi-Objective Search (Extended Abstract). SOCS (2024)
Carlos Hernández, William Yeoh, Jorge A. Baier, Han Zhang, Luis Suazo, Sven Koenig, Oren Salzman
Simple and efficient bi-objective search algorithms via fast dominance checks. Artif. Intell. 314 (2023)
Matías Rojas, Cristian Sáez, Jorge A. Baier, Miguel Nussbaum, Orlando Guerrero, María Fernanda Rodriguez
Using Automated Planning to Provide Feedback during Collaborative Problem-Solving. Int. J. Artif. Intell. Educ. 33 (4) (2023)
Matias Greco, Álvaro Torralba, Jorge A. Baier, Héctor Palacios
Scaling up ML-based Black-box Planning with Partial STRIPS Models. CoRR (2022)
Jorge A. Baier, Sheila A. McIlraith
Knowledge-based programs as building blocks for planning. Artif. Intell. 303 (2022)
Matias Greco, Pablo Araneda, Jorge A. Baier
Focal Discrepancy Search for Learned Heuristics (Extended Abstract). SOCS (2022)
Matias Greco, Jorge Toro, Carlos Hernández Ulloa, Jorge A. Baier
K-Focal Search for Slow Learned Heuristics (Extended Abstract). SOCS (2022)
Roberto Javier Asín Achá, Rodrigo López, Sebastián Hagedorn, Jorge A. Baier
Multi-Agent Path Finding: A New Boolean Encoding. J. Artif. Intell. Res. 75 (2022)
Jaime Middleton, Rodrigo Toro Icarte, Jorge A. Baier
Real-Time Heuristic Search with LTLf Goals. IJCAI (2022)
Nicolás Rivera, Jorge A. Baier, Carlos Hernández
Subset Approximation of Pareto Regions with Bi-objective A. AAAI (2022)
Matias Greco, Jorge A. Baier
Avoiding Errors in Learned Heuristics in Bounded-Suboptimal Search. SOCS (2022)
Gabriel Astudillo, Isabel Hilliger, Fernanda Rodríguez, Jorge A. Baier
Towards Effective Blended Learning Through the Eyes of Students: A Survey Study in Transition into Face-to-Face Education. EC-TEL (2022)
Jorge A. Baier, Nicolás Rivera, Carlos Hernández Ulloa
Subset Approximation of Pareto Regions with Bi-Objective A* (Extended Abstract). SOCS (2022)
Mar Pérez-Sanagustín, Diego Sapunar-Opazo, Ronald Pérez-Álvarez, Isabel Hilliger, Anis Bey, Jorge Maldonado-Mahauad, Jorge A. Baier
A MOOC-based flipped experience: Scaffolding SRL strategies improves learners' time management and engagement. Comput. Appl. Eng. Educ. 29 (4) (2021)
Pablo Araneda, Matias Greco, Jorge A. Baier
Exploiting Learned Policies in Focal Search. CoRR (2021)
Pablo Araneda, Matias Greco, Jorge A. Baier
Exploiting Learned Policies in Focal Search. SOCS (2021)
Rodrigo N. Gómez, Carlos Hernández, Jorge A. Baier
A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding. IEEE Access 9 (2021)
Roberto Javier Asín Achá, Rodrigo López, Sebastián Hagedorn, Jorge A. Baier
A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers. SOCS (2021)
Jorge Munoz-Gama, Raul Alvarez-Esteban, José Montalva-Carmona, Jorge A. Baier
FAIS: A System for Effectively Learning Students Names and Faces in Massive Courses. SCCC (2020)
Carlos Hernández Ulloa, William Yeoh, Jorge A. Baier, Luis Suazo, Han Zhang, Sven Koenig
A Simple and Fast Bi-Objective Search Algorithm. SOCS (2020)
Isabel Hilliger, Tinne De Laet, Valeria Henríquez, Julio Guerra, Margarita Ortiz-Rojas, Miguel Ángel Zúñiga Prieto, Jorge A. Baier, Mar Pérez-Sanagustín
For Learners, with Learners: Identifying Indicators for an Academic Advising Dashboard for Students. EC-TEL (2020)
Isabel Hilliger, Constance Fleet, Constanza Melian, Jorge A. Baier, Mar Pérez-Sanagustín
Offering an Entrepreneurship Course to All Engineering Students: Self-efficacy Gains and Learning Benefits. FIE (2020)
Carlos Hernández Ulloa, Jorge A. Baier, Roberto Javier Asín Achá
Multipath Adaptive A*: Factors That Influence Performance in Goal-Directed Navigation in Unknown Terrain. IEEE Access 8 (2020)
Rodrigo N. Gómez, Carlos Hernández, Jorge A. Baier
Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming. AAAI (2020)
Carlos Hernández Ulloa, William Yeoh, Jorge A. Baier, Han Zhang, Luis Suazo, Sven Koenig
A Simple and Fast Bi-Objective Search Algorithm. ICAPS (2020)
Nicolás Rivera, Carlos Hernández, Nicolás Hormazábal, Jorge A. Baier
The 2^k Neighborhoods for Grid Path Planning. J. Artif. Intell. Res. 67 (2020)
Carlos Hernández Ulloa, Jorge A. Baier, William Yeoh, Vadim Bulitko, Sven Koenig
A Learning-Based Framework for Memory-Bounded Heuristic Search: First Results. SOCS (2019)
Rodrigo N. Gómez, Carlos Hernández, Jorge A. Baier
Compiling Cost-Optimal Multi-Agent Pathfinding to ASP. SOCS (2019)
Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith
Finite LTL Synthesis as Planning. ICAPS (2018)
Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith
Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Canadian Conference on AI (2018)
Benjamín Kramm, Nicolas Rivera, Carlos Hernández, Jorge A. Baier
Grid Path Planning. SOCS (2018)
Franco Muñoz, Miguel Fadic, Carlos Hernández, Jorge A. Baier
A Neural Network for Decision Making in Real-Time Heuristic Search. SOCS (2018)
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña
On the Progression of Situation Calculus Universal Theories with Constants. KR (2018)
Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
LTL Realizability via Safety and Reachability Games. IJCAI (2018)
Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
SynKit: LTL Synthesis as a Service. IJCAI (2018)
Nicolas Rivera, Carlos Hernández, Jorge A. Baier
Neighborhoods. AAAI (2017)
Nicolás Hormazábal, Antonio Díaz, Carlos Hernández, Jorge A. Baier
Neighborhoods. SOCS (2017)
Jorge A. Baier, Dietrich Daroch, Juan L. Reutter, Domagoj Vrgoc
Evaluating Navigational RDF Queries over the Web. HT (2017)
Rodrigo Toro Icarte, Jorge A. Baier, Cristian Ruz, Alvaro Soto
How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval. CoRR (2017)
Jorge A. Baier, Dietrich Daroch, Juan L. Reutter, Domagoj Vrgoc
Evaluating navigational RDF queries over the Web. CoRR (2017)
Rodrigo Toro Icarte, Jorge A. Baier, Cristian Ruz, Alvaro Soto
How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval. IJCAI (2017)
Carlos Hernández, Jorge A. Baier
Improving MPGAA* for Extended Visibility Ranges. ICAPS (2017)
Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. AAAI (2017)
Carlos Hernández, Adi Botea, Jorge A. Baier, Vadim Bulitko
Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads. IJCAI (2017)
Carlos Hernández, Jorge A. Baier, Roberto Asín
Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs. J. Artif. Intell. Res. 56 (2016)
Pamela Calvo, Jorge A. Baier
Assumption-Based Planning with Sensing via Contingent Planning. KnowProS@IJCAI (2016)
Jorge A. Baier, Dietrich Daroch, Juan L. Reutter, Domagoj Vrgoc
Property Paths over Linked Data: Can It Be Done and How To Start? COLD@ISWC (2016)
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña
Incomplete Causal Laws in the Situation Calculus Using Free Fluents. IJCAI (2016)
Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith
Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). KnowProS@IJCAI (2016)
Jorge Torres, Jorge A. Baier
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals. IJCAI (2015)
Nicolas Rivera, Jorge A. Baier, Carlos Hernández
Incorporating weights into real-time heuristic search. Artif. Intell. 225 (2015)
Carlos Hernández, Tansel Uras, Sven Koenig, Jorge A. Baier, Xiaoxun Sun, Pedro Meseguer
Reusing cost-minimal paths for goal-directed navigation in partially known terrains. Auton. Agents Multi Agent Syst. 29 (5) (2015)
Jorge A. Baier, Adi Botea, Daniel Harabor, Carlos Hernández
Fast Algorithm for Catching a Prey Quickly in Known and Partially Known Game Maps. IEEE Trans. Comput. Intell. AI Games 7 (2) (2015)
Carlos Hernández, Roberto Asín, Jorge A. Baier
Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain. AAAI (2015)
Carlos Hernández, Jorge A. Baier
Avoiding and Escaping Depressions in Real-Time Heuristic Search. CoRR (2014)
Nicolas Rivera, Leon Illanes, Jorge A. Baier, Carlos Hernández
Reconnection with the Ideal Tree: A New Approach to Real-Time Search. J. Artif. Intell. Res. 50 (2014)
Carlos Hernández, Jorge A. Baier, Roberto Asín
Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain. ICAPS (2014)
Carlos Hernández, Jorge A. Baier
Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound. SOCS (2014)
Nicolas Rivera, Leon Illanes, Jorge A. Baier
Real-Time Pathfinding in Unknown Terrain via Reconnection with an Ideal Tree. IBERAMIA (2014)
Carlos Hernández, Roberto Asín, Jorge A. Baier
Time-Bounded Best-First Search. SOCS (2014)
Jorge A. Baier, Brent Mombourquette, Sheila A. McIlraith
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. KR (2014)
Sammy Davis-Mendelow, Jorge A. Baier, Sheila A. McIlraith
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge. AAAI (2013)
Nicolas Rivera, Leon Illanes, Jorge A. Baier, Carlos Hernández
Reconnecting with the Ideal Tree: An Alternative to Heuristic Learning in Real-Time Search. SOCS (2013)
Adi Botea, Jorge A. Baier, Daniel Harabor, Carlos Hernández
Moving Target Search with Compressed Path Databases. ICAPS (2013)
Nicolas Rivera, Jorge A. Baier, Carlos Hernández
Weighted real-time heuristic search. AAMAS (2013)
Carlos Hernández, Jorge A. Baier, Tansel Uras, Sven Koenig
Position Paper: Incremental Search Algorithms Considered Poorly Understood. SOCS (2012)
Carlos Hernández, Jorge A. Baier, Tansel Uras, Sven Koenig
Time-bounded adaptive A. AAMAS (2012)
Carlos Hernández, Jorge A. Baier, Tansel Uras, Sven Koenig
Paper Summary: Time-Bounded Adaptive A. SOCS (2012)
Carlos Hernández, Jorge A. Baier
Avoiding and Escaping Depressions in Real-Time Heuristic Search. J. Artif. Intell. Res. 43 (2012)
Vikas Agrawal, Jorge A. Baier, Kostas E. Bekris, Yiling Chen, Artur S. d'Avila Garcez, Pascal Hitzler, Patrik Haslum, Dietmar Jannach, Edith Law, Freddy Lécué, Luís C. Lamb, Cynthia Matuszek, Héctor Palacios, Biplav Srivastava, Lokendra Shastri, Nathan R. Sturtevant, Roni Stern, Stefanie Tellex, Stavros Vassos
Reports of the AAAI 2012 Conference Workshops. AI Mag. 33 (4) (2012)
Carlos Hernández, Jorge A. Baier
Real-Time Heuristic Search with Depression Avoidance. IJCAI (2011)
Carlos Hernández, Jorge A. Baier
Escaping heuristic depressions in real-time heuristic search. AAMAS (2011)
Carlos Hernández, Jorge A. Baier
Fast Subgoaling for Pathfinding via Real-Time Search. ICAPS (2011)
Carlos Hernández, Jorge A. Baier
Real-Time Adaptive A* with Depression Avoidance. SOCS (2011)
Jorge A. Baier
Planning with rich goals, preferences and procedural operators via reformulation. AI Commun. 24 (4) (2011)
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
Preferred Explanations: Theory and Generation via Planning. AAAI (2011)
Carlos Hernández, Jorge A. Baier
Real-Time Adaptive A* with Depression Avoidance. AIIDE (2011)
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
Diagnosis as Planning Revisited. KR (2010)
Carlos Hernández, Jorge A. Baier
Escaping Heuristic Hollows in Real-Time Search without Learning. SCCC (2010)
Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer
Exploiting N-Gram Analysis to Predict Operator Sequences. ICAPS (2009)
Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith
A heuristic search approach to planning with temporally extended preferences. Artif. Intell. 173 (5-6) (2009)
Jorge A. Baier, Adi Botea
Improving Planning Performance Using Low-Conflict Relaxed Plans. ICAPS (2009)
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
HTN Planning with Preferences. IJCAI (2009)
Christian Fritz, Jorge A. Baier, Sheila A. McIlraith
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. KR (2008)
Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. AAAI (2008)
Jorge A. Baier, Sheila A. McIlraith
Planning with Preferences. AI Mag. 29 (4) (2008)
Jorge A. Baier, Sheila A. McIlraith
On Domain-Independent Heuristics for Planning with Qualitative Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Jorge A. Baier, Christian Fritz, Sheila A. McIlraith
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. ICAPS (2007)
Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith
A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI (2007)
Jorge A. Baier, Sheila A. McIlraith
Planning with First-Order Temporally Extended Goals using Heuristic Search. AAAI (2006)
Jorge A. Baier, Sheila A. McIlraith
On Planning with Programs that Sense. KR (2006)
Jorge A. Baier, Sheila A. McIlraith
Planning with Temporally Extended Goals Using Heuristic Search. ICAPS (2006)
Katia Wechsler, Jorge A. Baier, Miguel Nussbaum, Ricardo A. Baeza-Yates
Semantic Search in the WWW Supported by a Cognitive Model. WAIM (2004)
Jorge A. Baier, Javier Pinto
Planning under uncertainty as Golog programs. J. Exp. Theor. Artif. Intell. 15 (4) (2003)
Jorge A. Baier
On Procedure Recognition in the Situation Calculus. SCCC (2002)
Jorge A. Baier, Javier Pinto
Integrating True Concurrency into the Robot Programming Language. SCCC (1999)