Problem Solving Using Classical Planners
Papers from the 2012 AAAI Workshop
Héctor Palacios, Patrik Haslum, Jorge Baier Cochairs
AAAI Technical Report WS-12-12
published by The AAAI Press, Palo Alto, California
This technical report is also available in book and CD format.
Contents
Organizers
Hector Palacios
Preface
Hector Palacios
Using a Classical Forward Search to Solve Temporal Planning Problems under Uncertainty
Eric Beaudry, Froduald Kabanza, Francois Michaud
A Multi-Path Compilation Approach to Contingent Planning
Ronen Brafman, Guy Shani
Making Reasonable Assumptions to Plan with Incomplete Information: Abridged Report
Samuel Falcon Davis-Mendelow, Jorge A. Baier, Sheila McIlraith
Learning Interactions Among Objects Through Spatio-Temporal Reasoning
Mustafa Ersen, Sanem Sariel-Talay
A Planning-Based Approach for Generating Planning Problems
Raquel Fuentetaja, Tomás De la Rosa
Using Classical Planners for Plan Verification and Counterexample Generation
Robert P. Goldman, Ugur Kuter, Tony Schneider
Planning with Global Constraints for Computing Infrastructure Reconfiguration
Herry Herry, Paul Anderson
Using Planning for a Personalized Security Agent
Mark Roberts, Adele E. Howe, Indrajit Ray, Malgorzata Urbanska
Composition of Flow-Based Applications with HTN Planning
Shirin Sohrabi, Octavian Udrea, Anand Ranganathan, Anton Riabov
Using Classical Planners to Solve Conformant Probabilistic Planning Problems
Ran Taig, Ronen I Brafman
Solving Goal Hybrid Markov Decision Processes Using Numeric Classical Planners
Florent Teichteil-Königsbuch
Planning the Transformation of Network Topologies
Young Yoon, Nathan Robinson, Vinod Muthusamy, Hans-Arno Jacobsen, Sheila A. McIlraith
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.