On global induction mechanisms in a µ-calculus with explicit approximations.

Christoph Sprenger Mads Dam

Published in: RAIRO Theor. Informatics Appl. (2003)

Keyphrases

machine learning
global information
database
neural network
knowledge base
search algorithm
natural language
level set
closed form
provably correct