Mechanising some Advanced Refinement Concepts.

Joakim von Wright Jukka Hekanaho P. Luostarinen Thomas Långbacka

Published in: TPHOLs (1992)

Keyphrases

real time
data sets
genetic algorithm
information systems
knowledge structures
relevant concepts
databases
real world
social networks
feature selection
decision making
artificial neural networks
user interface
concept learning
formal concept analysis