CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming.
Lingyun SituLingzhong ZhaoPublished in: APSEC (2015)
Keyphrases
- bounded model checking
- answer set programming
- tree decomposition
- model checking
- formal verification
- logic programming
- computation tree logic
- logic programs
- temporal logic
- answer sets
- linear temporal logic
- reasoning tasks
- constraint satisfaction problems
- causal theories
- answer set programs
- constraint logic programming
- constraint programming
- multi agent systems
- haplotype inference
- constraint networks
- stable models
- stable model semantics
- knowledge representation
- update semantics
- description logics
- np hard
- modal logic
- constraint satisfaction
- cooperative