The Variable Hierarchy for the Lattice µ-Calculus.

Walid Belkhir Luigi Santocanale

Published in: LPAR (2008)

Keyphrases

algebraic structure
data sets
concept lattice
lattice structure
automated deduction
real time
machine learning
artificial intelligence
knowledge base
decision trees
high level
logic programs