Login / Signup

Formal Semantics of Acknowledgements, Agreements and Disagreements.

Norihiro Ogata
Published in: PRIMA (1999)
Keyphrases
  • formal semantics
  • logical language
  • modeling language
  • formal language
  • logical reasoning
  • er model
  • operational semantics
  • first order logic
  • theorem prover
  • ontology languages
  • domain knowledge
  • speech acts
  • databases