• 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
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 34 /

Vol. 34 No. 03: AAAI-20 Technical Tracks 3

AAAI Technical Track: Heuristic Search and Optimization

  • Enumerating Maximal k-Plexes with Worst-Case Time Guarantee

    Yi Zhou, Jingwei Xu, Zhenyu Guo, Mingyu Xiao, Yan Jin

    2442-2449

    PDF
  • A Unifying View on Individual Bounds and Heuristic Inaccuracies in Bidirectional Search

    Vidal Alcázar, Pat Riddle, Mike Barley

    2327-2334

    PDF
  • An Interactive Regret-Based Genetic Algorithm for Solving Multi-Objective Combinatorial Optimization Problems

    Nawal Benabbou, Cassandre Leroy, Thibaut Lust

    2335-2342

    PDF
  • Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem

    Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen

    2343-2350

    PDF
  • Envelope-Based Approaches to Real-Time Heuristic Search

    Kevin Gall, Bence Cserna, Wheeler Ruml

    2351-2358

    PDF
  • Runtime Analysis of Somatic Contiguous Hypermutation Operators in MOEA/D Framework

    Zhengxin Huang, Yuren Zhou

    2359-2366

    PDF
  • Learning to Optimize Variational Quantum Circuits to Solve Combinatorial Problems

    Sami Khairy, Ruslan Shaydulin, Lukasz Cincio, Yuri Alexeev, Prasanna Balaprakash

    2367-2375

    PDF
  • How the Duration of the Learning Period Affects the Performance of Random Gradient Selection Hyper-Heuristics

    Andrei Lissovoi, Pietro Oliveto, John Alasdair Warwicker

    2376-2383

    PDF
  • On Performance Estimation in Automatic Algorithm Configuration

    Shengcai Liu, Ke Tang, Yunwei Lei, Xin Yao

    2384-2391

    PDF
  • A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems

    Yanli Liu, Chu-Min Li, Hua Jiang, Kun He

    2392-2399

    PDF
  • Cakewalk Sampling

    Uri Patish, Shimon Ullman

    2400-2407

    PDF
  • Subset Selection by Pareto Optimization with Recombination

    Chao Qian, Chao Bian, Chao Feng

    2408-2415

    PDF
  • Asymptotic Risk of Bézier Simplex Fitting

    Akinori Tanaka, Akiyoshi Sannai, Ken Kobayashi, Naoki Hamada

    2416-2424

    PDF
  • Trading Convergence Rate with Computational Budget in High Dimensional Bayesian Optimization

    Hung Tran-The, Sunil Gupta, Santu Rana, Svetha Venkatesh

    2425-2432

    PDF
  • Reduction and Local Search for Weighted Graph Coloring Problem

    Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Monghao Yin

    2433-2441

    PDF

AAAI Technical Track: Human-AI Collaboration

  • A Human-AI Loop Approach for Joint Keyword Discovery and Expectation Estimation in Micropost Event Detection

    Akansha Bhardwaj, Jie Yang, Philippe Cudré-Mauroux

    2451-2458

    PDF
  • Just Ask: An Interactive Learning Framework for Vision and Language Navigation

    Ta-Chung Chi, Minmin Shen, Mihail Eric, Seokhwan Kim, Dilek Hakkani-tur

    2459-2466

    PDF
  • Asymptotically Unambitious Artificial General Intelligence

    Michael Cohen, Badri Vellambi, Marcus Hutter

    2467-2476

    PDF
  • A Framework for Engineering Human/Agent Teaming Systems

    Rick Evertsz, John Thangarajah

    2477-2484

    PDF
  • What Is It You Really Want of Me? Generalized Reward Learning with Biased Beliefs about Domain Dynamics

    Ze Gong, Yu Zhang

    2485-2492

    PDF
  • Explainable Reinforcement Learning through a Causal Lens

    Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere

    2493-2500

    PDF
  • Relative Attributing Propagation: Interpreting the Comparative Contributions of Individual Units in Deep Neural Networks

    Woo-Jeoung Nam, Shir Gur, Jaesik Choi, Lior Wolf, Seong-Whan Lee

    2501-2508

    PDF
  • Human-Machine Collaboration for Fast Land Cover Mapping

    Caleb Robinson, Anthony Ortiz, Kolya Malkin, Blake Elias, Andi Peng, Dan Morris, Bistra Dilkina, Nebojsa Jojic

    2509-2517

    PDF
  • Expectation-Aware Planning: A Unifying Framework for Synthesizing and Executing Self-Explaining Plans for Human-Aware Planning

    Sarath Sreedharan, Tathagata Chakraborti, Christian Muise, Subbarao Kambhampati

    2518-2526

    PDF
  • Corpus-Level End-to-End Exploration for Interactive Systems

    Zhiwen Tang, Grace Hui Yang

    2527-2534

    PDF
  • Learning to Interactively Learn and Assist

    Mark Woodward, Chelsea Finn, Karol Hausman

    2535-2543

    PDF
  • CG-GAN: An Interactive Evolutionary GAN-Based Approach for Facial Composite Generation

    Nicola Zaltron, Luisa Zurlo, Sebastian Risi

    2544-2551

    PDF
  • Querying to Find a Safe Policy under Uncertain Safety Constraints in Markov Decision Processes

    Shun Zhang, Edmund Durfee, Satinder Singh

    2552-2559

    PDF

