generated by bibbase.org
  2015 (2)
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals. Torres, J.; and Baier, J. A. In 2015.
Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals [pdf]Paper   bibtex  
Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain. Hernández, C.; As\́in, R. J.; and Baier, J. A. In pages 1158-1164, 2015.
Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain [pdf]Paper   bibtex  
  2014 (6)
Time-Bounded Best-First Search. Hernández, C.; As\́in, R. J.; and Baier, J. A. In 2014.
Time-Bounded Best-First Search [pdf]Paper   bibtex  
Toward a Search Strategy for Anytime Search in Linear Space using Depth-First Branch and Bound. Hernández, C.; and Baier, J. A. In 2014. To appear
Toward a Search Strategy for Anytime Search in Linear Space using Depth-First Branch and Bound [pdf]Paper   bibtex   20 downloads  
Reconnection with the Ideal Tree: A New Approach to Real-Time Search. Rivera, N.; Illanes, L.; Baier, J. A.; and Hernández, C. , 50: 235-264. 2014.
Reconnection with the Ideal Tree: A New Approach to Real-Time Search [link]Link   bibtex   17 downloads  
Real-Time Pathfinding in Unknown Terrain via Reconnection with an Ideal Tree. Rivera, N.; Illanes, L.; and Baier, J. A. In Proceedings of the 14th Ibero-American Conference on Artificial Intelligence (IBERAMIA), Santiago, Chile, November 2014. To appear
Real-Time Pathfinding in Unknown Terrain via Reconnection with an Ideal Tree [pdf]Paper   bibtex   16 downloads  
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals. Baier, J. A.; Mombourquette, B.; and McIlraith, S. A. In 2014.
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals [pdf]Paper   bibtex   63 downloads  
Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain. Hernández, C.; Baier, J. A.; and As\́in, R. In 2014.
Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain [pdf]Paper   bibtex  
  2013 (4)
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge. Davis-Mendelow, S.; Baier, J. A.; and McIlraith, S. In pages 209-216, 2013.
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge [pdf]Paper   bibtex   35 downloads  
Reconnecting with the Ideal Tree: An Alternative to Heuristic Learning in Real-Time Search. Rivera, N.; Illanes, L.; Baier, J. A.; and Hernández, C. In pages 158-166, 2013. Best Student Paper Award.
Reconnecting with the Ideal Tree: An Alternative to Heuristic Learning in Real-Time Search [pdf]Paper   bibtex   5 downloads  
Weighted Real-Time Heuristic Search. Rivera, N.; Baier, J. A.; and Hernández, C. In pages 579-586, 2013.
Weighted Real-Time Heuristic Search [pdf]Paper   bibtex   1 download  
Moving Target Search with Compressed Path Databases. Botea, A.; Baier, J. A.; Harabor, D.; and Hernández, C. In pages 288-292, Rome, Italy, 2013.
Moving Target Search with Compressed Path Databases [pdf]Paper   bibtex   4 downloads  
  2012 (3)
Position Paper: Incremental Search Algorithms Considered Poorly Understood. Hernández, C.; Baier, J. A.; Uras, T.; and Koenig, S. In 2012.
Position Paper: Incremental Search Algorithms Considered Poorly Understood [link]Link   bibtex   8 downloads  
Time-Bounded Adaptive A*. Hernández, C.; and Jorge A. Baier, T. U. In pages 997-1006, 2012.
Time-Bounded Adaptive A* [pdf]Paper   bibtex   1 download  
Avoiding and Escaping Depressions in Real-Time Heuristic Search. Hernández, C.; and Baier, J. A. , 43: 523-570. 2012.
Avoiding and Escaping Depressions in Real-Time Heuristic Search [link]Link   bibtex   8 downloads  
  2011 (6)
