Formal Semantics in the Real World.

Published in: GoTAL (2008)

Keyphrases

formal semantics
real world
logical reasoning
operational semantics
modeling language
logical language
modelling language
er model
formal language
theorem prover
ontology languages
first order logic
speech acts
life cycle
expressive power
domain knowledge
expert systems
data mining