AAAI Technical Track: Human-Computation and Crowd Sourcing

  • BAR — A Reinforcement Learning Agent for Bounding-Box Automated Refinement

    Morgane Ayle, Jimmy Tekli, Julia El-Zini, Boulos El-Asmar, Mariette Awad

    2561-2568

    PDF
  • Cost-Accuracy Aware Adaptive Labeling for Active Learning

    Ruijiang Gao, Maytal Saar-Tsechansky

    2569-2576

    PDF
  • HirePeer: Impartial Peer-Assessed Hiring at Scale in Expert Crowdsourcing Markets

    Yasmine Kotturi, Anson Kahng, Ariel Procaccia, Chinmay Kulkarni

    2577-2584

    PDF
  • Fine-Grained Machine Teaching with Attention Modeling

    Jiacheng Liu, Xiaofeng Hou, Feilong Tang

    2585-2592

    PDF

AAAI Technical Track: Humans and AI

  • Regression under Human Assistance

    Abir De, Paramita Koley, Niloy Ganguly, Manuel Gomez-Rodriguez

    2611-2620

    PDF
  • MIMAMO Net: Integrating Micro- and Macro-Motion for Video Emotion Recognition

    Didan Deng, Zhaokang Chen, Yuqian Zhou, Bertram Shi

    2621-2628

    PDF
  • Conditional Generative Neural Decoding with Structured CNN Feature Prediction

    Changde Du, Changying Du, Lijie Huang, Huiguang He

    2629-2636

    PDF
  • GaSPing for Utility

    Mengyang Gu, Debarun Bhattacharjya, Dharmashankar Subramanian

    2637-2644

    PDF
  • Harnessing GANs for Zero-Shot Learning of New Classes in Visual Speech Recognition

    Yaman Kumar, Dhruva Sahrawat, Shubham Maheshwari, Debanjan Mahata, Amanda Stent, Yifang Yin, Rajiv Ratn Shah, Roger Zimmermann

    2645-2652

    PDF
  • Graph-Based Decoding Model for Functional Alignment of Unaligned fMRI Data

    Weida Li, Mingxia Liu, Fang Chen, Daoqiang Zhang

    2653-2660

    PDF
  • Multi-Source Domain Adaptation for Visual Sentiment Classification

    Chuang Lin, Sicheng Zhao, Lei Meng, Tat-Seng Chua

    2661-2668

    PDF
  • Learning Graph Convolutional Network for Skeleton-Based Human Action Recognition by Neural Searching

    Wei Peng, Xiaopeng Hong, Haoyu Chen, Guoying Zhao

    2669-2676

    PDF
  • UCF-STAR: A Large Scale Still Image Dataset for Understanding Human Actions

    Marjaneh Safaei, Pooyan Balouchian, Hassan Foroosh

    2677-2684

    PDF
  • Towards Socially Responsible AI: Cognitive Bias-Aware Multi-Objective Learning

    Procheta Sen, Debasis Ganguly

    2685-2692

    PDF
  • Reinforcing an Image Caption Generator Using Off-Line Human Feedback

    Paul Hongsuck Seo, Piyush Sharma, Tomer Levinboim, Bohyung Han, Radu Soricut

    2693-2700

    PDF
  • Instance-Adaptive Graph for EEG Emotion Recognition

    Tengfei Song, Suyuan Liu, Wenming Zheng, Yuan Zong, Zhen Cui

    2701-2708

    PDF
  • Variational Pathway Reasoning for EEG Emotion Recognition

    Tong Zhang, Zhen Cui, Chunyan Xu, Wenming Zheng, Jian Yang

    2709-2716

    PDF
  • Crowd-Assisted Disaster Scene Assessment with Human-AI Interactive Attention

    Daniel (Yue) Zhang, Yifeng Huang, Yang Zhang, Dong Wang

    2717-2724

    PDF
  • CoCoX: Generating Conceptual and Counterfactual Explanations via Fault-Lines

    Arjun Akula, Shuai Wang, Song-Chun Zhu

    2594-2601

    PDF
  • Towards Awareness of Human Relational Strategies in Virtual Agents

    Ian Beaver, Cynthia Freeman, Abdullah Mueen

    2602-2610

    PDF

