Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic
Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic
复制标题
直觉线性逻辑中的演绎综合验证规划
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Dixon, L
中科院分区：
文献类型：
--
作者：
Dixon, L
登录
查看更多内容
DOI：
10.1016/s0304-3975(99)00173-5
发表时间：
1996-03
期刊：
--
影响因子：
--
作者：
I. Cervesato;J. S. Hodas;F. Pfenning
通讯作者：
I. Cervesato;J. S. Hodas;F. Pfenning
作为定理证明的经典人工智能规划：线性逻辑片段的案例
DOI：
--
发表时间：
1993
期刊：
影响因子：
--
作者：
Éric Jacopin
通讯作者：
Éric Jacopin
DOI：
--
发表时间：
1991
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
J. S. Hodas;D. Miller
通讯作者：
D. Miller
DOI：
10.1007/s10849-008-9079-0
发表时间：
2009-04
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
L. Dixon;A. Smaill;Tracy Tsang
通讯作者：
L. Dixon;A. Smaill;Tracy Tsang
伊莎贝尔的线性逻辑：修剪证明搜索树
DOI：
10.1007/3-540-59338-1_41
发表时间：
1995
期刊：
J. Log. Comput.
影响因子：
--
作者：
P. D. Groote
通讯作者：
P. D. Groote