Papers
COTSAE: CO-Training of Structure and Attribute Embeddings for Entity Alignment
Kai Yang, Shaoqin Liu, Junfeng Zhao et al.
Query Answering with Guarded Existential Rules under Stable Model Semantics
Hai Wan, Guohui Xiao, Chenglin Wang et al.
InteractE: Improving Convolution-Based Knowledge Graph Embeddings by Increasing Feature Interactions
Shikhar Vashishth, Soumya Sanyal, Vikram Nitin et al.
Contextual Parameter Generation for Knowledge Graph Link Prediction
George Stoica, Otilia Stretcu, Emmanouil Antonios Platanios et al.
Adversarial Deep Network Embedding for Cross-Network Node Classification
Xiao Shen, Quanyu Dai, Fu-lai Chung et al.
A Framework for Measuring Information Asymmetry
Yakoub Salhi
Graph Representations for Higher-Order Logic and Theorem Proving
Aditya Paliwal, Sarah Loos, Markus Rabe et al.
Learning Query Inseparable εℒℋ Ontologies
Ana Ozaki, Cosimo Persia, Andrea Mazzullo
Rule-Guided Compositional Representation Learning on Knowledge Graphs
Guanglin Niu, Yongfei Zhang, Bo Li et al.
Deciding Acceptance in Incomplete Argumentation Frameworks
Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo et al.
Blameworthiness in Security Games
Pavel Naumov, Jia Tao
Commonsense Knowledge Base Completion with Structural and Semantic Context
Chaitanya Malaviya, Chandra Bhagavatula, Antoine Bosselut et al.
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies
Sanja Lukumbuzya, Magdalena Ortiz, Mantas Šimkus
Explanations for Inconsistency-Tolerant Query Answering under Existential Rules
Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
K-BERT: Enabling Language Representation with Knowledge Graph
Weijie Liu, Peng Zhou, Zhe Zhao et al.
Path Ranking with Attention to Type Hierarchies
Weiyu Liu, Angel Daruna, Zsolt Kira et al.
Automatic Verification of Liveness Properties in the Situation Calculus
Jian Li, Yongmei Liu
FastLAS: Scalable Inductive Logic Programming Incorporating Domain-Specific Optimisation Criteria
Mark Law, Alessandra Russo, Elisa Bertino et al.
Logics for Sizes with Union or Intersection
Caleb Kisby, Saul Blanco, Alex Kruckman et al.
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev et al.
Least General Generalizations in Description Logic: Verification and Existence
Jean Christoph Jung, Carsten Lutz, Frank Wolter
Aggregation of Perspectives Using the Constellations Approach to Probabilistic Argumentation
Anthony Hunter, Kawsar Noor
Going Deep: Graph Convolutional Ladder-Shape Networks
Ruiqi Hu, Shirui Pan, Guodong Long et al.
Structural Decompositions of Epistemic Logic Programs
Markus Hecher, Michael Morak, Stefan Woltran