Explaining Axiom Pinpointing.

Rafael Peñaloza

Published in: Description Logic, Theory Combination, and All That (2019)

Keyphrases

inference rules
modal logic
generating explanations
artificial intelligence
machine learning
small number
training data
feature vectors
training set
knowledge representation