Autoepistemic equilibrium logic and epistemic specifications.
Ezgi Iraz SuLuis Fariñas del CerroAndreas HerzigPublished in: Artif. Intell. (2020)
Keyphrases
- modal logic
- epistemic logic
- autoepistemic logic
- default logic
- delay insensitive
- belief change
- default theories
- reactive systems
- formal specification
- modal operators
- nonmonotonic logics
- temporal logic
- high level
- neural network
- dynamic epistemic logic
- independent natural extension
- real time
- model checker
- control flow
- functional requirements
- expert systems
- information systems