Login / Signup
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