Logic-Based Agent Verification

Logic-Based Agent Verification
复制标题

基于逻辑的代理验证

DOI：
10.1016/j.jal.2005.12.012
复制
发表时间：
2007
期刊：
J. Appl. Log.
影响因子：
--
通讯作者：
M. Wooldridge
M. Wooldridge
中科院分区：
--
文献类型：
--
作者：
Michael Fisher;Munindar P. Singh;D. Spears;M. Wooldridge

文献摘要

被引文献

相似文献

用于具有声明性目标的代理编程的验证框架。FS de Boer，KV Hindriks，W.货车德胡克和J. - J. Ch Meyer-2007-Journal of Applied Logic 5（2）：277-302.
A verification framework for agent programming with declarative goals. FS de Boer, KV Hindriks, W. van der Hoek & J.-J. Ch Meyer-2007-Journal of Applied Logic 5 (2): 277-302.