Real-Time Adaptive A* with Depression Avoidance. Hernández, C.; and Baier, J. A. In pages 146-151, 2011.
Real-Time Adaptive A* with Depression Avoidance [link]Link   bibtex   5 downloads  
Planning with rich goals, preferences and procedural operators via reformulation. Baier, J. A. , 24(4): 347-348. 2011.
Planning with rich goals, preferences and procedural operators via reformulation [link]Link   bibtex   2 downloads  
Preferred Explanations: Theory and Generation via Planning. Sohrabi, S.; Baier, J. A.; and McIlraith, S. A. In Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI-11), pages 261-267, San Francisco, August 2011.
Preferred Explanations: Theory and Generation via Planning [pdf]Paper   bibtex   42 downloads  
Real-Time Heuristic Search with Depression Avoidance. Hernández, C.; and Baier, J. A. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), Barcelona, Spain, July 2011.
Real-Time Heuristic Search with Depression Avoidance [pdf]Paper   bibtex  
Fast Subgoaling for Pathfinding via Real-Time Search. Hernández, C.; and Baier, J. A. In Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS-11), pages 327-330, Freiburg, Germany, June 2011.
Fast Subgoaling for Pathfinding via Real-Time Search [pdf]Paper   bibtex   3 downloads  
Escaping Heuristic Depressions in Real-Time Heuristic Search (Extended Abstract). Hernández, C.; ; and Baier, J. A. In Proceedings of the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-11), Taipei, Taiwan, May 2011.
Escaping Heuristic Depressions in Real-Time Heuristic Search (Extended Abstract) [pdf]Paper   bibtex  
  2010 (3)
Effective search techniques for non-classical planning via reformulation. Baier, J. A. Ph.D. Thesis, University of Toronto, 2010.
Effective search techniques for non-classical planning via reformulation [pdf]Paper   bibtex   11 downloads  
Escaping Heuristic Hollows in Real-Time Search without Learning. Hernández, C.; ; and Baier, J. A. In Proceedings of the 29th Chilean Conference of the Computer Science Society (SCCC-10), Antofagasta, Chile, November 2010.
Escaping Heuristic Hollows in Real-Time Search without Learning [pdf]Paper   bibtex  
Diagnosis as Planning Revisited. Sohrabi, S.; Baier, J. A.; and McIlraith, S. A. In Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10), pages 26-36, Toronto, Canada, May 2010. An abridged version of this paper appears in International Workshop on Principles of Diagnosis (DX-10).
Diagnosis as Planning Revisited [pdf]Paper   bibtex   54 downloads  
  2009 (4)
Improving Planning Performance Using Low-Conflict Relaxed Plans. Baier, J. A.; and Botea, A. In 19th International Conference on Automated Planning and Scheduling, Thessaloniki, Greece, 2009.
Improving Planning Performance Using Low-Conflict Relaxed Plans [pdf]Paper   bibtex   3 downloads  
Exploiting N-gram Analysis to Predict Operator Sequences. Muise, C.; McIlraith, S.; Baier, J. A.; and Reimer, M. In 19th International Conference on Automated Planning and Scheduling, Thessaloniki, Greece, 2009.
Exploiting N-gram Analysis to Predict Operator Sequences [pdf]Paper   bibtex   12 downloads  
HTN Planning with Preferences. Sohrabi, S.; Baier, J.; and McIlraith, S. A. In Twenty First International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California, 2009.
HTN Planning with Preferences [pdf]Paper   bibtex   39 downloads  
A Heuristic Search Approach to Planning with Temporally Extended Preferences. Baier, J. A.; Bacchus, F.; and McIlraith, S. A. Artificial Intelligence, 173(5-6): 593-618. 2009.
A Heuristic Search Approach to Planning with Temporally Extended Preferences [pdf]Paper   bibtex   18 downloads  
  2008 (4)
Planning with Preferences. Baier, J. A.; and McIlraith, S. A. AI Magazine, 29(4): 25-36. 2008.
Planning with Preferences [pdf]Paper   bibtex   18 downloads  
HTN Planning with Quantitative Preferences via Heuristic Search. Sohrabi, S.; Baier, J.; and McIlraith, S. A. In Eighteeth International Conference on Automated Planning and Scheduling (ICAPS) Workshop on Oversubscribed Planning and Scheduling, Sydney, Australia, 2008.
HTN Planning with Quantitative Preferences via Heuristic Search [pdf]Paper   bibtex   6 downloads  
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. Baier, J. A.; Fritz, C.; Bienvenu, M.; and McIlraith, S. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), Nectar Track, Chicago, Illinois, USA, July 13–17 2008.
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners [pdf]Paper   bibtex   17 downloads  
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. Fritz, C.; Baier, J. A.; and McIlraith, S. A. In Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning, Sydney, Australia, September 16–19 2008.
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond [pdf]Paper   bibtex   10 downloads  
  2007 (4)
