Formal Semantics for Expressing Optimism: The Meaning of HOPE.

Crispin Cowan Hanan Lutfiyya

Published in: PODC (1995)

Keyphrases

formal semantics
speech acts
logical language
operational semantics
er model
logical reasoning
formal language
modeling language
modelling language
first order logic
natural language
theorem prover
knowledge representation
machine learning
ontology languages
databases
database