|
|||||
|
|
Proof systems for planning under O-approximation semantics |
|
| Authors: | SHEN YuPing, ZHAO XiShun |
| Affiliation: | [1]Department of Philosophy, Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou 510275, China; [2]Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, Guangzhou 510275, China |
| Abstract: | Hoare proof systems, off-line planning, plan generation, plan verification, automated reasoning |
| Keywords: | Hoare proof systems off-line planning plan generation plan verification automated reasoning |
| 本文献已被 维普 等数据库收录！ | |