SAT-based explicit LTL reasoning and its application to satisfiability checking.
Jianwen LiShufang ZhuGeguang PuLijun ZhangMoshe Y. VardiPublished in: Formal Methods Syst. Des. (2019)
Keyphrases
- bounded model checking
- model checking
- formal verification
- linear temporal logic
- knowledge base
- temporal logic
- reasoning systems
- knowledge representation
- classical planning
- qualitative reasoning
- reasoning process
- sat solvers
- temporal planning
- ai planning
- answer set programming
- multi agent systems
- reasoning tasks
- legal reasoning
- answer sets
- logic programs