Sign in

Detecting Inconsistencies in Large First-Order Knowledge Bases.

Stephan SchulzGeoff SutcliffeJosef UrbanAdam Pease
Published in: CADE (2017)
Keyphrases