Login / Signup
Some model theory for the modal μ-calculus: syntactic characterisations of semantic properties.
Gaëlle Fontaine
Yde Venema
Published in:
CoRR (2018)
Keyphrases
</>
probabilistic model
prior knowledge
database
high level
question answering
semantic properties