Login / Signup
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System.
Hai H. Nguyen
Natasha Alechina
Brian Logan
Published in:
Description Logics (2012)
Keyphrases
</>
inference rules
modal logic
training data
prior knowledge
semi supervised
natural language
feature space
first order logic
training samples