icaps12.icaps-conference.org

List of Accepted papers (Main Conference)

The list of accepted paper is availabe here.

Length of Talks

Full papers: 25 minutes (including questions)

Short papers: 20 minutes (including questions)

Videos

The videos of the conference are available here. The links to specific talks and events in the main conference are shown in the Schedule section below.

Presentation´s Files

Invited Speakers and papers presentations

Schedule (PDF)

Workshop, Tutorial and DC Schedule (June 25-26)

MON, June 25th, 2012

8:00 9:30	Registration
9:30 11:00	COPLAS room Sergipe	Planex room Maranhão	IPC room Goiás	ICKEPS room Rio de Janeiro	DC room Paraná
11:00 - 11:30	Coffee Break
11:30 12:30	COPLAS room Sergipe	Planex room Maranhão	IPC room Goiás	ICKEPS Rio de Janeiro	DC room Paraná
12:30 - 14:00	Lunch Break
14:00 15:00	COPLAS room Sergipe	Planex room Maranhão	IPC room Goiás	ICKEPS Rio de Janeiro	DC room Paraná
15:00 - 15:30	Coffee Break
15:30 18:30	COPLAS room Sergipe	Planex room Maranhão	IPC room Goiás	ICKEPS Rio de Janeiro	DC room Paraná

* Time for coffee break and lunch might change slightly.

TUE, June 26th, 2012

8:00 9:30	Registration		T3 room Paraná	T5 room Rio de Janeiro	T1 room Goiás
9:30 11:00	TAMPRA room Sergipe	PSTL room Maranhão	SPARK room Paraná	HSDIP room Rio de Janeiro	T2 room Goiás CANCELED
11:00 - 11:30	Coffee Break
11:30 12:30	TAMPRA room Sergipe	PSTL room Maranhão	SPARK room Paraná	HSDIP room Rio de Janeiro
12:30 - 14:00	Lunch Break
14:00 15:00	TAMPRA room Sergipe	PSTL room Maranhão	SPARK room Paraná	HSDIP room Rio de Janeiro
15:00 - 15:30	Coffee Break
15:30 17:00	TAMPRA room Sergipe	PSTL room Maranhão	SPARK room Paraná	HSDIP room Rio de Janeiro	T4 room Goiás
17:00 18:30	TAMPRA room Sergipe	PSTL room Maranhão	SPARK room Paraná	HSDIP room Rio de Janeiro	T6 room Goiás
20:00 (Open Ended)	Opening Reception

* Time for coffee break and lunch might change slightly.

Main Conference Schedule (June 27-29)

This schedule in PDF file.

WED, June 27th, 2012

8:00 8:45	Registration
8:45 9:00	Opening Remarks
9:00 10:00	Invited Talk: Robert O. Ambrose - Controlling Robots Across Intermediate Time Delays [video]
10:00 10:30	Coffee Break
10:30 12:10	Session Ia: Temporal Planning and Scheduling [video]	Session Ib: Combining Heuristics and Search for Optimal Planning [video]
	Session Chair: Mark Boddy	Session Chair: Derek Long
	M. C. Cooper, F. Maris and P. Regnier Tractable Monotone Temporal Planning	M. Wehrle and M. Helmert About Partial Order Reduction in Planning and Computer Aided Verification
	A. A. Cire and W. Van Hoeve MDD Propagation for Disjunctive Scheduling	A. Gefen and R. Brafman Pruning Methods for Optimal Delete-Free Planning
	D. Terekhov, T. T. Tran, D. G. Down and J. C. Beck Long-run Stability in Dynamic Scheduling	F. Pommerening and M. Helmert Optimal Planning for Delete-free Tasks with Incremental LM-cut (short paper)
	A. Oddi, R. Rasconi, A. Cesta and S. F. Smith Iterative Improvement Algorithms for the Blocking Job Shop	C. Domshlak, M. Katz and A. Shleyfman Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search (short paper)
12:10 14:00	Lunch Break
14:00 15:15	Session IIa: Special Track on Continuous Planning [video]	Session IIb: Admissible Heuristics in Optimal Planning [video]
	Session Chair: Maria Fox	Session Chair: Carmel Domshlak
	J. Lohr, P. Eyerich, T. Keller and B. Nebel A Planning Based Framework for Controlling Hybrid Systems	P. Haslum Incremental Lower Bounds for Additive Cost Planning Problems
	A. Weinstein and M. Littman Bandit-Based Planning and Learning in Continuous-Action Markov Decision Processes	M. Katz, J. Hoffmann and M. Helmert How to Relax a Bisimulation?
	S. Kiesel, E. Burns, C. Wilt and W. Ruml Integrating Vehicle Routing and Motion Planning	P. Haslum, J. Slaney and S. Thiébaux Minimal Landmarks for Optimal Delete-Relaxed Planning (short paper)
15:15 15:45	Coffee Break
15:45 17:00	Session IIIa: Robot Path Planning [video]	Session IIIb: Enhancing Descriptions and I mproving Plans [video]
	Session Chair: Wheeler Ruml	Session Chair: Roman Bartak
	X. Sun, W. Yeoh, T. Uras and S. Koenig Incremental ARA*: An Anytime Incremental Search Algorithm for Moving Target Search	P. Gregory, D. Long, M. Fox and J. C. Beck Planning Modulo Theories: Extending the Planning Paradigm
	B. Englot and F. Hover Sampling-Based Coverage Path Planning for Inspection of Complex Structures	L. Chrpa, T. L. McCluskey and H. Osborne Optimizing Plans through Analysis of Action Dependencies and Independencies (short paper)
	C. Park, J. Pan and D. Manocha ITOMP: Incremental Trajectory Optimization for Real-time Replanning in Dynamic Environments	C. Muise, S. McIlraith and J. C. Beck Optimally Relaxing Partial-Order Plans with MaxSAT (short paper)
