• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Proceedings of the International Conference on Automated Planning and Scheduling, 26 /

Book One

Main Track

  • A Formal Analysis of Required Cooperation in Multi-Agent Planning

    Yu Zhang,Sarath Sreedharan,Subbarao Kambhampati

    335-343

    PDF
  • Learning Relational Dynamics of Stochastic Domains for Planning

    David Martínez,Guillem Alenyà,Carme Torras,Tony Ribeiro,Katsumi Inoue

    235-243

    PDF
  • The Mathematics of Dispatchability Revisited

    Paul Morris

    244-252

    PDF
  • Strict Theta*: Shorter Motion Path Planning Using Taut Paths

    Shunhao Oh,Hon Wai Leong

    253-257

    PDF
  • Efficient Representation of Pattern Databases Using Acyclic Random Hypergraphs

    Mehdi Sadeqi,Howard Hamilton

    258-266

    PDF
  • PARIS: A Polynomial-Time, Risk-Sensitive Scheduling Algorithm for Probabilistic Simple Temporal Networks with Uncertainty

    Pedro Santana,Tiago Vaquero,Cláudio Toledo,Andrew Wang,Cheng Fang,Brian Williams

    267-275

    PDF
  • Numeric Planning with Disjunctive Global Constraints via SMT

    Enrico Scala,Miquel Ramírez,Patrik Haslum,Sylvie Thiebaux

    276-284

    PDF
  • Generalized Planning with Procedural Domain Control Knowledge

    Javier Segovia Aguas,Sergio Jimenez Celorrio,Anders Jonsson

    285-293

    PDF
  • An Analysis of Merge Strategies for Merge-and-Shrink Heuristics

    Silvan Sievers,Martin Wehrle,Malte Helmert

    294-298

    PDF
  • Revisiting Goal Probability Analysis in Probabilistic Planning

    Marcel Steinmetz,Joerg Hoffmann,Olivier Buffet

    299-307

    PDF
  • Potential Heuristics for Multi-Agent Planning

    Michal Štolba,Daniel Fišer,Antonín Komenda

    308-316

    PDF
  • Recursive Polynomial Reductions for Classical Planning

    Jan Tozicka,Jan Jakubuv,Martin Svatos,Antonin Komenda

    317-325

    PDF
  • Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems

    Felipe Trevizan,Sylvie Thiébaux,Pedro Santana,Brian Williams

    326-334

    PDF
  • Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times

    Luke Hunsberger,Roberto Posenato

    175-183

    PDF
  • Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty

    Liana Marinescu,Andrew Coles

    230-234

    PDF
  • Stronger Privacy Preserving Projections for Multi-Agent Planning

    Shlomi Maliah,Guy Shani,Roni Stern

    221-229

    PDF
  • Online Macro Generation for Privacy Preserving Planning

    Shlomi Maliah,Guy Shani,Ronen Brafman

    216-220

    PDF
  • Traps, Invariants, and Dead-Ends

    Nir Lipovetzky,Christian Muise,Hector Geffner

    211-215

    PDF
  • Dual Formulations for Optimizing Dec-POMDP Controllers

    Akshat Kumar,Hala Mostafa,Shlomo Zilberstein

    202-210

    PDF
  • Hierarchical Linearly-Solvable Markov Decision Problems

    Anders Jonsson,Vicenç Gómez

    193-201

    PDF
  • Automated Creation of Efficient Work Distribution Functions for Parallel Best-First Search

    Yuu Jinnai,Alex Fukunaga

    184-192

    PDF
  • Multi-Agent Sensor Data Collection with Attrition Risk

    Jeffrey Hudack,Jae Oh

    166-174

    PDF
  • Online Algorithms for the Linear Tape Scheduling Problem

    Carlos Cardonha,Lucas Villa Real

    70-78

    PDF
  • A Compilation of the Full PDDL+ Language into SMT

    Michael Cashmore,Maria Fox,Derek Long,Daniele Magazzeni

    79-87

    PDF
  • Indefinite-Horizon Reachability in Goal-DEC-POMDPs

    Krishnendu Chatterjee,Martin Chmelík

    88-96

    PDF
  • Have I Been Here Before? State Memoization in Temporal Planning

    Amanda Coles,Andrew Coles

    97-105

    PDF
  • Practical Undoability Checking via Contingent Planning

    Jeanette Daum,Álvaro Torralba,Jörg Hoffmann,Patrik Haslum,Ingo Weber

    106-114

    PDF
  • Bayesian Optimization with Resource Constraints and Production

    Nima Dolatnia,Alan Fern,Xiaoli Fern

    115-123

    PDF
  • Robust Partial Order Schedules for RCPSP/max with Durational Uncertainty

    Na Fu,Pradeep Varakantham,Hoong Chuin Lau

    124-130

    PDF
  • Placement of Loading Stations for Electric Vehicles: Allowing Small Detours

    Stefan Funke,Andre Nusser,Sabine Storandt

    131-139

    PDF
  • Abstractions for Planning with State-Dependent Action Costs

    Florian Geißer,Thomas Keller,Robert Mattmüller

    140-148

    PDF
  • Domain Model Acquisition in Domains with Action Costs

    Peter Gregory,Alan Lindsay

    149-157

    PDF
  • Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages

    Daniel Höller,Gregor Behnke,Pascal Bercher,Susanne Biundo

    158-165

    PDF
  • A Multi-Parameter Complexity Analysis of Cost-Optimal and Net-Benefit Planning

    Meysam Aghighi,Christer Backstrom

    44967

    PDF
  • From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends

    Alberto Camacho,Christian Muise,Sheila McIlraith

    65-69

    PDF
  • A Semantic Notion of Interference for Planning Modulo Theories

    Miquel Bofill,Joan Espasa,Mateu Villaret

    56-64

    PDF
  • Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking

    Sara Bernardini,Maria Fox,Derek Long,Chiara Piancentini

    47-55

    PDF
  • Change the Plan — How Hard Can That Be?

    Gregor Behnke,Daniel Höller,Pascal Bercher,Susanne Biundo

    38-46

    PDF
  • OGA-UCT: On-the-Go Abstractions in UCT

    Ankit Anand,Ritesh Noothigattu,Mausam .,Parag Singla

    29-37

    PDF
  • Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems

    Ron Alford,Gregor Behnke,Daniel Höller,Pascal Bercher,Susanne Biundo,David Aha

    20-28

    PDF
  • Search Portfolio with Sharing

    Sandip Aine,Maxim Likhachev

    45249

    PDF

