Jorge A. Baier

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), 2016

Incomplete Causal Laws in the Situation Calculus Using Free Fluents.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Fast Algorithm for Catching a Prey Quickly in Known and Partially Known Game Maps.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2015

Incorporating weights into real-time heuristic search.

[BibT_eX]

[DOI]

Nicolas Rivera

Artif. Intell., 2015

Reusing cost-minimal paths for goal-directed navigation in partially known terrains.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2015

Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals.

[BibT_eX]

[DOI]

Jorge Torres

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain.

[BibT_eX]

[DOI]

Roberto Asín

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Reconnection with the Ideal Tree: A New Approach to Real-Time Search.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

Time-Bounded Best-First Search.

[BibT_eX]

[DOI]

Roberto Asín

Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals.

[BibT_eX]

[DOI]

Brent Mombourquette

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Real-Time Pathfinding in Unknown Terrain via Reconnection with an Ideal Tree.

[BibT_eX]

[DOI]

Nicolas Rivera

Leon Illanes

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2014, 2014

Making A* Run Faster than D*-Lite for Path-Planning in Partially Known Terrain.

[BibT_eX]

[DOI]

Roberto Asín

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Reconnecting with the Ideal Tree: An Alternative to Heuristic Learning in Real-Time Search.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

Weighted real-time heuristic search.

[BibT_eX]

[DOI]

Nicolas Rivera

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Moving Target Search with Compressed Path Databases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge.

[BibT_eX]

[DOI]

Sammy Davis-Mendelow

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Avoiding and Escaping Depressions in Real-Time Heuristic Search.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2012

Reports of the AAAI 2012 Conference Workshops.

[BibT_eX]

[DOI]

Artur S. d'Avila Garcez

AI Mag., 2012

Paper Summary: Time-Bounded Adaptive A.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012

Position Paper: Incremental Search Algorithms Considered Poorly Understood.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012

Time-bounded adaptive A.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Planning with rich goals, preferences and procedural operators via reformulation.

[BibT_eX]

[DOI]

AI Commun., 2011

Real-Time Heuristic Search with Depression Avoidance.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Escaping heuristic depressions in real-time heuristic search.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Fast Subgoaling for Pathfinding via Real-Time Search.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Real-Time Adaptive A* with Depression Avoidance.

[BibT_eX]

[DOI]

Proceedings of the Seventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2011

Preferred Explanations: Theory and Generation via Planning.

[BibT_eX]

[DOI]

Shirin Sohrabi

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Effective Search Techniques for Non-classical Planning via Reformulation.

[BibT_eX]

[DOI]

PhD thesis, 2010

Escaping Heuristic Hollows in Real-Time Search without Learning.

[BibT_eX]

[DOI]

Proceedings of the SCCC 2010, 2010

Diagnosis as Planning Revisited.

[BibT_eX]

[DOI]

Shirin Sohrabi

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009

A heuristic search approach to planning with temporally extended preferences.

[BibT_eX]

[DOI]

Fahiem Bacchus

Artif. Intell., 2009

HTN Planning with Preferences.

[BibT_eX]

[DOI]

Shirin Sohrabi

Proceedings of the IJCAI 2009, 2009

Exploiting N-Gram Analysis to Predict Operator Sequences.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Improving Planning Performance Using Low-Conflict Relaxed Plans.

[BibT_eX]

[DOI]

Adi Botea

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Planning with Preferences.

[BibT_eX]

[DOI]

AI Mag., 2008

ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.

[BibT_eX]

[DOI]

Christian Fritz

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners.

[BibT_eX]

[DOI]

Christian Fritz

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

On Domain-Independent Heuristics for Planning with Qualitative Preferences.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

On Planning with Programs that Sense.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Planning with Temporally Extended Goals Using Heuristic Search.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Planning with First-Order Temporally Extended Goals using Heuristic Search.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2004

Semantic Search in the WWW Supported by a Cognitive Model.

[BibT_eX]

[DOI]

Katia Wechsler

Miguel Nussbaum

Ricardo A. Baeza-Yates

Proceedings of the Advances in Web-Age Information Management: 5th International Conference, 2004

2003

Planning under uncertainty as Golog programs.

[BibT_eX]

[DOI]

Javier Pinto

J. Exp. Theor. Artif. Intell., 2003

2002

On Procedure Recognition in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference of the Chilean Computer Science Society (SCCC 2002), 2002

1999

Integrating True Concurrency into the Robot Programming Language.

[BibT_eX]

[DOI]