Login / Signup
Thirty years of Epistemic Specifications.
Jorge Fandinno
Wolfgang Faber
Michael Gelfond
Published in:
CoRR (2021)
Keyphrases
</>
high level
belief change
operational semantics
epistemic logic
database systems
model checker
delay insensitive
written in natural language
independent natural extension
real time
model checking
formal specification
functional requirements
specification language
transition systems