Temporal deontic action logic for the verification of compliance to norms in ASP.
Laura GiordanoAlberto MartelliDaniele Theseider DupréPublished in: ICAIL (2013)
Keyphrases
- deontic logic
- classical logic
- linear temporal logic
- asynchronous circuits
- model checking
- normative systems
- temporal logic
- transition systems
- multi agent systems
- verification method
- bounded model checking
- spatio temporal
- answer set programming
- logic programming
- reasoning about actions
- modal logic
- temporal reasoning
- temporal databases
- web applications
- model checker
- temporal information
- temporal patterns
- concurrent systems
- temporal data
- signature verification
- spatial and temporal
- temporal constraints
- temporal knowledge
- multi agent
- space time
- human actions
- nonmonotonic logics
- temporal evolution
- temporal relations
- action theories
- logic programs
- multi valued
- action selection