Papers
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.
Consensual Affine Transformations for Partial Valuation Aggregation
Hermann Schichl, Meinolf Sellmann
Be Inaccurate but Don’t Be Indecisive: How Error Distribution Can Affect User Experience
Rafael R. Padovani, Lucas N. Ferreira, Levi H. S. Lelis
Goal-Oriented Dialogue Policy Learning from Failures
Keting Lu, Shiqi Zhang, Xiaoping Chen
Lipper: Synthesizing Thy Speech Using Multi-View Lipreading
Yaman Kumar, Rohit Jain, Khwaja Mohd. Salik et al.