Papers
Enriching Ontology-based Data Access with Provenance
Diego Calvanese, Davide Lanti, Ana Ozaki et al.
Causal Discovery with Cascade Nonlinear Additive Noise Model
Ruichu Cai, Jie Qiao, Kun Zhang et al.
Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains
Ronen I. Brafman, Giuseppe De Giacomo
The Complexity of Model Checking Knowledge and Time
Laura Bozzelli, Bastien Maubert, Aniello Murano
Reasoning about Quality and Fuzziness of Strategic Behaviours
Patricia Bouyer, Orna Kupferman, Nicolas Markey et al.
Oblivious and Semi-Oblivious Boundedness for Existential Rules
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier et al.
Ontology Approximation in Horn Description Logics
Anneke Bötcher, Carsten Lutz, Frank Wolter
Guarantees for Sound Abstractions for Generalized Planning
Blai Bonet, Raquel Fuentetaja, Yolanda E-Martín et al.
Mixed-World Reasoning with Existential Rules under Active-Domain Semantics
Meghyn Bienvenu, Pierre Bourhis
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints
Michael Benedikt, Pierre Bourhis, Louis Jachiet et al.
Possibilistic Games with Incomplete Information
Nahla Ben Amor, Helene Fargier, Régis Sabbadin et al.
Comparing Options with Argument Schemes Powered by Cancellation
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet et al.
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
Bartosz Bednarczyk, Sebastian Rudolph
Stratified Evidence Logics
Philippe Balbiani, David Fernández-Duque, Andreas Herzig et al.
Do You Need Infinite Time?
Alessandro Artale, Andrea Mazzullo, Ana Ozaki
Observations on Darwiche and Pearl's Approach for Iterated Belief Revision
Theofanis Aravanis, Pavlos Peppas, Mary-Anne Williams
Compilation of Logical Arguments
Leila Amgoud, Dragan Doder
On the Integration of CP-nets in ASPRIN
Mario Alviano, Javier Romero, Torsten Schaub
ASP-based Discovery of Semi-Markovian Causal Models under Weaker Assumptions
Zhalama, Jiji Zhang, Frederick Eberhardt et al.
FAHT: An Adaptive Fairness-aware Decision Tree Classifier
Wenbin Zhang, Eirini Ntoutsi
Multiple Noisy Label Distribution Propagation for Crowdsourcing
Hao Zhang, Liangxiao Jiang, Wenqiang Xu
An Input-aware Factorization Machine for Sparse Prediction
Yantao Yu, Zhen Wang, Bo Yuan
DeepAPF: Deep Attentive Probabilistic Factorization for Multi-site Video Recommendation
Huan Yan, Xiangning Chen, Chen Gao et al.
Achieving Causal Fairness through Generative Adversarial Networks
Depeng Xu, Yongkai Wu, Shuhan Yuan et al.
Fast and Accurate Classification with a Multi-Spike Learning Algorithm for Spiking Neurons
Rong Xiao, Qiang Yu, Rui Yan et al.