Alexander Rovner, Silvan Sievers and Malte Helmert
Optimal & Oversubscription Planning : Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning

Franco Quezada, Céline Gicquel and Safia Kedad-Sidhoum
Constraint Reasoning and OR : A stochastic dual dynamic integer programming for the uncapacitated lot-sizing problem with uncertain demand and costs

Alberto Pozanco, Yolanda E-Martín, Susana Fernández and Daniel Borrajo
Recognition, Goal and Model Reasoning : Finding Centroids and Minimum Covering States in Planning

Giuseppe De Giacomo, Marco Favorito, Luca Iocchi and Fabio Patrizi
Reinforcement Learning : Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf restraining specifications

Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus and Andreas Podelski
LTL & Temporal Planning : Temporal Planning as Refinement-Based Model Checking

Daniel Gnad and Joerg Hoffmann
Hybrid Planning & Algorithm Selection Complexity : On the Relation between Star-Topology Decoupling and Petri Net Unfolding

Michal Štolba, Daniel Fišer and Antonín Komenda
Multi-Agent Planning : A Factored Approach to Contingent Multi-Agent Planning

Arik Senderovich, Kyle E. C. Booth and J. Christopher Beck
Constraint Reasoning and OR : Learning Scheduling Models from Event Data

Ramon Fraga Pereira, André Grahl Pereira and Felipe Meneguzzi
Recognition II : Landmark-Enhanced Heuristics for Goal Recognition in Incomplete Domain Models

Hao Cui, Thomas Keller and Roni Khardon
Probabilistic Planning II : Stochastic Planning with Lifted Symbolic Trajectory Optimization

Xin Huang, Sungkweon Hong, Andreas Hofmann and Brian Williams
Probabilistic Planning II : Online Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments

Alberto Camacho, Meghyn Bienvenu and Sheila A. McIlraith
LTL & Temporal Planning : Towards a Unified View of AI Planning and Reactive Synthesis

Rui Silva, Gabriele Farina, Francisco S. Melo and Manuela Veloso
Probabilistic Planning II : A theoretical and algorithmic analysis of configurable MDPs

Diego Aineto, Sergio Jiménez, Eva Onaindia and Miquel Ramírez
Recognition, Goal and Model Reasoning : Model Recognition as Planning

Luke Hunsberger and Roberto Posenato
Scheduling under Uncertainty : Propagating Piecewise-Linear Weights in Temporal Networks

Lei He, Mathijs de Weerdt and Neil Yorke-Smith
Scheduling under Uncertainty : Tabu-Based Large Neighbourhood Search for Time/Sequence-Dependent Scheduling Problems with Time Windows

Graeme Gange, Daniel Harabor and Peter J. Stuckey
Path and Motion Planning : Lazy CBS: Implict Conflict-Based Search Using Lazy Clause Generation

Jingkai Chen, Cheng Fang, David Wang, Andrew Wang and Brian Williams
Constraint Reasoning and OR : Efficiently Exploring Ordering Problems through Conflict-directed Search

Jendrik Seipp and Malte Helmert
Optimal & Oversubscription Planning : Subset Saturated Cost Partitioning for Optimal Classical Planning

Elad Denenberg and Amanda Coles
Hybrid Planning : Mixed Discrete Continuous Non-Linear Planning Through Piecewise Linear Approximation