On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI.

Adnan Darwiche Pierre Marquis

Published in: CoRR (2021)

Keyphrases

boolean logic
truth values
artificial intelligence
inference rules
ai systems
knowledge based systems
expert systems
case based reasoning
machine learning
knowledge representation
intelligent systems
multi valued
databases
hidden markov models
horn clauses
fixpoint
special case
ai methods