116 citations · 122 across the 8 of their papers we have counts for
8 papers
Why this and not that? A Logic-based Framework for Contrastive Explanations
Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto +2
We define several canonical problems related to contrastive explanations, each answering a question of the form ''Why P but not Q?''. The problems compute causes for both P and Q,…
A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals
Carlos Aguilera-Ventura, Xinghan Liu, Emiliano Lorini +1
We present a computationally grounded semantics for counterfactual conditionals in which i) the state in a model is decomposed into two elements: a propositional valuation and a ca…
SemProtector: A Unified Framework for Semantic Protection in Deep Learning-based Semantic Communication Systems
Xinghan Liu, Guoshun Nan, Qimei Cui +6
Recently proliferated semantic communications (SC) aim at effectively transmitting the semantics conveyed by the source and accurately interpreting the meaning at the destination.…
Boosting Physical Layer Black-Box Attacks with Semantic Adversaries in Semantic Communications
Zeju Li, Xinghan Liu, Guoshun Nan +4
End-to-end semantic communication (ESC) system is able to improve communication efficiency by only transmitting the semantics of the input rather than raw bits. Although promising,…
Modelling and Explaining Legal Case-based Reasoners through Classifiers
Xinghan Liu, Emiliano Lorini, Antonino Rotolo +1
This paper brings together two lines of research: factor-based models of case-based reasoning (CBR) and the logical specification of classifiers. Logical approaches to classifiers…
A Logic of "Black Box" Classifier Systems
Xinghan Liu, Emiliano Lorini
Binary classifiers are traditionally studied by propositional logic (PL). PL can only represent them as white boxes, under the assumption that the underlying Boolean function is fu…
CogVideo: Large-scale Pretraining for Text-to-Video Generation via Transformers
Wenyi Hong, Ming Ding, Wendi Zheng +2
Large-scale pretrained transformers have created milestones in text (GPT-3) and text-to-image (DALL-E and CogView) generation. Its application to video generation is still facing m…
A unified logical framework for explanations in classifier systems
Xinghan Liu, Emiliano Lorini
Recent years have witnessed a renewed interest in Boolean function in explaining binary classifiers in the field of explainable AI (XAI). The standard approach of Boolean function…