Distributional formal semantics.

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

Published in: Inf. Comput. (2022)

Keyphrases

formal semantics
logical language
operational semantics
first order logic
formal language
logical reasoning
er model
theorem prover
modeling language
speech acts
modelling language
databases
knowledge base
black box
owl dl ontology