Delivering Trustworthy AI through Formal XAI.
João Marques-SilvaAlexey IgnatievPublished in: AAAI (2022)
Keyphrases
- artificial intelligence
- ai systems
- computational logic
- case based reasoning
- expert systems
- intelligent systems
- machine learning
- knowledge representation
- data sets
- formal model
- formal methods
- formal models
- areas of computer science
- ai technologies
- ai methods
- lecture notes in artificial intelligence
- logic programming
- formal language
- areas of artificial intelligence
- formal analysis
- knowledge based systems
- computational intelligence
- computer science
- search algorithm
- database systems
- databases