An Automated Approach for the Interpretation of Counter-Examples.

Lionel van den Berg Paul A. Strooper Wendy Johnston

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

counter examples
logic programs
semantic interpretation
image interpretation
answer sets
high level
cooperative
domain independent
domain specific
digital libraries
real time
database systems
case study
image processing
knowledge base
machine learning
data sets