A note on global induction in a mu-calculus with explicit approximations.

Christoph Sprenger Mads Dam

Published in: FICS (2002)

Keyphrases

machine learning
concept formation
databases
concept learning
information systems
multiscale
development environment
subgroup discovery
computationally tractable
onset detection