Proof System for Plan Verification under 0-Approximation Semantics
Xishun ZhaoYuping ShenPublished in: CoRR (2011)
Keyphrases
- model checking
- model checker
- formal semantics
- linear time temporal logic
- intuitionistic logic
- closed form
- approximation algorithms
- epistemic logic
- plan generation
- face verification
- decision theoretic
- modal logic
- ai planning
- semantic information
- concurrent systems
- operational semantics
- error bounds
- logic programming
- proof theoretic
- case based planning
- data model
- nonmonotonic logics
- signature verification
- specification language
- search algorithm
- temporal logic