Achieving completeness in the verification of action theories by Bounded Model Checking in ASP.
Laura GiordanoAlberto MartelliDaniele Theseider DupréPublished in: J. Log. Comput. (2015)
Keyphrases
- bounded model checking
- action theories
- model checking
- formal verification
- situation calculus
- temporal logic
- reasoning about actions
- answer set programming
- initial state
- modal logic
- linear temporal logic
- action descriptions
- deterministic finite state automata
- incomplete information
- multi agent systems
- action language
- logic programming
- default theories
- domain description
- finite state
- domain specific
- finite state machines
- heuristic search
- cooperative