ACL2 in DrScheme.

Dale Vaillancourt Rex L. Page Matthias Felleisen

Published in: ACL2 (2006)

Keyphrases

natural language learning
databases
information retrieval
artificial intelligence
machine learning
cooperative
relational databases
domain specific
sufficient conditions
language acquisition