17:00 17:40	ICKEPS Competition Results [video] Tiago Vaquero and Simone Fratini
18:00 (Open Ended)	DC Posters and System Demos [video] room Minas Gerais

THU, June 28th, 2012

8:30 9:00	Registration
9:00 10:00	Invited Talk: George J. Pappas - Temporal Logic Motion Planning for Mobile Robots [video]
10:00 10:30	Coffee Break
10:30 12:10	Session IVa: Planning and Scheduling in the Real World [video]	Session IVb: Learning and Local Search in Planning [video]
	Session Chair: Chris Beck	Session Chair: Joerg Hoffmann
	B. Seegebarth, F. Muller, B. Schattenberg and S. Biundo Making Hybrid Plans More Clear to Human Users – A Formal Approach for Generating Sound Explanations	M. Fox, D. Long and D. Magazzeni Plan-based Policy Learning for Autonomous Feature Tracking
	S. Parkinson, A. Longstaff, A. Crampton and P. Gregory The Application of Automated Planning to Machine Tool Calibration	H. Nakhost, J. Hoffmann and M. Mueller Resource-Constrained Planning: A Monte-Carlo Random Walk Approach
	A. Garrido, L. Morales and I. Serina Using AI Planning to Enhance E-learning Processes	F. Xie, H. Nakhost and M. Mueller Planning via Random Walk-Driven Local Search
	D. F. Ferber On Modeling the Tactical Planning of Oil Pipeline Networks (short paper)	J. Seipp, M. Braun, J. Garimort and M. Helmert Learning Portfolios of Automatically Configured Planners (short paper)
12:10 14:00	Lunch Break
14:00 15:15	Session V: Best Papers [video]
	J. Benton, A. Coles and A. Coles Temporal Planning with Preferences and Time-Dependent Continuous Costs (Best Student Paper - Special Track)
	K. Nguyen, V. Tran, S. Tran and E. Pontelli On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach (Best Student Paper)
	E. Keyder, J. Hoffmann and P. Haslum Semi-Relaxed Plan Heuristics (Best Paper)
15:15 15:45	Coffee Break
15:45 17:45	Community Meeting (including Best Dissertation Talk) [video: part1, part2]
20:00 (Open Ended)	Banquet (including Best Reviewer Award and Festivus) [video] room Brasil

FRI, June 29th, 2012

8:30 9:00	Registration
9:00 10:00	Invited Speaker: Anthony G. Cohn - Building Qualitative Models of Spatio-Temporal Behavior [video]
10:00 10:30	Coffee Break
10:30 12:10	Session VIa: Probabilistic and Non-Deterministic Planning I [video]	Session VIb: P&S for Shipping and Transportation [video: part1, part2]
	Session Chair: Shlomo Zilberstein	Session Chair: Daniel Borrajo
	B. Kane and R. Simmons Risk-Variant Policy Switching to Exceed Reward Thresholds	K. Tierney, A. Coles A. Coles, C. Kroer, A. Britt, R. M. Jensen Automated Planning for Liner Shipping Fleet Repositioning
	F. Teichteil-Königsbuch Fast Incremental Policy Compilation from Plans in Hybrid Probabilistic Domains	E. Kelareva, P. Kilby, S. Thiébaux, M. Wallace and S. Brand CP and MIP Methods for Ship Scheduling with Time-Varying Draft
	C. Muise, J. C. Beck and S. McIlraith Improved Non-deterministic Planning by Exploiting State Relevance	X. Xie, S. F. Smith and G. J. Barlow Schedule-Driven Coordination for Real-Time Traffic Network Control
	E. Burns, J. Benton, W. Ruml, M. Do and S. Yoon Anticipatory On-line Planning (short paper)	S. Storandt Route Planning for Bicycles – Exact Constrained Shortest Paths made Practical via Contraction Hierarchy
12:10 14:00	Lunch Break
14:00 15:15	Session VIIa: Probabilistic and Non-Deterministic Planning II [video]	Session VIIb: Heuristic Search [video]
	Session Chair: Scott Sanner	Session Chair: Patrik Haslum
	F. Trevizan and M. Veloso Short-Sighted Stochastic Shortest Path Problems	E. Karpas and C. Domshlak Optimal Search with Inadmissible Heuristics
	T. Keller and P. Eyerich Probabilistic Planning Based on UCT	J. Thayer, R. Stern, A. Felner and W. Ruml Faster Bounded-Cost Search Using Inadmissible Estimates
	A. Kolobov, P. Dai, Mausam and D. Weld Tackling Finite-Horizon MDPs with Large Branching Factors	L. Lelis, R. Stern, A. Felner, S. Zilles and R. Holte Predicting Optimal Solution Cost with Bidirectional Stratified Sampling
15:15 15:20	Closing Remarks [video]

Technical Program

List of Accepted papers (Main Conference)

Length of Talks

Videos

Presentation´s Files

Schedule (PDF)

Workshop, Tutorial and DC Schedule (June 25-26)

Main Conference Schedule (June 27-29)

Rooms

Call for paper

Submission

Navigation