Login / Signup

Determinizing monitors for HML with recursion.

Luca AcetoAntonis AchilleosAdrian FrancalanzaAnna IngólfsdóttirSævar Örn Kjartansson
Published in: J. Log. Algebraic Methods Program. (2020)
Keyphrases
  • deductive databases
  • complex objects
  • databases
  • decision trees
  • feature extraction
  • transitive closure
  • datalog programs
  • high level
  • high dimensional
  • relational databases
  • end users
  • general purpose
  • logic programming