Recursion principles for syntax with bindings and substitution.

Andrei Popescu Elsa L. Gunter

Published in: ICFP (2011)

Keyphrases

datalog programs
natural language
learning algorithm
complex objects
real time
machine learning
artificial intelligence
social networks
web pages
case study
multi agent systems
digital libraries
information technology
design principles