Login / Signup

A Formal Semantics for a Language with Type Extension.

Peter BancroftIan J. Hayes
Published in: ZUM (1995)
Keyphrases
  • formal semantics
  • logical language
  • formal language
  • operational semantics
  • modeling language
  • modelling language
  • speech acts
  • natural language
  • logical reasoning
  • er model
  • first order logic
  • owl dl ontology
  • data model