Improving Relaxed-Plan-Based Heuristics. Baier, J. A. In Proceedings of the First ICAPS Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges, Providence, Rhode Island, September 22 2007.
Improving Relaxed-Plan-Based Heuristics [pdf]Paper   bibtex   2 downloads  
A Heuristic Search Approach to Planning with Temporally Extended Preferences. Baier, J.; Bacchus, F.; and McIlraith, S. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), pages 1808-1815, Hyderabad, India, January 2007.
A Heuristic Search Approach to Planning with Temporally Extended Preferences [pdf]Paper   bibtex   7 downloads  
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. Baier, J. A.; Fritz, C.; and McIlraith, S. A. In Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07), Providence, Rhode Island, September 22 - 26 2007.
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners [pdf]Paper   bibtex   16 downloads  
On Domain-Independent Heuristics for Planning with Qualitative Preferences. Baier, J. A.; and McIlraith, S. In Proceedings of the 7th IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-07), Hyderabad, India, January 2007. A summarized version of this paper appears at the 8th International Symposium on Logical Formalizations of Commonsense Reasoning.. These are the NRAC-07 talk slides.
On Domain-Independent Heuristics for Planning with Qualitative Preferences [pdf]Paper   bibtex   1 download  
  2006 (4)
Planning with Temporally Extended Preferences by Heuristic Search. Baier, J.; Hussell, J.; Bacchus, F.; and McIlraith, S. In Proceedings of the ICAPS06 Workshop on Planning with Preferences, pages 7-10, Lake District, UK, June 2006. A version of this paper also appeared in the Fifth International Planning Competition (IPC-5) Booklet.
Planning with Temporally Extended Preferences by Heuristic Search [pdf]Paper   bibtex   1 download  
Planning with First-Order Temporally Extended Goals Using Heuristic Search. Baier, J.; and McIlraith, S. In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06), pages 788-795, Boston, MA, July 2006.
Planning with First-Order Temporally Extended Goals Using Heuristic Search [pdf]Paper   bibtex   13 downloads  
Planning with Temporally Extended Goals Using Heuristic Search. Baier, J.; and McIlraith, S. In Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS06), pages 342-345, Lake District, UK, June 2006.
Planning with Temporally Extended Goals Using Heuristic Search [pdf]Paper   bibtex   14 downloads  
On Planning with Programs that Sense. Baier, J.; and McIlraith, S. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06), pages 492-502, Lake District, UK, June 2006.
On Planning with Programs that Sense [pdf]Paper   bibtex   6 downloads  
  2005 (1)
Planning with Programs that Sense. Baier, J.; and McIlraith, S. In Proceedings of the 6th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-05), pages 7-14, 2005. An expanded version of this work appeared in KR-06.
Planning with Programs that Sense [pdf]Paper   bibtex   3 downloads  
  2004 (1)
Semantic Search in the WWW Supported by a Cognitive Model. Wechsler, K.; Baier, J. A.; Nussbaum, M.; and Baeza-Yates, R. In Proceedings of the 5th International Conference on Advances on Web-age Information Management, of Lecture Notes in Computer Science (LNCS), pages 179-186, Dalian, China, July 15-17 2004. Springer-Verlag
Semantic Search in the WWW Supported by a Cognitive Model [pdf]Paper   bibtex   1 download  
  2003 (1)
Planning under Uncertainty as Golog Programs. Baier, J. A.; and Pinto, J. A. Journal of Experimental and Theoretical Artificial Intelligence, 15(6): 383-405. November 2003.
Planning under Uncertainty as Golog Programs [pdf]Paper   bibtex   1 download  
  2002 (1)
On Procedure Recognition in the Situation Calculus. Baier, J. A. In XII International Conference of the Chilean Computer Science Society (SCCC-02), pages 33-42, Copiapo, Chile, November 2002.
On Procedure Recognition in the Situation Calculus [pdf]Paper   bibtex   1 download  
  1999 (2)
Marco Teórico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida. Baier, J. A.; González, J. M.; and Guzmán, R. In Proceedings of the 3er Workshop Chileno en Sistemas Distribuidos, pages 336-345, Talca, Chile, November 1999.
Marco Teórico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida [pdf]Paper   bibtex   1 download  
Integrating True Concurrency into the Robot Programming Language Golog. Baier, J. A.; and Pinto, J. A. In Proceedings of the 9th International Conference of the Chilean Computer Society (SCCC-99), pages 179-186, Talca, Chile, November 1999.
Integrating True Concurrency into the Robot Programming Language Golog [pdf]Paper   bibtex   1 download  
  1998 (1)
Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract). Baier, J. A. In ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications, Saarbruecken, Germany, August 1998.
Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract) [pdf]Paper   bibtex   1 download