A Formal Semantics for ProxyCommunicative Acts.

Marcus J. Huber Sanjeev Kumar Philip R. Cohen David McGee

Published in: ATAL (2001)

Keyphrases

formal semantics
speech acts
logical language
modeling language
logical reasoning
modelling language
first order logic
operational semantics
formal language
theorem prover
ontology languages
database
er model
design process
epistemic logic