Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation.

Cristian Gratie Adina Magda Florea John-Jules Ch. Meyer

Published in: CLIMA (2012)

Keyphrases

hybrid learning
data mining
information retrieval
website
relational databases
logic programs
invariant features