• 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 AAAI Conference on Artificial Intelligence, 34 /

Vol. 34 No. 06: AAAI-20 Technical Tracks 6

AAAI Technical Track: Planning, Routing, and Scheduling

  • Computing Superior Counter-Examples for Conformant Planning

    Xiaodi Zhang, Alban Grastien, Enrico Scala

    10017-10024

    PDF
  • Refining HTN Methods via Task Insertion with Preferences

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

    10009-10016

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

    Qiaoyun Wu, Dinesh Manocha, Jun Wang, Kai Xu

    10001-10008

    PDF
  • 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

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

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

    9983-9991

    PDF
  • Temporal Planning with Intermediate Conditions and Effects

    Alessandro Valentini, Andrea Micheli, Alessandro Cimatti

    9975-9982

    PDF
  • Symbolic Top-k Planning

    David Speck, Robert Mattmüller, Bernhard Nebel

    9967-9974

    PDF
  • Active Goal Recognition

    Maayan Shvo, Sheila A. McIlraith

    9957-9966

    PDF
  • Generalized Planning with Positive and Negative Examples

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

    9949-9956

    PDF
  • Automated Synthesis of Social Laws in STRIPS

    Ronen Nir, Alexander Shleyfman, Erez Karpas

    9941-9948

    PDF
  • Reshaping Diverse Planning

    Michael Katz, Shirin Sohrabi

    9892-9899

    PDF
  • Semantic Attachments for HTN Planning

    Maurício Cecílio Magnaguagno, Felipe Meneguzzi

    9933-9940

    PDF
  • 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

    PDF
  • 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

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

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

    9908-9915

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

    Michael Katz, Shirin Sohrabi, Octavian Udrea

    9900-9907

    PDF
  • 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

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

    Joschka Gross, Alvaro Torralba, Maximilian Fickert

    9875-9882

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

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

    9867-9874

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

    Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala

    9859-9866

    PDF
  • Dynamic Control of Probabilistic Simple Temporal Networks

    Michael Gao, Lindsay Popowski, Jim Boerkoel

    9851-9858

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

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

    9843-9850

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

    Daniel Fišer

    9835-9842

    PDF
  • Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search

    Maximilian Fickert, Tianyi Gu, Leonhard Staut, Wheeler Ruml, Joerg Hoffmann, Marek Petrik

    9827-9834

    PDF
  • A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning

    Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz

    9818-9826

    PDF
  • Optimizing Reachability Sets in Temporal Graphs by Delaying

    Argyrios Deligkas, Igor Potapov

    9810-9817

    PDF
  • Planning and Acting with Non-Deterministic Events: Navigating between Safe States

    Lukas Chrpa, Jakub Gemrot, Martin Pilat

    9802-9809

    PDF
  • Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

    Tomáš Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiří Vahala

    9794-9801

    PDF
  • POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization

    Pascal Bercher, Conny Olz

    9785-9793

    PDF
  • On Succinct Groundings of HTN Planning Problems

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

    9775-9784

    PDF
  • Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications

    Suguman Bansal, Yong Li, Lucas Tabajara, Moshe Vardi

    9766-9774

    PDF

