On the Alternation-Free Horn Mu-calculus.

Jean-Marc Talbot

Published in: LPAR (2000)

Keyphrases

np hard
neural network
development environment
data sets
data mining
information retrieval
clustering algorithm
logic programs
knowledge compilation