Login / Signup
The language of epistemic specifications (refined) including a prototype solver.
Patrick Kahl
Richard Watson
Evgenii Balai
Michael Gelfond
Yuanlin Zhang
Published in:
J. Log. Comput. (2020)
Keyphrases
</>
specification language
operational semantics
formal language
programming language
high level
controlled natural language
database
natural language
test bed
formal specification
software engineering
language learning
modular architecture
java programming
dynamic epistemic logic