A modular formal semantics for Ptolemy.

Stavros Tripakis Christos Stergiou Chris Shaver Edward A. Lee

Published in: Math. Struct. Comput. Sci. (2013)

Keyphrases

formal semantics
modeling language
modelling language
logical reasoning
first order logic
er model
speech acts
operational semantics
formal language
theorem prover
ontology languages
owl dl ontology
epistemic logic
logical language
databases
knowledge representation