AAAI Technical Track: Knowledge Representation and Reasoning

  • Blameworthiness in Security Games

    Pavel Naumov, Jia Tao

    2934-2941

    PDF
  • Deciding Acceptance in Incomplete Argumentation Frameworks

    Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo, Jörg Rothe

    2942-2949

    PDF
  • Rule-Guided Compositional Representation Learning on Knowledge Graphs

    Guanglin Niu, Yongfei Zhang, Bo Li, Peng Cui, Si Liu, Jingyang Li, Xiaowei Zhang

    2950-2958

    PDF
  • Learning Query Inseparable εℒℋ Ontologies

    Ana Ozaki, Cosimo Persia, Andrea Mazzullo

    2959-2966

    PDF
  • Graph Representations for Higher-Order Logic and Theorem Proving

    Aditya Paliwal, Sarah Loos, Markus Rabe, Kshitij Bansal, Christian Szegedy

    2967-2974

    PDF
  • Relatedness and TBox-Driven Rule Learning in Large Knowledge Bases

    Giuseppe Pirrò

    2975-2982

    PDF
  • A Framework for Measuring Information Asymmetry

    Yakoub Salhi

    2983-2990

    PDF
  • Adversarial Deep Network Embedding for Cross-Network Node Classification

    Xiao Shen, Quanyu Dai, Fu-lai Chung, Wei Lu, Kup-Sze Choi

    2991-2999

    PDF
  • Contextual Parameter Generation for Knowledge Graph Link Prediction

    George Stoica, Otilia Stretcu, Emmanouil Antonios Platanios, Tom Mitchell, Barnabás Póczos

    3000-3008

    PDF
  • InteractE: Improving Convolution-Based Knowledge Graph Embeddings by Increasing Feature Interactions

    Shikhar Vashishth, Soumya Sanyal, Vikram Nitin, Nilesh Agrawal, Partha Talukdar

    3009-3016

    PDF
  • Query Answering with Guarded Existential Rules under Stable Model Semantics

    Hai Wan, Guohui Xiao, Chenglin Wang, Xianqiao Liu, Junhong Chen, Zhe Wang

    3017-3024

    PDF
  • COTSAE: CO-Training of Structure and Attribute Embeddings for Entity Alignment

    Kai Yang, Shaoqin Liu, Junfeng Zhao, Yasha Wang, Bing Xie

    3025-3032

    PDF
  • Ranking-Based Semantics for Sets of Attacking Arguments

    Bruno Yun, Srdjan Vesic, Madalina Croitoru

    3033-3040

    PDF
  • Few-Shot Knowledge Graph Completion

    Chuxu Zhang, Huaxiu Yao, Chao Huang, Meng Jiang, Zhenhui Li, Nitesh V. Chawla

    3041-3048

    PDF
  • Towards Universal Languages for Tractable Ontology Mediated Query Answering

    Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang

    3049-3056

    PDF
  • On the Expressivity of ASK Queries in SPARQL

    Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Heng Zhang, Xuanxing Yang, Zhiyong Feng

    3057-3064

    PDF
  • Learning Hierarchy-Aware Knowledge Graph Embeddings for Link Prediction

    Zhanqiu Zhang, Jianyu Cai, Yongdong Zhang, Jie Wang

    3065-3072

    PDF
  • A Practical Approach to Forgetting in Description Logics with Nominals

    Yizheng Zhao, Renate Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng

    3073-3079

    PDF
  • Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

    Sen Zheng, Renate Schmidt

    3080-3087

    PDF
  • LTLƒ Synthesis with Fairness and Stability Assumptions

    Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi

    3088-3095

    PDF
  • ParamE: Regarding Neural Network Parameters as Relation Embeddings for Knowledge Graph Completion

    Feihu Che, Dawei Zhang, Jianhua Tao, Mingyue Niu, Bocheng Zhao

    2774-2781

    PDF
  • Answering Conjunctive Queries with Inequalities in DL-Liteℛ

    Gianluca Cima, Maurizio Lenzerini, Antonella Poggi

    2782-2789

    PDF
  • Epistemic Integrity Constraints for Ontology-Based Data Management

    Marco Console, Maurizio Lenzerini

    2790-2797

    PDF
  • Hypothetical Answers to Continuous Queries over Data Streams

    Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar

    2798-2805

    PDF
  • ElGolog: A High-Level Programming Language with Memory of the Execution History

    Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska

    2806-2813

    PDF
  • Efficient Model-Based Diagnosis of Sequential Circuits

    Alexander Feldman, Ingo Pill, Franza Wotawa, Ion Matei, Johan de Kleer

    2814-2821

    PDF
  • Proportional Belief Merging

    Adrian Haret, Martin Lackner, Andreas Pfandler, Johannes P. Wallner

    2822-2829

    PDF
  • Structural Decompositions of Epistemic Logic Programs

    Markus Hecher, Michael Morak, Stefan Woltran

    2830-2837

    PDF
  • Going Deep: Graph Convolutional Ladder-Shape Networks

    Ruiqi Hu, Shirui Pan, Guodong Long, Qinghua Lu, Liming Zhu, Jing Jiang

    2838-2845

    PDF
  • Aggregation of Perspectives Using the Constellations Approach to Probabilistic Argumentation

    Anthony Hunter, Kawsar Noor

    2846-2853

    PDF
  • Least General Generalizations in Description Logic: Verification and Existence

    Jean Christoph Jung, Carsten Lutz, Frank Wolter

    2854-2861

    PDF
  • Complexity and Expressive Power of Disjunction and Negation in Limit Datalog

    Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Ian Horrocks

    2862-2869

    PDF
  • Logics for Sizes with Union or Intersection

    Caleb Kisby, Saul Blanco, Alex Kruckman, Lawrence Moss

    2870-2876

    PDF
  • FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria

    Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, Jorge Lobo

    2877-2885

    PDF
  • Automatic Verification of Liveness Properties in the Situation Calculus

    Jian Li, Yongmei Liu

    2886-2892

    PDF
  • Path Ranking with Attention to Type Hierarchies

    Weiyu Liu, Angel Daruna, Zsolt Kira, Sonia Chernova

    2893-2900

    PDF
  • K-BERT: Enabling Language Representation with Knowledge Graph

    Weijie Liu, Peng Zhou, Zhe Zhao, Zhiruo Wang, Qi Ju, Haotang Deng, Ping Wang

    2901-2908

    PDF
  • Explanations for Inconsistency-Tolerant Query Answering under Existential Rules

    Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro

    2909-2916

    PDF
  • Resilient Logic Programs: Answer Set Programs Challenged by Ontologies

    Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus

    2917-2924

    PDF
  • Commonsense Knowledge Base Completion with Structural and Semantic Context

    Chaitanya Malaviya, Chandra Bhagavatula, Antoine Bosselut, Yejin Choi

    2925-2933

    PDF
  • Learning and Reasoning for Robot Sequential Decision Making under Uncertainty

    Saeid Amiri, Mohammad Shokrolah Shirazi, Shiqi Zhang

    2726-2733

    PDF
  • Query Rewriting for Ontology-Mediated Conditional Answers

    Medina Andresel, Magdalena Ortiz, Mantas Simkus

    2734-2741

    PDF
  • Revisiting the Foundations of Abstract Argumentation – Semantics Based on Weak Admissibility and Weak Defense

    Ringo Baumann, Gerhard Brewka, Markus Ulbricht

    2742-2749

    PDF
  • Forgetting an Argument

    Ringo Baumann, Dov Gabbay, Odinaldo Rodrigues

    2750-2757

    PDF
  • Checking Chase Termination over Ontologies of Existential Rules with Equality

    David Carral, Jacopo Urbani

    2758-2765

    PDF
  • Model-Based Diagnosis with Uncertain Observations

    Dean Cazes, Meir Kalech

    2766-2773

    PDF

Primary Sidebar