Consequence-Based Axiom Pinpointing.

Ana Ozaki Rafael Peñaloza

Published in: SUM (2018)

Keyphrases

inference rules
modal logic
artificial intelligence
small number
supervised learning
training data
first order logic