C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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