Automated Reasoning for Explainable Artificial Intelligence.
Maria Paola BonacinaPublished in: ARCADE@CADE (2017)
Keyphrases
- automated reasoning
- artificial intelligence
- knowledge representation
- knowledge representation and reasoning
- reasoning systems
- reasoning tasks
- theorem proving
- decision procedures
- theorem prover
- probabilistic reasoning
- expert systems
- automated verification
- first order logic
- valued logic
- machine learning
- propositional logic
- knowledge base
- propositional satisfiability
- intelligent systems
- markov random field
- description logics
- software engineering