AAAI Technical Track: Reasoning under Uncertainty

  • Factorized Inference in Deep Markov Models for Incomplete Multimodal Time Series

    Tan Zhi-Xuan, Harold Soh, Desmond Ong

    10334-10341

    PDF
  • Modeling Probabilistic Commitments for Maintenance Is Inherently Harder than for Achievement

    Qi Zhang, Edmund Durfee, Satinder Singh

    10326-10333

    PDF
  • A Simultaneous Discover-Identify Approach to Causal Inference in Linear Models

    Chi Zhang, Bryant Chen, Judea Pearl

    10318-10325

    PDF
  • A New Framework for Online Testing of Heterogeneous Treatment Effect

    Miao Yu, Wenbin Lu, Rui Song

    10310-10317

    PDF
  • Recovering Causal Structures from Low-Order Conditional Independencies

    Marcel Wienöbst, Maciej Liskiewicz

    10302-10309

    PDF
  • Gradient-Based Optimization for Bayesian Preference Elicitation

    Ivan Vendrov, Tyler Lu, Qingqing Huang, Craig Boutilier

    10292-10301

    PDF
  • Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs

    Efthymia Tsamoura, Victor Gutierrez-Basulto, Angelika Kimmig

    10284-10291

    PDF
  • Off-Policy Evaluation in Partially Observable Environments

    Guy Tennenholtz, Uri Shalit, Shie Mannor

    10276-10283

    PDF
  • Error-Correcting and Verifiable Parallel Inference in Graphical Models

    Negin Karimi, Petteri Kaski, Mikko Koivisto

    10194-10201

    PDF
  • Estimating Causal Effects Using Weighting-Based Estimators

    Yonghan Jung, Jin Tian, Elias Bareinboim

    10186-10193

    PDF
  • Safe Linear Stochastic Bandits

    Kia Khezeli, Eilyan Bitar

    10202-10209

    PDF
  • General Transportability – Synthesizing Observations and Experiments from Heterogeneous Domains

    Sanghack Lee, Juan Correa, Elias Bareinboim

    10210-10217

    PDF
  • Temporal Logics Over Finite Traces with Uncertainty

    Fabrizio M Maggi, Marco Montali, Rafael Peñaloza

    10218-10225

    PDF
  • Parallel AND/OR Search for Marginal MAP

    Radu Marinescu, Akihiro Kishimoto, Adi Botea

    10226-10234

    PDF
  • Experimental Design for Optimization of Orthogonal Projection Pursuit Models

    Mojmir Mutny, Johannes Kirschner, Andreas Krause

    10235-10242

    PDF
  • Adversarial Disentanglement with Grouped Observations

    Jozsef Nemeth

    10243-10250

    PDF
  • Few-Shot Bayesian Imitation Learning with Logical Program Policies

    Tom Silver, Kelsey R. Allen, Alex K. Lew, Leslie Pack Kaelbling, Josh Tenenbaum

    10251-10258

    PDF
  • Tandem Inference: An Out-of-Core Streaming Algorithm for Very Large-Scale Relational Inference

    Sriram Srinivasan, Eriq Augustine, Lise Getoor

    10259-10266

    PDF
  • BOWL: Bayesian Optimization for Weight Learning in Probabilistic Soft Logic

    Sriram Srinivasan, Golnoosh Farnadi, Lise Getoor

    10267-10275

    PDF
  • The Choice Function Framework for Online Policy Improvement

    Murugeswari Issakkimuthu, Alan Fern, Prasad Tadepalli

    10178-10185

    PDF
  • Deception through Half-Truths

    Andrew Estornell, Sanmay Das, Yevgeniy Vorobeychik

    10110-10117

    PDF
  • Causal Transfer for Imitation Learning and Decision Making under Sensor-Shift

    Jalal Etesami, Philipp Geiger

    10118-10125

    PDF
  • Low-Variance Black-Box Gradient Estimates for the Plackett-Luce Distribution

    Artyom Gadetsky, Kirill Struminsky, Christopher Robinson, Novi Quadrianto, Dmitry Vetrov

    10126-10135

    PDF
  • Title

    Robert Ganian, Thekla Hamm, Topi Talvitie

    10136-10143

    PDF
  • A MaxSAT-Based Framework for Group Testing

    Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett, Kuldeep S Meel

    10144-10152

    PDF
  • Causal Discovery from Multiple Data Sets with Non-Identical Variable Sets

    Biwei Huang, Kun Zhang, Mingming Gong, Clark Glymour

    10153-10161

    PDF
  • Introducing Probabilistic Bézier Curves for N-Step Sequence Prediction

    Ronny Hug, Wolfgang Hübner, Michael Arens

    10162-10169

    PDF
  • Probabilistic Reasoning Across the Causal Hierarchy

    Duligur Ibeling, Thomas Icard

    10170-10177

    PDF
  • 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

    PDF
  • Reliable and Efficient Anytime Skeleton Learning

    Rui Ding, Yanzhi Liu, Jingjing Tian, Zhouyu Fu, Shi Han, Dongmei Zhang

    10101-10109

    PDF
  • A Calculus for Stochastic Interventions:Causal Effect Identification and Surrogate Experiments

    Juan Correa, Elias Bareinboim

    10093-10100

    PDF
  • Regret Minimisation in Multi-Armed Bandits Using Bounded Arm Memory

    Arghya Roy Chaudhuri, Shivaram Kalyanakrishnan

    10085-10092

    PDF
  • Learning Fair Naive Bayes Classifiers by Discovering and Eliminating Discrimination Patterns

    YooJung Choi, Golnoosh Farnadi, Behrouz Babaki, Guy Van den Broeck

    10077-10084

    PDF
  • Scalable Methods for Computing State Similarity in Deterministic Markov Decision Processes

    Pablo Samuel Castro

    10069-10076

    PDF
  • Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes

    Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer

    10061-10068

    PDF
  • Exchangeable Generative Models with Flow Scans

    Christopher Bender, Kevin O'Connor, Yang Li, Juan Garcia, Junier Oliva, Manzil Zaheer

    10053-10060

    PDF
  • Uncertainty-Aware Search Framework for Multi-Objective Bayesian Optimization

    Syrine Belakaria, Aryan Deshwal, Nitthilan Kannappan Jayakodi, Janardhan Rao Doppa

    10044-10052

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

    Syrine Belakaria, Aryan Deshwal, Janardhan Rao Doppa

    10035-10043

    PDF

