Sign in

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

Cristian GratieAdina Magda FloreaJohn-Jules Ch. Meyer
Published in: CLIMA (2012)
Keyphrases
  • hybrid learning
  • data mining
  • information retrieval
  • website
  • relational databases
  • logic programs
  • invariant features