Search

Search Results

• Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems

  Daniel Fišer

  9835-9842

  2020-04-03

• Time-Inconsistent Planning: Simple Motivation Is Hard to Find

  Fedor V. Fomin, Torstein J. F. Strømme

  9843-9850

  2020-04-03

• Dynamic Control of Probabilistic Simple Temporal Networks

  Michael Gao, Lindsay Popowski, Jim Boerkoel

  9851-9858

  2020-04-03

• Decidability and Complexity of Action-Based Temporal Planning over Dense Time

  Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala

  9859-9866

  2020-04-03

• Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming

  Rodrigo N. Gómez, Carlos Hernández, Jorge A. Baier

  9867-9874

  2020-04-03

• Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning

  Joschka Gross, Alvaro Torralba, Maximilian Fickert

  9875-9882

  2020-04-03

• HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems

  Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford

  9883-9891

  2020-04-03

• Reshaping Diverse Planning

  Michael Katz, Shirin Sohrabi

  9892-9899

  2020-04-03

• Top-Quality Planning: Finding Practically Useful Sets of Best Plans

  Michael Katz, Shirin Sohrabi, Octavian Udrea

  9900-9907

  2020-04-03

• Information Shaping for Enhanced Goal Recognition of Partially-Informed Agents

  Sarah Keren, Haifeng Xu, Kofi Kwapong, David Parkes, Barbara Grosz

  9908-9915

  2020-04-03

• Monte Carlo Tree Search in Continuous Spaces Using Voronoi Optimistic Optimization with Regret Bounds

  Beomjoon Kim, Kyungjae Lee, Sungbin Lim, Leslie Kaelbling, Tomas Lozano-Perez

  9916-9924

  2020-04-03

• Idle Time Optimization for Target Assignment and Path Finding in Sortation Centers

  Ngai Meng Kou, Cheng Peng, Hang Ma, T. K. Satish Kumar, Sven Koenig

  9925-9932

  2020-04-03

• Semantic Attachments for HTN Planning

  Maurício Cecílio Magnaguagno, Felipe Meneguzzi

  9933-9940

  2020-04-03

• Automated Synthesis of Social Laws in STRIPS

  Ronen Nir, Alexander Shleyfman, Erez Karpas

  9941-9948

  2020-04-03

• Generalized Planning with Positive and Negative Examples

  Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson

  9949-9956

  2020-04-03

• Active Goal Recognition

  Maayan Shvo, Sheila A. McIlraith

  9957-9966

  2020-04-03

• Symbolic Top-k Planning

  David Speck, Robert Mattmüller, Bernhard Nebel

  9967-9974

  2020-04-03

• Temporal Planning with Intermediate Conditions and Effects

  Alessandro Valentini, Andrea Micheli, Alessandro Cimatti

  9975-9982

  2020-04-03

• Neural Architecture Search Using Deep Neural Networks and Monte Carlo Tree Search

  Linnan Wang, Yiyang Zhao, Yuu Jinnai, Yuandong Tian, Rodrigo Fonseca

  9983-9991

  2020-04-03

• Planning with Abstract Learned Models While Learning Transferable Subtasks

  John Winder, Stephanie Milani, Matthew Landen, Erebus Oh, Shane Parr, Shawn Squire, Marie desJardins, Cynthia Matuszek

  9992-10000

  2020-04-03

• NeoNav: Improving the Generalization of Visual Navigation via Generating Next Expected Observations

  Qiaoyun Wu, Dinesh Manocha, Jun Wang, Kai Xu

  10001-10008

  2020-04-03

• Refining HTN Methods via Task Insertion with Preferences

  Zhanhao Xiao, Hai Wan, Hankui Hankz Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen

  10009-10016

  2020-04-03

• Computing Superior Counter-Examples for Conformant Planning

  Xiaodi Zhang, Alban Grastien, Enrico Scala

  10017-10024

  2020-04-03

• Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior

  Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian-Ioan Vasile, Mark Donahue, Daniela Rus

  10026-10034

  2020-04-03

• Multi-Fidelity Multi-Objective Bayesian Optimization: An Output Space Entropy Search Approach

  Syrine Belakaria, Aryan Deshwal, Janardhan Rao Doppa

  10035-10043

  2020-04-03