Login / Signup

The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.

Carlos OlarteFrank D. Valencia
Published in: PPDP (2008)
Keyphrases
  • closure operator
  • closed sets
  • mining algorithm
  • query containment
  • description logics
  • case based reasoning
  • first order logic