A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics.

Ferhat Erata Arda Goknil Bedir Tekinerdogan Geylani Kardas

Published in: CoRR (2024)

Keyphrases

formal semantics
design rationale
operational semantics
modelling language
logical language
first order logic
probabilistic knowledge
er model
speech acts
expert systems
modeling language
formal language
ontology languages
logical reasoning
case study
software development