Login / Signup
Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI.
Suzanna Sia
Anton Belyy
Amjad Almahairi
Madian Khabsa
Luke Zettlemoyer
Lambert Mathias
Published in:
CoRR (2022)
Keyphrases
</>
causal models
logical language
logical implication
satisfiability problem
computational complexity
np complete
functional dependencies
logical reasoning
neural network
automated reasoning
terminological reasoning
logical operations
decision procedures
probabilistic logic
propositional logic
phase transition
stochastic local search
logical properties
description logics
information systems
generating explanations
artificial intelligence