Sotabase

Career

· Member, University of Toronto Robotics Institute2025–

Publications (100)

A Heuristic Search Approach to Planning with Temporally Extended Preferences
International Joint Conference on Artificial Intelligence · 2007
178
cited
Planning with First-Order Temporally Extended Goals using Heuristic Search
AAAI Conference on Artificial Intelligence · 2006
143
cited
HTN Planning with Preferences
International Joint Conference on Artificial Intelligence · 2009
132
cited
Planning with Preferences
The AI Magazine · 2008
109
cited
Preferred Explanations: Theory and Generation via Planning
AAAI Conference on Artificial Intelligence · 2011
102
cited
Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces
AAAI Conference on Artificial Intelligence · 2017
93
cited
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners
International Conference on Automated Planning and Scheduling · 2007
80
cited
Finite LTL Synthesis as Planning
International Conference on Automated Planning and Scheduling · 2018
71
cited
Planning with Temporally Extended Goals Using Heuristic Search
International Conference on Automated Planning and Scheduling · 2006
66
cited
Diagnosis as Planning Revisited
International Conference on Principles of Knowledge Representation and Reasoning · 2010
62
cited
A Simple and Fast Bi-Objective Search Algorithm
International Conference on Automated Planning and Scheduling · 2020
49
cited
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals
International Joint Conference on Artificial Intelligence · 2015
49
cited
Avoiding and Escaping Depressions in Real-Time Heuristic Search
Journal of Artificial Intelligence Research · 2014
48
cited
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners
AAAI Conference on Artificial Intelligence · 2008
46
cited
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond
International Conference on Principles of Knowledge Representation and Reasoning · 2008
44
cited
Simple and efficient bi-objective search algorithms via fast dominance checks
Artificial Intelligence · 2022
30
cited
How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
International Joint Conference on Artificial Intelligence · 2017
25
cited
Improving Planning Performance Using Low-Conflict Relaxed Plans
International Conference on Automated Planning and Scheduling · 2009
20
cited
Incorporating weights into real-time heuristic search
Artificial Intelligence · 2015
19
cited
Grid Pathfinding on the 2k Neighborhoods
AAAI Conference on Artificial Intelligence · 2017
18
cited
Sotabase
Jorge Baier | Researcher Profile | Sotabase | Sotabase