Formal Semantics of Visual Occam.

Muhammed Al-Mulhem Shahid Ali

Published in: Comput. Lang. (1998)

Keyphrases

formal semantics
logical language
operational semantics
er model
modeling language
formal language
first order logic
logical reasoning
databases
high level
software engineering
multi agent
data types
expressive power
speech acts
ontology languages