Journal of Automated Reasoning. 2014;52(4):407-450. doi: 10.1007/s10817-013-9294-5 Q40.72025

A Goal-Directed Decision Procedure for Hybrid PDL

一种面向目标的混合PDL决策过程

DOI: 10.1007/s10817-013-9294-5

摘要 查看摘要

Copyright © Journal of Automated Reasoning. 中文内容为AI机器翻译，仅供参考！