Distributional Formal Semantics.

Noortje J. Venhuizen Petra Hendriks Matthew W. Crocker Harm Brouwer

Published in: CoRR (2021)

Keyphrases

formal semantics
modeling language
operational semantics
first order logic
er model
formal language
theorem prover
ontology languages
modelling language
logical reasoning
logical language
machine learning
owl dl ontology