AAAI Technical Track: Robotics

  • That and There: Judging the Intent of Pointing Actions with Robotic Arms

    Malihe Alikhani, Baber Khalid, Rahul Shome, Chaitanya Mitash, Kostas Bekris, Matthew Stone

    10343-10351

    PDF
  • Learning from Interventions Using Hierarchical Policies for Safe Learning

    Jing Bi, Vikas Dhiman, Tianyou Xiao, Chenliang Xu

    10352-10360

    PDF
  • On the Problem of Covering a 3-D Terrain

    Eduard Eiben, Isuru Godage, Iyad Kanj, Ge Xia

    10361-10368

    PDF
  • Long-Term Loop Closure Detection through Visual-Spatial Information Preserving Multi-Order Graph Matching

    Peng Gao, Hao Zhang

    10369-10376

    PDF
  • Adversarial Fence Patrolling: Non-Uniform Policies for Asymmetric Environments

    Yaniv Oshrat, Noa Agmon, Sarit Kraus

    10377-10384

    PDF
  • Task and Motion Planning Is PSPACE-Complete

    William Vega-Brown, Nicholas Roy

    10385-10392

    PDF
  • AtLoc: Attention Guided Camera Localization

    Bing Wang, Changhao Chen, Chris Xiaoxuan Lu, Peijun Zhao, Niki Trigoni, Andrew Markham

    10393-10401

    PDF
  • RoboCoDraw: Robotic Avatar Drawing with GAN-Based Style Transfer and Time-Efficient Path Optimization

    Tianying Wang, Wei Qi Toh, Hao Zhang, Xiuchao Sui, Shaohua Li, Yong Liu, Wei Jing

    10402-10409

    PDF
  • Dempster-Shafer Theoretic Learning of Indirect Speech Act Comprehension Norms

    Ruchen Wen, Mohammed Aun Siddiqui, Tom Williams

    10410-10417

    PDF
  • Modular Robot Design Synthesis with Deep Reinforcement Learning

    Julian Whitman, Raunaq Bhirangi, Matthew Travers, Howie Choset

    10418-10425

    PDF
  • Visual Tactile Fusion Object Clustering

    Tao Zhang, Yang Cong, Gan Sun, Qianqian Wang, Zhenming Ding

    10426-10433

    PDF

Primary Sidebar