Revisiting Epistemic Specifications.
Miroslaw TruszczynskiPublished in: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Keyphrases
- bounded model checking
- computation tree logic
- delay insensitive
- belief change
- formal specification
- specification language
- control flow
- theoretical framework
- multiscale
- case study
- written in natural language
- evolutionary algorithm
- database
- high level
- formal verification
- formal language
- epistemic logic
- reactive systems
- web services
- databases