Formalisation of the lambda aleph Runtime.

Neal Glew Tim Sweeney Leaf Petersen

Published in: CoRR (2013)

Keyphrases

inductive logic programming
formal analysis
fixed point
relational learning
artificial intelligence
real time
neural network
learning algorithm
case study
prior knowledge
query processing
data model