Symbolic Synthesis for Epistemic Specifications with Observational Semantics.
Xiaowei HuangRon van der MeydenPublished in: TACAS (2014)
Keyphrases
- epistemic logic
- specification language
- operational semantics
- high level
- formal language
- formal semantics
- logic program updates
- control flow
- modal operators
- formal specification
- semantic information
- program synthesis
- model checking
- attribute grammars
- semantic representation
- semantic constraints
- logic programming
- propositional dynamic logic
- belief change
- symbolic representation
- model checker
- object oriented