Formal Semantics for Mutual Belief.

Marco Colombetti

Published in: Artif. Intell. (1993)

Keyphrases

formal semantics
logical language
belief functions
operational semantics
modeling language
logical reasoning
first order logic
belief revision
theorem prover
er model
formal language
ontology languages
modelling language
machine learning
speech acts
relational database systems
domain knowledge
database