Determinizing Monitors for HML with Recursion.

Luca Aceto Antonis Achilleos Adrian Francalanza Anna Ingólfsdóttir Sævar Örn Kjartansson

Published in: CoRR (2016)

Keyphrases

complex objects
deductive databases
datalog programs
machine learning
artificial intelligence
transitive closure
prior knowledge
query answering