Validation of first-order stratified KBs.

Éric Grégoire David Ansart

Published in: KES (2000)

Keyphrases

knowledge based systems
knowledge base
higher order
knowledge acquisition
first order logic
knowledge representation
stochastic dominance
case study
special case
horn clauses
data sets
artificial intelligence
image segmentation
expert systems
knowledge engineering
linear temporal logic