Impredicative Concurrent Abstract Predicates.

Kasper Svendsen Lars Birkedal

Published in: ESOP (2014)

Keyphrases

higher level
neural network
real world
hidden markov models
predicate invention
database
data sets
databases
decision making
decision trees
high level
expert systems
relational databases
artificial neural networks
mobile robot