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