Formal Semantics of Predictable Pipelines: a Comparative Study.

Mathieu Jan Mihail Asavoae Martin Schoeberl Edward A. Lee

Published in: ASP-DAC (2020)

Keyphrases

formal semantics
logical language
formal language
er model
operational semantics
logical reasoning
first order logic
expert systems
domain knowledge
theorem prover
modeling language
machine learning
user interface
speech acts
ontology languages