Login / Signup
Pragmatics for formal semantics.
Olivier Danvy
Published in:
GPCE (2011)
Keyphrases
</>
formal semantics
modeling language
formal language
logical language
operational semantics
er model
logical reasoning
ontology languages
first order logic
modelling language
theorem prover
speech acts
xml documents
object oriented
knowledge management
owl dl ontology