% csauthors.net - beta - BibTeX bibliography of Jorge A. Baier
@inproceedings{conf/sccc/BaierP99,
title = {Integrating True Concurrency into the Robot Programming Language.},
year = {1999},
booktitle = {SCCC},
author = {{Jorge A. Baier} and {Javier Pinto}},
publisher = {IEEE Computer Society},
booktitle = {19th International Conference of the Chilean Computer Science Society (SCCC '99), 11-13 November 1999, Talca, Chile}
}
@inproceedings{conf/sccc/Baier02,
title = {On Procedure Recognition in the Situation Calculus.},
year = {2002},
booktitle = {SCCC},
author = {{Jorge A. Baier}},
publisher = {IEEE Computer Society},
booktitle = {22nd International Conference of the Chilean Computer Science Society (SCCC 2002), 6-8 November 2002, Copiapo, Chile}
}
@article{journals/jetai/BaierP03,
title = {Planning under uncertainty as Golog programs.},
year = {2003},
journal = {J. Exp. Theor. Artif. Intell.},
author = {{Jorge A. Baier} and {Javier Pinto}}
}
@inproceedings{conf/waim/WechslerBNB04,
title = {Semantic Search in the WWW Supported by a Cognitive Model.},
year = {2004},
booktitle = {WAIM},
author = {{Katia Wechsler} and {Jorge A. Baier} and {Miguel Nussbaum} and {Ricardo A. Baeza-Yates}},
publisher = {Springer},
booktitle = {Advances in Web-Age Information Management: 5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004}
}
@inproceedings{conf/aaai/BaierM06,
title = {Planning with First-Order Temporally Extended Goals using Heuristic Search.},
year = {2006},
booktitle = {AAAI},
author = {{Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA}
}
@inproceedings{conf/aips/BaierM06,
title = {Planning with Temporally Extended Goals Using Heuristic Search.},
year = {2006},
booktitle = {ICAPS},
author = {{Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {AAAI},
booktitle = {Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006}
}
@inproceedings{conf/kr/BaierM06,
title = {On Planning with Programs that Sense.},
year = {2006},
booktitle = {KR},
author = {{Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006}
}
@inproceedings{conf/aaaiss/BaierM07,
title = {On Domain-Independent Heuristics for Planning with Qualitative Preferences.},
year = {2007},
booktitle = {AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning},
author = {{Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {AAAI},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007}
}
@inproceedings{conf/aips/BaierFM07,
title = {Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.},
year = {2007},
booktitle = {ICAPS},
author = {{Jorge A. Baier} and {Christian Fritz 001} and {Sheila A. McIlraith}},
publisher = {AAAI},
booktitle = {Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007}
}
@inproceedings{conf/aaai/BaierFBM08,
title = {Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.},
year = {2008},
booktitle = {AAAI},
author = {{Jorge A. Baier} and {Christian Fritz 001} and {Meghyn Bienvenu} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008}
}
@inproceedings{conf/kr/FritzBM08,
title = {ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.},
year = {2008},
booktitle = {KR},
author = {{Christian Fritz 001} and {Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008}
}
@article{journals/aim/BaierM08,
title = {Planning with Preferences.},
year = {2008},
journal = {AI Mag.},
author = {{Jorge A. Baier} and {Sheila A. McIlraith}}
}
@inproceedings{conf/aips/BaierB09,
title = {Improving Planning Performance Using Low-Conflict Relaxed Plans.},
year = {2009},
booktitle = {ICAPS},
author = {{Jorge A. Baier} and {Adi Botea}},
publisher = {AAAI},
booktitle = {Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009}
}
@inproceedings{conf/aips/MuiseMBR09,
title = {Exploiting N-Gram Analysis to Predict Operator Sequences.},
year = {2009},
booktitle = {ICAPS},
author = {{Christian J. Muise} and {Sheila A. McIlraith} and {Jorge A. Baier} and {Michael Reimer}},
publisher = {AAAI},
booktitle = {Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009}
}
@inproceedings{conf/ijcai/SohrabiBM09,
title = {HTN Planning with Preferences.},
year = {2009},
booktitle = {IJCAI},
author = {{Shirin Sohrabi} and {Jorge A. Baier} and {Sheila A. McIlraith}},
booktitle = {IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}
}
@article{journals/ai/BaierBM09,
title = {A heuristic search approach to planning with temporally extended preferences.},
year = {2009},
journal = {Artif. Intell.},
author = {{Jorge A. Baier} and {Fahiem Bacchus} and {Sheila A. McIlraith}}
}
@inproceedings{conf/kr/SohrabiBM10,
title = {Diagnosis as Planning Revisited.},
year = {2010},
booktitle = {KR},
author = {{Shirin Sohrabi} and {Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010}
}
@inproceedings{conf/sccc/HernandezB10,
title = {Escaping Heuristic Hollows in Real-Time Search without Learning.},
year = {2010},
booktitle = {SCCC},
author = {{Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {IEEE Computer Society},
booktitle = {SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, Antofagasta, Chile, 15-19 November 2010}
}
@phdthesis{phd/ca/Baier10,
title = {Effective Search Techniques for Non-classical Planning via Reformulation.},
year = {2010},
author = {{Jorge A. Baier}}
}
@inproceedings{conf/aaai/SohrabiBM11,
title = {Preferred Explanations: Theory and Generation via Planning.},
year = {2011},
booktitle = {AAAI},
author = {{Shirin Sohrabi} and {Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011}
}
@inproceedings{conf/aiide/HernandezB11,
title = {Real-Time Adaptive A* with Depression Avoidance.},
year = {2011},
booktitle = {AIIDE},
author = {{Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {The AAAI Press},
booktitle = {Proceedings of the Seventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2011, October 10-14, 2011, Stanford, California, USA}
}
@inproceedings{conf/aips/HernandezB11,
title = {Fast Subgoaling for Pathfinding via Real-Time Search.},
year = {2011},
booktitle = {ICAPS},
author = {{Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {AAAI},
booktitle = {Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011}
}
@inproceedings{conf/atal/HernandezB11,
title = {Escaping heuristic depressions in real-time heuristic search.},
year = {2011},
booktitle = {AAMAS},
author = {{Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {IFAAMAS},
booktitle = {10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3}
}
@inproceedings{conf/ijcai/HernandezB11,
title = {Real-Time Heuristic Search with Depression Avoidance.},
year = {2011},
booktitle = {IJCAI},
author = {{Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {IJCAI/AAAI},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011}
}
@article{journals/aicom/Baier11,
title = {Planning with rich goals, preferences and procedural operators via reformulation.},
year = {2011},
journal = {AI Commun.},
author = {{Jorge A. Baier}}
}
@inproceedings{conf/aamas/HernandezBUK12,
title = {Time-bounded adaptive A.},
year = {2012},
booktitle = {AAMAS},
author = {{Carlos Hernández 003} and {Jorge A. Baier} and {Tansel Uras} and {Sven Koenig}},
publisher = {IFAAMAS},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes)}
}
@inproceedings{conf/socs/HernandezBUK12,
title = {Position Paper: Incremental Search Algorithms Considered Poorly Understood.},
year = {2012},
booktitle = {SOCS},
author = {{Carlos Hernández 003} and {Jorge A. Baier} and {Tansel Uras} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fifth Annual Symposium on Combinatorial Search, SOCS 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012}
}
@inproceedings{conf/socs/HernandezBUK12a,
title = {Paper Summary: Time-Bounded Adaptive A.},
year = {2012},
booktitle = {SOCS},
author = {{Carlos Hernández 003} and {Jorge A. Baier} and {Tansel Uras} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fifth Annual Symposium on Combinatorial Search, SOCS 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012}
}
@article{journals/aim/AgrawalBBCGHHJLLLMPSSSSTV12,
title = {Reports of the AAAI 2012 Conference Workshops.},
year = {2012},
journal = {AI Mag.},
author = {{Vikas Agrawal} and {Jorge A. Baier} and {Kostas E. Bekris} and {Yiling Chen 001} and {Artur S. d'Avila Garcez} and {Pascal Hitzler} and {Patrik Haslum} and {Dietmar Jannach} and {Edith Law} and {Freddy Lécué} and {Luís C. Lamb} and {Cynthia Matuszek} and {Héctor Palacios} and {Biplav Srivastava} and {Lokendra Shastri} and {Nathan R. Sturtevant} and {Roni Stern} and {Stefanie Tellex} and {Stavros Vassos}}
}
@article{journals/jair/HernandezB12,
title = {Avoiding and Escaping Depressions in Real-Time Heuristic Search.},
year = {2012},
journal = {J. Artif. Intell. Res.},
author = {{Carlos Hernández 003} and {Jorge A. Baier}}
}
@inproceedings{conf/aaai/Davis-MendelowBM13,
title = {Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge.},
year = {2013},
booktitle = {AAAI},
author = {{Sammy Davis-Mendelow} and {Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.}
}
@inproceedings{conf/aips/BoteaBHH13,
title = {Moving Target Search with Compressed Path Databases.},
year = {2013},
booktitle = {ICAPS},
author = {{Adi Botea} and {Jorge A. Baier} and {Daniel Harabor} and {Carlos Hernández 003}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013}
}
@inproceedings{conf/atal/RiveraBH13,
title = {Weighted real-time heuristic search.},
year = {2013},
booktitle = {AAMAS},
author = {{Nicolas Rivera} and {Jorge A. Baier} and {Carlos Hernández 003}},
publisher = {IFAAMAS},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013}
}
@inproceedings{conf/socs/RiveraIBH13,
title = {Reconnecting with the Ideal Tree: An Alternative to Heuristic Learning in Real-Time Search.},
year = {2013},
booktitle = {SOCS},
author = {{Nicolas Rivera} and {Leon Illanes} and {Jorge A. Baier} and {Carlos Hernández 003}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013.}
}
@inproceedings{conf/aips/HernandezBA14,
title = {Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain.},
year = {2014},
booktitle = {ICAPS},
author = {{Carlos Hernández 003} and {Jorge A. Baier} and {Roberto Asín}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014}
}
@inproceedings{conf/iberamia/RiveraIB14,
title = {Real-Time Pathfinding in Unknown Terrain via Reconnection with an Ideal Tree.},
year = {2014},
booktitle = {IBERAMIA},
author = {{Nicolas Rivera} and {Leon Illanes} and {Jorge A. Baier}},
publisher = {Springer},
booktitle = {Advances in Artificial Intelligence - IBERAMIA 2014 - 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014, Proceedings}
}
@inproceedings{conf/kr/BaierMM14,
title = {Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals.},
year = {2014},
booktitle = {KR},
author = {{Jorge A. Baier} and {Brent Mombourquette} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014}
}
@inproceedings{conf/socs/HernandezAB14,
title = {Time-Bounded Best-First Search.},
year = {2014},
booktitle = {SOCS},
author = {{Carlos Hernández 003} and {Roberto Asín} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Seventh Annual Symposium on Combinatorial Search, SOCS 2014, Prague, Czech Republic, 15-17 August 2014.}
}
@inproceedings{conf/socs/HernandezB14,
title = {Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound.},
year = {2014},
booktitle = {SOCS},
author = {{Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Seventh Annual Symposium on Combinatorial Search, SOCS 2014, Prague, Czech Republic, 15-17 August 2014.}
}
@article{journals/jair/RiveraIBH14,
title = {Reconnection with the Ideal Tree: A New Approach to Real-Time Search.},
year = {2014},
journal = {J. Artif. Intell. Res.},
author = {{Nicolas Rivera} and {Leon Illanes} and {Jorge A. Baier} and {Carlos Hernández 003}}
}
@inproceedings{conf/aaai/HernandezAB15,
title = {Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain.},
year = {2015},
booktitle = {AAAI},
author = {{Carlos Hernández 003} and {Roberto Asín} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA.}
}
@inproceedings{conf/ijcai/TorresB15,
title = {Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals.},
year = {2015},
booktitle = {IJCAI},
author = {{Jorge Torres} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015}
}
@article{journals/aamas/HernandezUKBSM15,
title = {Reusing cost-minimal paths for goal-directed navigation in partially known terrains.},
year = {2015},
journal = {Auton. Agents Multi Agent Syst.},
author = {{Carlos Hernández 003} and {Tansel Uras} and {Sven Koenig} and {Jorge A. Baier} and {Xiaoxun Sun} and {Pedro Meseguer}}
}
@article{journals/ai/RiveraBH15,
title = {Incorporating weights into real-time heuristic search.},
year = {2015},
journal = {Artif. Intell.},
author = {{Nicolas Rivera} and {Jorge A. Baier} and {Carlos Hernández 003}}
}
@article{journals/tciaig/BaierBHH15,
title = {Fast Algorithm for Catching a Prey Quickly in Known and Partially Known Game Maps.},
year = {2015},
journal = {IEEE Trans. Comput. Intell. AI Games},
author = {{Jorge A. Baier} and {Adi Botea} and {Daniel Harabor} and {Carlos Hernández 003}}
}
@inproceedings{conf/ijcai/ArenasBNS16,
title = {Incomplete Causal Laws in the Situation Calculus Using Free Fluents.},
year = {2016},
booktitle = {IJCAI},
author = {{Marcelo Arenas} and {Jorge A. Baier} and {Juan S. Navarro} and {Sebastian Sardiña}},
publisher = {IJCAI/AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016}
}
@inproceedings{conf/ijcai/CalvoB16,
title = {Assumption-Based Planning with Sensing via Contingent Planning.},
year = {2016},
booktitle = {KnowProS@IJCAI},
author = {{Pamela Calvo} and {Jorge A. Baier}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016.}
}
@inproceedings{conf/ijcai/CamachoTMBM16,
title = {Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version).},
year = {2016},
booktitle = {KnowProS@IJCAI},
author = {{Alberto Camacho} and {Eleni Triantafillou} and {Christian J. Muise} and {Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016.}
}
@inproceedings{conf/semweb/BaierDRV16,
title = {Property Paths over Linked Data: Can It Be Done and How To Start?},
year = {2016},
booktitle = {COLD@ISWC},
author = {{Jorge A. Baier} and {Dietrich Daroch} and {Juan L. Reutter} and {Domagoj Vrgoc}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the 7th International Workshop on Consuming Linked Data co-located with 15th International Semantic Web Conference, COLD@ISWC 2016, Kobe, Japan, October 18, 2016.}
}
@article{journals/jair/HernandezBA16,
title = {Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs.},
year = {2016},
journal = {J. Artif. Intell. Res.},
author = {{Carlos Hernández 003} and {Jorge A. Baier} and {Roberto Asín}}
}
@inproceedings{conf/aaai/CamachoTMBM17,
title = {Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.},
year = {2017},
booktitle = {AAAI},
author = {{Alberto Camacho} and {Eleni Triantafillou} and {Christian J. Muise} and {Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA.}
}
@inproceedings{conf/aaai/RiveraHB17,
title = {Grid Pathfinding on the 2k Neighborhoods.},
year = {2017},
booktitle = {AAAI},
author = {{Nicolas Rivera} and {Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA.}
}
@inproceedings{conf/aips/HernandezB17,
title = {Improving MPGAA* for Extended Visibility Ranges.},
year = {2017},
booktitle = {ICAPS},
author = {{Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.}
}
@inproceedings{conf/ht/BaierDRV17,
title = {Evaluating Navigational RDF Queries over the Web.},
year = {2017},
booktitle = {HT},
author = {{Jorge A. Baier} and {Dietrich Daroch} and {Juan L. Reutter} and {Domagoj Vrgoc}},
publisher = {ACM},
booktitle = {Proceedings of the 28th ACM Conference on Hypertext and Social Media, HT 2017, Prague, Czech Republic, July 4-7, 2017}
}
@inproceedings{conf/ijcai/HernandezBBB17,
title = {Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads.},
year = {2017},
booktitle = {IJCAI},
author = {{Carlos Hernández 003} and {Adi Botea} and {Jorge A. Baier} and {Vadim Bulitko}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017}
}
@inproceedings{conf/ijcai/IcarteBRS17,
title = {How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval.},
year = {2017},
booktitle = {IJCAI},
author = {{Rodrigo Toro Icarte} and {Jorge A. Baier} and {Cristian Ruz} and {Alvaro Soto}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017}
}
@inproceedings{conf/socs/HormazabalDHB17,
title = {Fast and Almost Optimal Any-Angle Pathfinding Using the 2k Neighborhoods.},
year = {2017},
booktitle = {SOCS},
author = {{Nicolás Hormazábal} and {Antonio Díaz} and {Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial Search, SOCS 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, USA.}
}
@inproceedings{conf/ai/CamachoBMM18,
title = {Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.},
year = {2018},
booktitle = {Canadian AI},
author = {{Alberto Camacho} and {Jorge A. Baier} and {Christian J. Muise} and {Sheila A. McIlraith}},
publisher = {Springer},
booktitle = {Advances in Artificial Intelligence - 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8-11, 2018, Proceedings}
}
@inproceedings{conf/aips/CamachoBMM18,
title = {Finite LTL Synthesis as Planning.},
year = {2018},
booktitle = {ICAPS},
author = {{Alberto Camacho} and {Jorge A. Baier} and {Christian J. Muise} and {Sheila A. McIlraith}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018.}
}
@inproceedings{conf/ijcai/CamachoMBM18,
title = {LTL Realizability via Safety and Reachability Games.},
year = {2018},
booktitle = {IJCAI},
author = {{Alberto Camacho} and {Christian J. Muise} and {Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.}
}
@inproceedings{conf/ijcai/CamachoMBM18a,
title = {SynKit: LTL Synthesis as a Service.},
year = {2018},
booktitle = {IJCAI},
author = {{Alberto Camacho} and {Christian J. Muise} and {Jorge A. Baier} and {Sheila A. McIlraith}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.}
}
@inproceedings{conf/kr/ArenasBNS18,
title = {On the Progression of Situation Calculus Universal Theories with Constants.},
year = {2018},
booktitle = {KR},
author = {{Marcelo Arenas} and {Jorge A. Baier} and {Juan S. Navarro} and {Sebastian Sardiña}},
publisher = {AAAI Press},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018.}
}
@inproceedings{conf/socs/KrammRHB18,
title = {A Suboptimality Bound for 2k Grid Path Planning.},
year = {2018},
booktitle = {SOCS},
author = {{Benjamín Kramm} and {Nicolas Rivera} and {Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Eleventh International Symposium on Combinatorial Search, SOCS 2018, Stockholm, Sweden - 14-15 July 2018}
}
@inproceedings{conf/socs/MunozFHB18,
title = {A Neural Network for Decision Making in Real-Time Heuristic Search.},
year = {2018},
booktitle = {SOCS},
author = {{Franco Muñoz} and {Miguel Fadic} and {Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Eleventh International Symposium on Combinatorial Search, SOCS 2018, Stockholm, Sweden - 14-15 July 2018}
}
@inproceedings{conf/socs/GomezHB19,
title = {Compiling Cost-Optimal Multi-Agent Pathfinding to ASP.},
year = {2019},
booktitle = {SOCS},
author = {{Rodrigo N. Gómez} and {Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial Search, SOCS 2019, Napa, California, 16-17 July 2019}
}
@inproceedings{conf/socs/UlloaB0BK19,
title = {A Learning-Based Framework for Memory-Bounded Heuristic Search: First Results.},
year = {2019},
booktitle = {SOCS},
author = {{Carlos Hernández Ulloa} and {Jorge A. Baier} and {William Yeoh 001} and {Vadim Bulitko} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial Search, SOCS 2019, Napa, California, 16-17 July 2019}
}
@inproceedings{conf/aaai/GomezHB20,
title = {Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming.},
year = {2020},
booktitle = {AAAI},
author = {{Rodrigo N. Gómez} and {Carlos Hernández 003} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aips/Ulloa0BZSK20,
title = {A Simple and Fast Bi-Objective Search Algorithm.},
year = {2020},
booktitle = {ICAPS},
author = {{Carlos Hernández Ulloa} and {William Yeoh 001} and {Jorge A. Baier} and {Han Zhang 018} and {Luis Suazo} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020}
}
@inproceedings{conf/ectel/HilligerLHGOPBP20,
title = {For Learners, with Learners: Identifying Indicators for an Academic Advising Dashboard for Students.},
year = {2020},
booktitle = {EC-TEL},
author = {{Isabel Hilliger} and {Tinne De Laet} and {Valeria Henríquez} and {Julio Guerra} and {Margarita Ortiz-Rojas} and {Miguel Ángel Zúñiga Prieto} and {Jorge A. Baier} and {Mar Pérez-Sanagustín}},
publisher = {Springer},
booktitle = {Addressing Global Challenges and Quality Education - 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 14-18, 2020, Proceedings}
}
@inproceedings{conf/fie/HilligerFMBP20,
title = {Offering an Entrepreneurship Course to All Engineering Students: Self-efficacy Gains and Learning Benefits.},
year = {2020},
booktitle = {FIE},
author = {{Isabel Hilliger} and {Constance Fleet} and {Constanza Melian} and {Jorge A. Baier} and {Mar Pérez-Sanagustín}},
publisher = {IEEE},
booktitle = {IEEE Frontiers in Education Conference, FIE 2020, Uppsala, Sweden, October 21-24, 2020}
}
@inproceedings{conf/sccc/Munoz-GamaAMB20,
title = {FAIS: A System for Effectively Learning Students Names and Faces in Massive Courses.},
year = {2020},
booktitle = {SCCC},
author = {{Jorge Munoz-Gama} and {Raul Alvarez-Esteban} and {José Montalva-Carmona} and {Jorge A. Baier}},
publisher = {IEEE},
booktitle = {39th International Conference of the Chilean Computer Science Society, SCCC 2020, Coquimbo, Chile, November 16-20, 2020}
}
@article{journals/access/UlloaBA20,
title = {Multipath Adaptive A*: Factors That Influence Performance in Goal-Directed Navigation in Unknown Terrain.},
year = {2020},
journal = {IEEE Access},
author = {{Carlos Hernández Ulloa} and {Jorge A. Baier} and {Roberto Javier Asín Achá}}
}
@article{journals/jair/RiveraHHB20,
title = {The 2^k Neighborhoods for Grid Path Planning.},
year = {2020},
journal = {J. Artif. Intell. Res.},
author = {{Nicolás Rivera} and {Carlos Hernández 003} and {Nicolás Hormazábal} and {Jorge A. Baier}}
}
@inproceedings{conf/socs/AchaLHB21,
title = {A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers.},
year = {2021},
booktitle = {SOCS},
author = {{Roberto Javier Asín Achá} and {Rodrigo López} and {Sebastián Hagedorn} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021}
}
@inproceedings{conf/socs/AranedaGB21,
title = {Exploiting Learned Policies in Focal Search.},
year = {2021},
booktitle = {SOCS},
author = {{Pablo Araneda} and {Matias Greco} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021}
}
@article{journals/access/GomezHB21,
title = {A Compact Answer Set Programming Encoding of Multi-Agent Pathfinding.},
year = {2021},
journal = {IEEE Access},
author = {{Rodrigo N. Gómez} and {Carlos Hernández 003} and {Jorge A. Baier}}
}
@article{journals/caee/Perez-Sanagustin21,
title = {A MOOC-based flipped experience: Scaffolding SRL strategies improves learners' time management and engagement.},
year = {2021},
journal = {Comput. Appl. Eng. Educ.},
author = {{Mar Pérez-Sanagustín} and {Diego Sapunar-Opazo} and {Ronald Pérez-Álvarez} and {Isabel Hilliger} and {Anis Bey} and {Jorge Maldonado-Mahauad} and {Jorge A. Baier}}
}
@inproceedings{conf/aaai/RiveraB022,
title = {Subset Approximation of Pareto Regions with Bi-objective A.},
year = {2022},
booktitle = {AAAI},
author = {{Nicolás Rivera} and {Jorge A. Baier} and {Carlos Hernández 003}},
publisher = {AAAI Press},
booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}
}
@inproceedings{conf/ectel/AstudilloHRB22,
title = {Towards Effective Blended Learning Through the Eyes of Students: A Survey Study in Transition into Face-to-Face Education.},
year = {2022},
booktitle = {EC-TEL},
author = {{Gabriel Astudillo} and {Isabel Hilliger} and {Fernanda Rodríguez} and {Jorge A. Baier}},
publisher = {Springer},
booktitle = {Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption - 17th European Conference on Technology Enhanced Learning, EC-TEL 2022, Toulouse, France, September 12-16, 2022, Proceedings}
}
@inproceedings{conf/ijcai/MiddletonIB22,
title = {Real-Time Heuristic Search with LTLf Goals.},
year = {2022},
booktitle = {IJCAI},
author = {{Jaime Middleton} and {Rodrigo Toro Icarte} and {Jorge A. Baier}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022.}
}
@inproceedings{conf/socs/BaierRU22,
title = {Subset Approximation of Pareto Regions with Bi-Objective A* (Extended Abstract).},
year = {2022},
booktitle = {SOCS},
author = {{Jorge A. Baier} and {Nicolás Rivera} and {Carlos Hernández Ulloa}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022}
}
@inproceedings{conf/socs/GrecoAB22,
title = {Focal Discrepancy Search for Learned Heuristics (Extended Abstract).},
year = {2022},
booktitle = {SOCS},
author = {{Matias Greco} and {Pablo Araneda} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022}
}
@inproceedings{conf/socs/GrecoB22,
title = {Avoiding Errors in Learned Heuristics in Bounded-Suboptimal Search.},
year = {2022},
booktitle = {SOCS},
author = {{Matias Greco} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022}
}
@inproceedings{conf/socs/GrecoTUB22,
title = {K-Focal Search for Slow Learned Heuristics (Extended Abstract).},
year = {2022},
booktitle = {SOCS},
author = {{Matias Greco} and {Jorge Toro} and {Carlos Hernández Ulloa} and {Jorge A. Baier}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022}
}
@article{journals/ai/BaierM22,
title = {Knowledge-based programs as building blocks for planning.},
year = {2022},
journal = {Artif. Intell.},
author = {{Jorge A. Baier} and {Sheila A. McIlraith}}
}
@article{journals/corr/abs-2207-04479,
title = {Scaling up ML-based Black-box Planning with Partial STRIPS Models.},
year = {2022},
journal = {CoRR},
author = {{Matias Greco} and {Álvaro Torralba} and {Jorge A. Baier} and {Héctor Palacios}}
}
@article{journals/jair/AchaLHB22,
title = {Multi-Agent Path Finding: A New Boolean Encoding.},
year = {2022},
journal = {J. Artif. Intell. Res.},
author = {{Roberto Javier Asín Achá} and {Rodrigo López} and {Sebastián Hagedorn} and {Jorge A. Baier}}
}
@article{journals/ai/HernandezYBZSKS23,
title = {Simple and efficient bi-objective search algorithms via fast dominance checks.},
year = {2023},
journal = {Artif. Intell.},
author = {{Carlos Hernández 003} and {William Yeoh 001} and {Jorge A. Baier} and {Han Zhang 018} and {Luis Suazo} and {Sven Koenig} and {Oren Salzman}}
}
@article{journals/aiedu/RojasSBNGR23,
title = {Using Automated Planning to Provide Feedback during Collaborative Problem-Solving.},
year = {2023},
month = {December},
journal = {Int. J. Artif. Intell. Educ.},
author = {{Matías Rojas} and {Cristian Sáez} and {Jorge A. Baier} and {Miguel Nussbaum} and {Orlando Guerrero} and {María Fernanda Rodriguez}}
}
@article{journals/access/GrecoTHB24,
title = {K-Focal Search for Slow Learned Heuristics.},
year = {2024},
journal = {IEEE Access},
author = {{Matias Greco} and {Jorge Toro} and {Carlos Hernández 003} and {Jorge A. Baier}}
}