Equivalence of Logic Programs under Updates
Equivalence of Logic Programs under Updates
复制标题
更新下逻辑程序的等价性
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Katsumi Inoue
中科院分区：
文献类型：
--
作者：
Haruto TAKEDA;Takuya Nishimoto;Shigeki Sagayama;Katsumi Inoue
登录
查看更多内容
关于演化非单调知识库的推理
DOI：
10.1145/1055686.1055693
发表时间：
2001
期刊：
ACM Trans. Comput. Log.
影响因子：
--
作者：
Thomas Eiter;Michael Fink;Giuliana Sabbatini;H. Tompits
通讯作者：
H. Tompits
优化数据记录程序
DOI：
10.1145/28659.28696
发表时间：
1987
期刊：
Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
影响因子：
--
作者：
Y. Sagiv
通讯作者：
Y. Sagiv
计算逻辑 — CL 2000
DOI：
10.1007/3-540-44957-4
发表时间：
2000
期刊：
SIAM J. Comput.
影响因子：
--
作者：
J. Lloyd;V. Dahl;U. Furbach;Manfred Kerber;K. Lau;C. Palamidessi;L. Pereira;Y. Sagiv;Peter James Stuckey
通讯作者：
Peter James Stuckey
DOI：
10.1007/978-3-540-30227-8_16
发表时间：
2004
期刊：
--
影响因子：
--
作者：
S. Woltran
通讯作者：
S. Woltran
DOI：
10.1007/3-540-44957-4_48
发表时间：
2000
期刊：
--
影响因子：
--
作者：
Katsumi Inoue
通讯作者：
Katsumi Inoue