Login / Signup
On the Need for a Popular Formal Semantics.
David A. Schmidt
Published in:
ACM Comput. Surv. (1996)
Keyphrases
</>
formal semantics
operational semantics
modeling language
formal language
logical language
first order logic
logical reasoning
er model
ontology languages
speech acts
modelling language
owl dl ontology