Inconsistency of GPK + AFA.

Published in: Math. Log. Q. (1996)

Keyphrases

integrity checking
data sets
information systems
knowledge base
real time
machine learning
data structure
pairwise
data model
integrity constraints
classical logic
inconsistent information