@inproceedings{TorresB15,
  author    = {Jorge Torres and Jorge A. Baier},
  title     = {Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals},
  booktitle = IJCAI15,
  year      = {2015},
  url      = {http://www.cs.toronto.edu/~jabaier/publications/TorresB15.pdf}
}

@inproceedings{HernandezAB15,
  author    = {Carlos Hern{\'a}ndez and Roberto Javier As{\'\i}n and Jorge A. Baier},
  title     = {Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain},
  booktitle = AAAI15,
  year      = {2015},
  pages     = {1158-1164},
  url      = {http://www.cs.toronto.edu/~jabaier/publications/HernandezAB15.pdf}
}

@inproceedings{HernandezB14,
  author    = {Carlos Hern{\'a}ndez and Roberto Javier As{\'\i}n and Jorge A. Baier},
  title     = {Time-Bounded Best-First Search},
  booktitle = SOCS14,
  year      = {2014},
  url      = {http://www.cs.toronto.edu/~jabaier/publications/HernandezAB14.pdf},
}

@inproceedings{HernandezAB14,
  author    = {Carlos Hern{\'a}ndez and Jorge A. Baier},
  title     = {Toward a Search Strategy for Anytime Search in Linear Space using Depth-First Branch and Bound},
  booktitle = SOCS14,
  year      = {2014},
  url      = {http://www.cs.toronto.edu/~jabaier/publications/HernandezB14.pdf},
  note   = {To appear}
}

@article{HernandezIBH14,
  author    = {Nicol{\'a}s Rivera and Le{\'o}n Illanes and Jorge A. Baier and Carlos Hern{\'a}ndez},
  title     = {Reconnection with the Ideal Tree: A New Approach to Real-Time Search},
  journal   = JAIR,
  volume    = {50},
  year      = {2014},
  pages     = {235-264},
  ee        = {http://www.jair.org/papers/paper4292.html}
}

@inproceedings{RiveraIB14,
  author    = {Nicol{\'a}s Rivera and Le{\'o}n Illanes and Jorge A. Baier},
  title     = {Real-Time Pathfinding in Unknown Terrain via Reconnection with an Ideal Tree},
  booktitle = {Proceedings of the 14th Ibero-American Conference on Artificial Intelligence (IBERAMIA)},
  address   = {Santiago, Chile},
  month     = {November},
  note      = {To appear},
  year      = {2014},
  url      = {http://www.cs.toronto.edu/~jabaier/publications/RiveraIB14.pdf}
}

@inproceedings{BaierMM14,
  author    = {Jorge A. Baier and Brent Mombourquette and Sheila A. McIlraith},
  title     = {Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals},
  booktitle = KR14,
  year      = {2014},
  url      = {http://www.cs.toronto.edu/~jabaier/publications/BaierMM14.pdf}
}

@inproceedings{HernandezBA14,
  author    = {Carlos Hern{\'a}ndez and Jorge A. Baier and Roberto As{\'\i}n},
  title     = {Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain},
  booktitle = ICAPS14,
  year      = {2014},
  url      = {http://www.cs.toronto.edu/~jabaier/publications/HernandezBA14.pdf}
}

@inproceedings{DavisMendelowBM13,
  author    = {Sammy Davis-Mendelow and
               Jorge A. Baier and
               Sheila McIlraith},
  title     = {Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge},
  booktitle = AAAI13,
  pages     = {209-216},
  year      = {2013},
  url      = {http://www.cs.toronto.edu/~jabaier/publications/DavisMendelowBM13.pdf},
}

@inproceedings{RiveraIBH13,
  author    = {Nicolas Rivera and
               Leon Illanes and 
               Jorge A. Baier and
               Carlos Hern{\'a}ndez},
  title     = {Reconnecting with the Ideal Tree: An Alternative to
Heuristic Learning in Real-Time Search},
  booktitle = SOCS13,
  pages= {158-166},
  year      = {2013},
  url = {http://www.cs.toronto.edu/~jabaier/publications/RiveraIBH13.pdf},
  note   = {<b>Best Student Paper Award.</b>}
}

@inproceedings{RiveraBH13,
  author    = {Nicolas Rivera and
               Jorge A. Baier and
               Carlos Hern{\'a}ndez},
  title     = {Weighted Real-Time Heuristic Search},
  booktitle = AAMAS13,
  year      = {2013},
  url = {http://www.cs.toronto.edu/~jabaier/publications/RiveraBH13.pdf},
  pages  = {579-586}
}

@inproceedings{BoteaBHH13,
  author = {Adi Botea and Jorge A. Baier and Daniel Harabor and Carlos Hern{\'a}ndez},
  title = {Moving Target Search with Compressed Path Databases},
  booktitle = ICAPS13,
  address = {Rome, Italy},
  url = {http://www.cs.toronto.edu/~jabaier/publications/BoteaBHH13.pdf},
  pages = {288-292},
  year = {2013}
}

@inproceedings{DBLP:conf/socs/HernandezBUK12,
  author    = {Carlos Hern{\'a}ndez and
               Jorge A. Baier and
               Tansel Uras and
               Sven Koenig},
  title     = {Position Paper: Incremental Search Algorithms Considered
               Poorly Understood},
  booktitle = SOCS12,
  year      = {2012},
  ee        = {http://www.aaai.org/ocs/index.php/SOCS/SOCS12/paper/view/5414},
  crossref  = {DBLP:conf/socs/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{HernandezBUK12,
  author    = {Carlos Hern{\'a}ndez and
               Jorge A. Baier, Tansel Uras, Sven Koenig},
  title     = {{Time-Bounded Adaptive A*}},
  booktitle   = AAMAS12,
  pages     = {997-1006},
  url={http://www.cs.toronto.edu/~jabaier/publications/HernandezBUK12.pdf},
  year      = {2012}
}

@article{HernandezB12,
  author    = {Carlos Hern{\'a}ndez and
               Jorge A. Baier},
  title     = {Avoiding and Escaping Depressions in Real-Time Heuristic
               Search},
  journal   = JAIR,
  volume    = {43},
  year      = {2012},
  pages     = {523-570},
  ee        = {http://dx.doi.org/10.1613/jair.3590},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/aiide/HernandezB11,
  author    = {Carlos Hern{\'a}ndez and
               Jorge A. Baier},
  title     = {Real-Time Adaptive A* with Depression Avoidance},
  booktitle = AIIDE11,
  year      = {2011},
  pages     = {146-151},
  ee        = {http://www.aaai.org/ocs/index.php/AIIDE/AIIDE11/paper/view/4082},
  crossref  = {DBLP:conf/aiide/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{Baier11,
  author    = {Jorge A. Baier},
  title     = {Planning with rich goals, preferences and procedural operators
               via reformulation},
  journal   = AICOMM,
  volume    = {24},
  number    = {4},
  year      = {2011},
  pages     = {347-348},
  ee        = {http://dx.doi.org/10.3233/AIC-2011-0507},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{soh-bai-mci-aaai11,
  title={Preferred Explanations: Theory and Generation via Planning},
  booktitle={Proceedings of the 25th AAAI Conference on Artificial Intelligence (AAAI-11)},
  author={Shirin Sohrabi and Jorge A. Baier and Sheila A. McIlraith},
  address = {San Francisco},
  pages = {261-267},
  year={2011},
  url={http://www.cs.toronto.edu/~jabaier/publications/soh-bai-mci-aaai11.pdf},
  month={August}
}

@inproceedings{her-bai-ijcai11,
  title = {Real-Time Heuristic Search with Depression Avoidance},
  booktitle = {Proceedings of the 22nd International Joint Conference on Artificial Intelligence  (IJCAI-11)},
  author = {Carlos Hern{\'a}ndez and Jorge A. Baier},
  month = {July},
  year = {2011},
  url = {http://www.cs.toronto.edu/~jabaier/publications/her-bai-ijcai11.pdf},
  address = {Barcelona, Spain}
}

@inproceedings{her-bai-icaps11,
  title = {Fast Subgoaling for Pathfinding via Real-Time Search},
  booktitle = {Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS-11)},
  author = {Carlos Hern{\'a}ndez and Jorge A. Baier},
  month = {June},
  year = {2011},
  pages = {327-330},
  address = {Freiburg, Germany},
  url = {http://www.cs.toronto.edu/~jabaier/publications/her-bai-icaps11.pdf}
}

@inproceedings{her-bai-aamas11,
  title = {Escaping Heuristic Depressions in Real-Time Heuristic Search (Extended Abstract)},
  booktitle = {Proceedings of the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-11)},
  author = {Carlos Hern{\'a}ndez and and Jorge A. Baier},
  month = {May},
  year = {2011},
  address = {Taipei, Taiwan},
  url = {http://www.cs.toronto.edu/~jabaier/publications/her-bai-aamas11.pdf}
}

@phdthesis{baierthesis,
  title={{Effective search techniques for non-classical planning via reformulation}},
  author={Jorge A. Baier},
  year={2010},
  url={http://www.cs.toronto.edu/~jabaier/publications/Baier_Jorge_A_201003_PhD_thesis.pdf},
  school={University of Toronto}
}

@inproceedings{her-bai-sccc10,
  title = {Escaping Heuristic Hollows in Real-Time Search without Learning},
  booktitle = {Proceedings of the 29th Chilean Conference of the Computer Science Society (SCCC-10)},
  author = {Carlos Hern{\'a}ndez and and Jorge A. Baier},
  month = {November},
  year = {2010},
  address = {Antofagasta, Chile},
  url = {http://www.cs.toronto.edu/~jabaier/publications/her-bai-sccc10.pdf}
}

@inproceedings{ sohBiaMcIKR10,
  title = {Diagnosis as Planning Revisited},
  booktitle = {Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10)},
  author = {Shirin Sohrabi and Jorge A. Baier and Sheila A. McIlraith},
  month = {May},
  note = {An abridged version of this paper appears in International Workshop on Principles of Diagnosis (DX-10).},
  year = {2010},
  pages = {26-36},
  address = {Toronto, Canada},
  url = {http://www.cs.toronto.edu/~shirin/soh-bai-mci-kr10.pdf}
}

@inproceedings{bai-bot-icaps09,
  title = {Improving Planning Performance Using Low-Conflict Relaxed Plans},
  url = {http://www.cs.toronto.edu/~jabaier/publications/bai-bot-icaps09.pdf},
  booktitle = {19th International Conference on Automated Planning and Scheduling},
  author = {Jorge A. Baier and Adi Botea},
  year = {2009},
  address = {Thessaloniki, Greece}
}

@inproceedings{mui-etal-icaps09,
  title = {Exploiting N-gram Analysis to Predict Operator Sequences},
  url = {http://www.cs.toronto.edu/~jabaier/publications/mui-etal-icaps09.pdf},
  booktitle = {19th International Conference on Automated Planning and Scheduling},
  author = {Christian Muise and Sheila McIlraith and Jorge A. Baier and Michael Reimer},
  year = {2009},
  address = {Thessaloniki, Greece}
}

@inproceedings{soh-bai-mci-ijcai09,
  title = {HTN Planning with Preferences},
  url = {http://www.cs.toronto.edu/~jabaier/publications/soh-bai-mci-ijcai09.pdf},
  booktitle = {Twenty First International Joint Conference on Artificial Intelligence (IJCAI)},
  author = {Shirin Sohrabi and Jorge Baier and Sheila A. McIlraith},
  year = {2009},
  address = {Pasadena, California}
}

@Article{ bai-bac-mci-aij09,
        author = {Jorge A. Baier and Fahiem Bacchus and Sheila A. McIlraith},
        url = {http://www.cs.toronto.edu/~jabaier/publications/bai-bac-mci-aij09.pdf},
        title = {A Heuristic Search Approach to Planning with Temporally Extended Preferences},
        journal={Artificial Intelligence},
        year = 2009,
        volume = 173,
        number = {5-6},
        pages = {593-618}
}

@Article{bai-mci-aimag08,
        author = {Jorge A. Baier and Sheila A. McIlraith},
        title = {Planning with Preferences},
        journal={AI Magazine},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-mci-aimag08.pdf},
        volume=29,
        number=4,
        pages={25-36},
        year = 2008
}

@inproceedings{sohMciBiaICAPSworkshop08,
  title = {HTN Planning with Quantitative Preferences via Heuristic Search},
  url = {http://www.cs.toronto.edu/~jabaier/publications/soh-bai-mci-icaps08wkshp.pdf},
  booktitle = {Eighteeth International Conference on Automated Planning and Scheduling (ICAPS) Workshop on Oversubscribed Planning and Scheduling},
  author = {Shirin Sohrabi and Jorge Baier and Sheila A. McIlraith},
  year = {2008},
  address = {Sydney, Australia}
}

@InProceedings{ bai-fri-bie-mci-aaai08nectar,
  author = 	 {Jorge A. Baier and Christian Fritz and Meghyn Bienvenu and Sheila McIlraith},
  title = 	 {Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners},
  booktitle =	 {Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), Nectar Track},
  year =	 2008,
  address =	 {Chicago, Illinois, USA},
  month =	 {July 13--17},
  url={bai-fri-bie-mci-aaai08nectar.pdf},
}

@InProceedings{fri-bai-mci-kr08,
  author = 	 {Christian Fritz and Jorge A. Baier and Sheila A. McIlraith},
  title = 	 {Con{G}olog, {S}in {T}rans: Compiling {ConGolog} into Basic Action Theories for Planning and Beyond},
  booktitle =	 {Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning},
  year =	 2008,
  address =	 {Sydney, Australia},
  month =	 {September 16--19},
  url={http://www.cs.toronto.edu/~jabaier/publications/fri-bai-mci-kr08.pdf},
}

@InProceedings{ bai07,
  author = 	 {Jorge A. Baier},
  title = 	 {Improving Relaxed-Plan-Based Heuristics},
  booktitle = {Proceedings of the First ICAPS Workshop on Heuristics for Domain-independent Planning: Progress, Ideas, Limitations, Challenges},
  year = 	 2007,
  address = 	 {Providence, Rhode Island},
  url={http://www.cs.toronto.edu/~jabaier/publications/bai07.pdf},
  month = 	 {September 22}
}

@InProceedings{ bai-bac-mci-ijcai07,
        author = {Baier, J. and Bacchus, F. and McIlraith, S.},
        title = {A Heuristic Search Approach to Planning with Temporally Extended Preferences},
        booktitle = {Proceedings of the Twentieth International Joint 
      Conference on Artificial Intelligence (IJCAI-07)},
        year = 2007,
        pages = {1808-1815},
        address = {Hyderabad, India},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-bac-mci-ijcai07.pdf},
        month   = {January}
}

@InProceedings{ bai-fri-mci-icaps07,
  author = 	 {Jorge A. Baier and Christian Fritz and Sheila A. McIlraith},
  title = 	 {Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners},
  booktitle = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07)},
  year = 	 2007,
  address = 	 {Providence, Rhode Island},
  url={http://www.cs.toronto.edu/~jabaier/publications/bai-fri-mci-icaps07.pdf},
  month = 	 {September 22 - 26}
}

@InProceedings{bai-mci-nrac07,
        author = {Jorge A. Baier and Sheila McIlraith},
        title = {On Domain-Independent Heuristics for Planning with Qualitative Preferences},
        booktitle = {Proceedings of the 7th IJCAI International Workshop on
Nonmonotonic Reasoning, Action and Change (NRAC-07)},
        month={January},
        year = 2007,
        address={Hyderabad, India},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-mci-nrac07.pdf},
        note={A summarized version of this paper appears at the <a href="http://www.ucl.ac.uk/commonsense07/">8th International Symposium on Logical Formalizations of Commonsense Reasoning.</a>. These are the <a href="http://www.cs.toronto.edu/~jabaier/publications/papers/nrac07_talk.pdf">NRAC-07 talk slides</a>.}
}

@InProceedings{ bai-etal-ipc5+wkshp,
        author = {Baier, J. and Hussell, J. and Bacchus, F. and McIlraith, S.},
        title = {Planning with Temporally Extended Preferences by Heuristic Search},
        booktitle = {Proceedings of the ICAPS06 Workshop on Planning with Preferences},
        year = 2006,
        address = {Lake District, UK},
        month   = {June},
        pages = {7-10},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-etal-ipc5+wkshp.pdf},
        note    = {A version of this paper also appeared in the Fifth International Planning Competition (IPC-5) Booklet.}
}

@InProceedings{bai-mci-aaai06,
        author = {Baier, J. and McIlraith, S.},
        title = {Planning with First-Order Temporally Extended Goals Using Heuristic Search},
        booktitle = {Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06)},
        address = {Boston, MA},
        month   = {July},
        pages = {788-795},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-mci-aaai06.pdf},
        year = 2006
}

@InProceedings{ bai-mci-icaps06,
        author = {Baier, J. and McIlraith, S.},
        title = {Planning with Temporally Extended Goals Using Heuristic Search},
        booktitle = {Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS06)},
        year = 2006,
        address = {Lake District, UK},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-mci-icaps06.pdf},
        pages = {342-345},
        month   = {June}
}

@InProceedings{bai-mci-kr06,
        author = {Baier, J. and McIlraith, S.},
        title = {On Planning with Programs that Sense},
        booktitle = {Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06)},
        address = {Lake District, UK},
        month = {June},
        pages = {492-502},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-mci-kr06.pdf},
        year = 2006
}

@InProceedings{bai-mci-nrac05,
        author = {Baier, J. and McIlraith, S.},
        title = {Planning with Programs that Sense},
        booktitle = {Proceedings of the 6th International Workshop on
Nonmonotonic Reasoning, Action and Change (NRAC-05)},
        year = 2005,
        pages = {7-14},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-mci-nrac05.pdf},
        note = {An expanded version of this work appeared in KR-06.}
}

@InProceedings{wec-etal04,
        author = {Katia Wechsler and Jorge A. Baier and Miguel Nussbaum and Ricardo Baeza-Yates},
        title = {Semantic Search in the {WWW} Supported by a Cognitive Model},
        booktitle = {Proceedings of the 5th International Conference on Advances on Web-age Information Management},
        address = {Dalian, China},
        month  = {July 15-17},
        url={http://www.cs.toronto.edu/~jabaier/publications/wec-etal04.pdf},
        pages  = {179-186},
        series = {Lecture Notes in Computer Science (LNCS)},
        publisher = {Springer-Verlag},
        year = 2004
}

@Article{bai-pin03,
        author = {Jorge A. Baier and Javier A. Pinto},
        title = {Planning under Uncertainty as Golog Programs},
        journal = {Journal of Experimental and Theoretical Artificial Intelligence},
        month = {November},
        pages = {383-405},
        volume = 15,
        number = 6,
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-pin03.pdf},
        year = 2003
}

@InProceedings{bai02,
        author = {Jorge A. Baier},
        title = {On Procedure Recognition in the Situation Calculus},
        booktitle = {XII International Conference of the Chilean Computer Science Society (SCCC-02)},
        address = {Copiapo, Chile},
        month = {November},
        pages = {33-42},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai02.pdf},
        year = 2002
}

@InProceedings{bai-gon-guz99,
        author = {Jorge A. Baier and Jos{\'e} Manuel Gonz{\'a}lez and Ricardo Guzm{\'a}n},
        title = {Marco Te{\'o}rico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida},
        booktitle = {Proceedings of the 3er Workshop Chileno en Sistemas Distribuidos},
        address = {Talca, Chile},
        month = {November},
        pages = {336-345},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-gon-guz99.pdf},
        year = 1999
}

@InProceedings{bai-pin99,
        author = {Jorge A. Baier and Javier A. Pinto},
        title = {Integrating True Concurrency into the Robot Programming Language {G}olog},
        booktitle = {Proceedings of the 9th International Conference of the Chilean Computer Society (SCCC-99)},
        address = {Talca, Chile},
        month = {November},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-pin99.pdf},
        pages = {179-186},
        year = 1999
}

@InProceedings{bai-pin98,
        author = {Jorge A. Baier},
        title = {Non-Instantaneous Actions and Concurrency in the Situation Calculus (Extended Abstract)},
        booktitle = {ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications},
        address = {Saarbruecken, Germany},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-pin98.pdf},
        month = {August},
        year = 1998
}