Formal semantics for the PACEMAKER system specification.

Brian R. Larson

Published in: HILT (2014)

Keyphrases

formal semantics
formal language
modelling language
operational semantics
er model
logical language
modeling language
high level
first order logic
theorem prover
logical reasoning
speech acts
ontology languages
epistemic logic
databases