Abstract Counterexamples for Non-disjunctive Abstractions.

Kenneth L. McMillan Lenore D. Zuck

Published in: RP (2009)

Keyphrases

high level
abstract data types
low level
higher level
neural network
three dimensional
learning environment
data types
temporal abstractions
machine learning
information retrieval
multi agent
answer sets
datalog programs