Thirty years of Epistemic Specifications.
Jorge FandinnoWolfgang FaberMichael GelfondPublished in: Theory Pract. Log. Program. (2022)
Keyphrases
- computation tree logic
- bounded model checking
- formal verification
- delay insensitive
- functional requirements
- high level
- model checking
- belief change
- specification language
- data sets
- conceptual change
- epistemic logic
- knowledge base
- written in natural language
- formal specification
- concurrent systems
- transition systems
- data mining