A Framework for Interpreting Traces of Functional Logic Computations.

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

neural network
main contribution
logical framework
abductive reasoning
databases
learning algorithm
artificial intelligence
information systems
knowledge base
website
probabilistic model