Idealized Algol with Ground Recursion, and DPDA Equivalence.

Andrzej S. Murawski C.-H. Luke Ong Igor Walukiewicz

Published in: ICALP (2005)

Keyphrases

datalog programs
programming language
complex objects
deductive databases
interactive dynamic influence diagrams
information systems
machine learning
learning algorithm
social networks
three dimensional
data management
definite clause