Search

Search Results

• Efficient Model-Based Diagnosis of Sequential Circuits

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

  2814-2821

  2020-04-03

• Proportional Belief Merging

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

  2822-2829

  2020-04-03

• Structural Decompositions of Epistemic Logic Programs

  Markus Hecher, Michael Morak, Stefan Woltran

  2830-2837

  2020-04-03

• Going Deep: Graph Convolutional Ladder-Shape Networks

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

  2838-2845

  2020-04-03

• Aggregation of Perspectives Using the Constellations Approach to Probabilistic Argumentation

  Anthony Hunter, Kawsar Noor

  2846-2853

  2020-04-03

• Least General Generalizations in Description Logic: Verification and Existence

  Jean Christoph Jung, Carsten Lutz, Frank Wolter

  2854-2861

  2020-04-03

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

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

  2862-2869

  2020-04-03

• Logics for Sizes with Union or Intersection

  Caleb Kisby, Saul Blanco, Alex Kruckman, Lawrence Moss

  2870-2876

  2020-04-03

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

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

  2877-2885

  2020-04-03

• Automatic Verification of Liveness Properties in the Situation Calculus

  Jian Li, Yongmei Liu

  2886-2892

  2020-04-03

• Path Ranking with Attention to Type Hierarchies

  Weiyu Liu, Angel Daruna, Zsolt Kira, Sonia Chernova

  2893-2900

  2020-04-03

• K-BERT: Enabling Language Representation with Knowledge Graph

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

  2901-2908

  2020-04-03

• Explanations for Inconsistency-Tolerant Query Answering under Existential Rules

  Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro

  2909-2916

  2020-04-03

• Resilient Logic Programs: Answer Set Programs Challenged by Ontologies

  Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus

  2917-2924

  2020-04-03

• Commonsense Knowledge Base Completion with Structural and Semantic Context

  Chaitanya Malaviya, Chandra Bhagavatula, Antoine Bosselut, Yejin Choi

  2925-2933

  2020-04-03

• Blameworthiness in Security Games

  Pavel Naumov, Jia Tao

  2934-2941

  2020-04-03

• Deciding Acceptance in Incomplete Argumentation Frameworks

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

  2942-2949

  2020-04-03

• Rule-Guided Compositional Representation Learning on Knowledge Graphs

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

  2950-2958

  2020-04-03

• Learning Query Inseparable εℒℋ Ontologies

  Ana Ozaki, Cosimo Persia, Andrea Mazzullo

  2959-2966

  2020-04-03

• Graph Representations for Higher-Order Logic and Theorem Proving

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

  2967-2974

  2020-04-03

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

  Giuseppe Pirrò

  2975-2982

  2020-04-03

• A Framework for Measuring Information Asymmetry

  Yakoub Salhi

  2983-2990

  2020-04-03

• Adversarial Deep Network Embedding for Cross-Network Node Classification

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

  2991-2999

  2020-04-03

• Contextual Parameter Generation for Knowledge Graph Link Prediction

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

  3000-3008

  2020-04-03

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

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

  3009-3016

  2020-04-03