Consequence-Based Axiom Pinpointing.

Ana Ozaki Rafael Peñaloza

Published in: CoRR (2018)

Keyphrases

inference rules
modal logic
learning algorithm
bayesian networks
probabilistic model
active learning
semi supervised
training samples