Papers
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability
Liangda Fang, Kewen Wang, Zhe Wang et al.
Strong Equivalence for Epistemic Logic Programs Made Easy
Wolfgang Faber, Michael Morak, Stefan Woltran
Complexity of Abstract Argumentation under a Claim-Centric View
Wolfgang Dvořák, Stefan Woltran
On Structured Argumentation with Conditional Preferences
Phan Minh Dung, Phan Minh Thang, Tran Cao Son
Validation of Growing Knowledge Graphs by Abductive Text Evidences
Jianfeng Du, Jeff Z. Pan, Sylvia Wang et al.
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable
Heshan Du, Natasha Alechina
ABox Abduction via Forgetting in ALC
Warren Del-Pinto, Renate A. Schmidt
Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty
Daniel de Leng, Fredrik Heintz
Argumentation for Explainable Scheduling
Kristijonas Čyras, Dimitrios Letsios, Ruth Misener et al.
Identification of Causal Effects in the Presence of Selection Bias
Juan D. Correa, Jin Tian, Elias Bareinboim
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment
David Carral, Larry González, Patrick Koopmann
Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models
Andreas Bunte, Benno Stein, Oliver Niggemann
Querying Attributed DL-Lite Ontologies Using Provenance Semirings
Camille Bourgaux, Ana Ozaki
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data
Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
Learning Features and Abstract Actions for Computing Generalized Plans
Blai Bonet, Guillem Francès, Hector Geffner
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
Abstracting Causal Models
Sander Beckers, Joseph Y. Halpern
Extension Removal in Abstract Argumentation – An Axiomatic Approach
Ringo Baumann, Gerhard Brewka
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees
Alexander Bagnall, Gordon Stewart
Relaxing and Restraining Queries for OBDA
Medina Andreşel, Yazmín Ibáñez-García, Magdalena Ortiz et al.
Unbounded Orchestrations of Transducers for Manufacturing
Natasha Alechina, Tomáš Brázdil, Giuseppe De Giacomo et al.
Satisfiability in Strategy Logic Can Be Easier than Model Checking
Erman Acar, Massimo Benerecetti, Fabio Mogavero
Preference-Aware Task Assignment in Spatial Crowdsourcing
Yan Zhao, Jinfu Xia, Guanfeng Liu et al.
CycleEmotionGAN: Emotional Semantic Consistency Preserved CycleGAN for Adapting Image Emotions
Sicheng Zhao, Chuang Lin, Pengfei Xu et al.