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