Achieving Completeness in Bounded Model Checking of Action Theories in ASP.
Laura GiordanoAlberto MartelliDaniele Theseider DupréPublished in: KR (2012)
Keyphrases
- bounded model checking
- action theories
- situation calculus
- model checking
- formal verification
- temporal logic
- reasoning about actions
- initial state
- answer set programming
- deterministic finite state automata
- action language
- linear temporal logic
- incomplete information
- highly expressive
- action descriptions
- multi agent systems
- modal logic
- programming language
- deductive databases
- domain specific