On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract).
Adnan DarwichePierre MarquisPublished in: IJCAI (2022)
Keyphrases
- extended abstract
- boolean logic
- truth values
- artificial intelligence
- inference rules
- expert systems
- knowledge representation
- case based reasoning
- intelligent systems
- multi valued
- machine learning
- ai methods
- ai technologies
- databases
- fixpoint
- ai systems
- database applications
- random walk
- knowledge based systems
- logic programs
- database systems