Adapting the Portuguese Braille System to Formal Semantics.

Luís Filipe Costa Cunha

Published in: LT-EDI@EACL (2021)

Keyphrases

formal semantics
logical language
formal language
er model
operational semantics
modelling language
theorem prover
speech acts
first order logic
logical reasoning
databases
source code
modeling language
ontology languages
epistemic logic