Login / Signup
Testing the Integrity of Non-monotonic Knowledge Bases Containing Semi-Normal Defaults.
Neli Zlatareva
Published in:
FLAIRS Conference (2004)
Keyphrases
</>
knowledge base
default theories
test cases
default logic
description logics
knowledge based systems
default reasoning
expressive power
expert systems
software testing
knowledge representation
knowledge acquisition
databases
logic programming
database design