Refining the Semantics of Epistemic Specifications.
Ezgi Iraz SuPublished in: ICLP Technical Communications (2021)
Keyphrases
- epistemic logic
- specification language
- operational semantics
- formal language
- control flow
- formal semantics
- attribute grammars
- logic programming
- modal operators
- high level
- logic program updates
- transformation rules
- conceptual graphs
- belief change
- concurrent systems
- logical framework
- reasoning tasks
- conceptual model
- delay insensitive
- programming language
- dynamic epistemic logic
- database