Papers
An Innovative Genetic Algorithm for the Quantum Circuit Compilation Problem
Riccardo Rasconi, Angelo Oddi
Distribution-Based Semi-Supervised Learning for Activity Recognition
Hangwei Qian, Sinno Jialin Pan, Chunyan Miao
Acting and Planning Using Operational Models
Sunandita Patra, Malik Ghallab, Dana Nau et al.
Automated Verification of Social Laws for Continuous Time Multi-Robot Systems
Ronen Nir, Erez Karpas
Temporal Planning with Temporal Metric Trajectory Constraints
Andrea Micheli, Enrico Scala
Sliding Window Temporal Graph Coloring
George B. Mertzios, Hendrik Molter, Viktor Zamaraev
Performance Guarantees for Homomorphisms beyond Markov Decision Processes
Sultan Javed Majeed, Marcus Hutter
Lifelong Path Planning with Kinematic Constraints for Multi-Agent Pickup and Delivery
Hang Ma, Wolfgang Hönig, T. K. Satish Kumar et al.
Searching with Consistent Prioritization for Multi-Agent Path Finding
Hang Ma, Daniel Harabor, Peter J. Stuckey et al.
Moral Permissibility of Action Plans
Felix Lindner, Robert Mattmüller, Bernhard Nebel
Multi-Agent Path Finding for Large Agents
Jiaoyang Li, Pavel Surynek, Ariel Felner et al.
Generalized Planning via Abstraction: Arbitrary Numbers of Objects
León Illanes, Sheila A. McIlraith
Learning How to Ground a Plan – Partial Grounding in Classical Planning
Daniel Gnad, Álvaro Torralba, Martín Domínguez et al.
Solving Multiagent Planning Problems with Concurrent Conditional Effects
Daniel Furelos-Blanco, Anders Jonsson
Operator Mutexes and Symmetries for Simplifying Planning Tasks
Daniel Fišer, Álvaro Torralba, Alexander Shleyfman
Refining Abstraction Heuristics during Real-Time Planning
Rebecca Eifler, Maximilian Fickert, Jörg Hoffmann et al.
Learning Resource Allocation and Pricing for Cloud Profit Maximization
Bingqian Du, Chuan Wu, Zhiyi Huang
Efficiently Reasoning with Interval Constraints in Forward Search Planning
Amanda Coles, Andrew Coles, Moises Martinez et al.
Efficient Temporal Planning Using Metastates
Amanda Coles, Andrew Coles, J. Christopher Beck
Improving Domain-Independent Planning via Critical Section Macro-Operators
Lukáš Chrpa, Mauro Vallati
Robustness Envelopes for Temporal Plans
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni et al.
Deep Reactive Policies for Planning in Stochastic Nonlinear Domains
Thiago P. Bueno, Leliane N. de Barros, Denis D. Mauá et al.
Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning
Gregor Behnke, Daniel Höller, Susanne Biundo
Measurement Maximizing Adaptive Sampling with Risk Bounding Functions
Benjamin Ayton, Brian Williams, Richard Camilli