Translating TROLL light Concepts to Maude.

Grit Denker Martin Gogolla

Published in: COMPASS/ADT (1992)

Keyphrases

machine learning
formal concept analysis
real world
key concepts
bayesian networks
domain ontology
domain knowledge
formal specification
concept lattice
concept maps
natural language processing
probabilistic model
data sets
search algorithm
high level
website
databases