Papers
Generalized Planning with Positive and Negative Examples
Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
Automated Synthesis of Social Laws in STRIPS
Ronen Nir, Alexander Shleyfman, Erez Karpas
Semantic Attachments for HTN Planning
Maurício Cecílio Magnaguagno, Felipe Meneguzzi
Idle Time Optimization for Target Assignment and Path Finding in Sortation Centers
Ngai Meng Kou, Cheng Peng, Hang Ma et al.
Monte Carlo Tree Search in Continuous Spaces Using Voronoi Optimistic Optimization with Regret Bounds
Beomjoon Kim, Kyungjae Lee, Sungbin Lim et al.
Information Shaping for Enhanced Goal Recognition of Partially-Informed Agents
Sarah Keren, Haifeng Xu, Kofi Kwapong et al.
Top-Quality Planning: Finding Practically Useful Sets of Best Plans
Michael Katz, Shirin Sohrabi, Octavian Udrea
Reshaping Diverse Planning
Michael Katz, Shirin Sohrabi
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems
Daniel Höller, Gregor Behnke, Pascal Bercher et al.
Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning
Joschka Gross, Alvaro Torralba, Maximilian Fickert
Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming
Rodrigo N. Gómez, Carlos Hernández, Jorge A. Baier
Decidability and Complexity of Action-Based Temporal Planning over Dense Time
Nicola Gigante, Andrea Micheli, Angelo Montanari et al.
Dynamic Control of Probabilistic Simple Temporal Networks
Michael Gao, Lindsay Popowski, Jim Boerkoel
Time-Inconsistent Planning: Simple Motivation Is Hard to Find
Fedor V. Fomin, Torstein J. F. Strømme
Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search
Maximilian Fickert, Tianyi Gu, Leonhard Staut et al.
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning
Rebecca Eifler, Michael Cashmore, Jörg Hoffmann et al.
Optimizing Reachability Sets in Temporal Graphs by Delaying
Argyrios Deligkas, Igor Potapov
Planning and Acting with Non-Deterministic Events: Navigating between Safe States
Lukas Chrpa, Jakub Gemrot, Martin Pilat
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
Tomáš Brázdil, Krishnendu Chatterjee, Petr Novotný et al.
POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization
Pascal Bercher, Conny Olz
On Succinct Groundings of HTN Planning Problems
Gregor Behnke, Daniel Höller, Alexander Schmid et al.
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
Suguman Bansal, Yong Li, Lucas Tabajara et al.
LATTE: Latent Type Modeling for Biomedical Entity Linking
Ming Zhu, Busra Celikkaya, Parminder Bhatia et al.
Multimodal Summarization with Guidance of Multimodal Reference
Junnan Zhu, Yu Zhou, Jiajun Zhang et al.