Novel Applications Track

  • More Shuttles, Less Cost: Energy Efficient Planning for Scalable High-Density Warehouse Environments

    Christian Hütter

    403-411

    PDF
  • Towards Next Generation Touring: Personalized Group Tours

    Kwan Hui Lim,Jeffrey Chan,Christopher Leckie,Shanika Karunasekera

    412-420

    PDF
  • Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions

    Chiara Piacentini,Daniele Magazzeni,Derek Long,Maria Fox,Chris Dent

    421-430

    PDF
  • Planning and Control of Marine Floats in the Presence of Dynamic, Uncertain Currents

    Martina Troesch,Steve Chien,Yi Chao,John Farrara

    431-439

    PDF
  • Optimal Scheduling of a Constellation of Earth-Imaging Satellites, for Maximal Data Throughput and Efficient Human Management

    Sean Augenstein,Alejandra Estanislao,Emmanuel Guere,Sean Blaes

    345-352

    PDF
  • Planning Curtailment of Renewable Generation in Power Grids

    Sambaran Bandyopadhyay,Pratyush Kumar,Vijay Arya

    353-357

    PDF
  • A Planning-Based Architecture for a Reconfigurable Manufacturing System

    Stefano Borgo,Amedeo Cesta,Andrea Orlandini,Alessandro Umbrico

    358-366

    PDF
  • Computing Trace Alignment against Declarative Process Models through Planning

    Giuseppe De Giacomo,Fabrizio Maria Maggi,Andrea Marrella,Sebastian Sardina

    367-375

    PDF
  • Scheduling Ocean Color Observations for a GEO-Stationary Satellite

    Jeremy Frank,Minh Do,Tony Tran

    376-384

    PDF
  • Strategic Planning for Setting Up Base Stations in Emergency Medical Systems

    Supriyo Ghosh,Pradeep Varakantham

    385-393

    PDF
  • Cell Design and Routing of Jobs in a Multisite Make-to-Order Enterprise

    Manoj Gupta,R. P. Jagadeesh Bose,Partha Dutta

    394-402

    PDF

Robotics Track

  • Integrating Planning and Control for Efficient Path Planning in the Presence of Environmental Disturbances

    Sandip Aine,P. B. Sujit

    441-449

    PDF
  • Path Planning under Interface-Based Constraints for Assistive Robotics

    Alexander Broad,Brenna Argall

    450-458

    PDF
  • A Unifying Formalism for Shortest Path Problems with Expensive Edge Evaluations via Lazy Best-First Search over Paths with Edge Selectors

    Christopher Dellin,Siddhartha Srinivasa

    459-467

    PDF
  • Real-Time Stochastic Optimal Control for Multi-Agent Quadrotor Systems

    Vicenç Gómez,Sep Thijssen,Andrew Symington,Stephen Hailes,Hilbert Kappen

    468-476

    PDF
  • Multi-Agent Path Finding with Kinematic Constraints

    Wolfgang Hoenig,T. K. Kumar,Liron Cohen,Hang Ma,Hong Xu,Nora Ayanian,Sven Koenig

    477-485

    PDF
  • A Practical Framework for Robust Decision-Theoretic Planning and Execution for Service Robots

    Luca Iocchi,Laurent Jeanpierre,Maria Lazaro,Abdel-Illah Mouaddib

    486-494

    PDF
  • Evaluation of Auction-Based Multi-Robot Routing by Parallel Simulation

    Akihiro Kishimoto,Kiyohito Nagano

    495-503

    PDF
  • Online Learning of Robot Soccer Free Kick Plans Using a Bandit Approach

    Juan Pablo Mendoza,Reid Simmons,Manuela Veloso

    504-508

    PDF
  • Experience-Based Robot Task Learning and Planning with Goal Inference

    Vahid Mokhtari,Luis Seabra Lopes,Armando J. Pinho

    509-517

    PDF
  • Robot Motion Planning for Pouring Liquids

    Zherong Pan,Chonhyon Park,Dinesh Manocha

    518-526

    PDF
  • Speeding Up A* Search on Visibility Graphs Defined Over Quadtrees to Enable Long Distance Path Planning for Unmanned Surface Vehicles

    Brual Shah,Satyandra Gupta

    527-535

    PDF
  • Task and Motion Policy Synthesis as Liveness Games

    Yue Wang,Neil Dantam,Swarat Chaudhuri,Lydia Kavraki

    536-540

    PDF

Primary Sidebar