CORC

浏览/检索结果: 共2条,第1-2条 帮助

已选(0)清除 条数/页:   排序方式:
Flexible Approximators for Approximating Fixpoint Theory 会议论文
29th Canadian Conference on Artificial Intelligence (AI), 2016-01-01
作者:  Liu, Fangfang[1];  Bi, Yi[2];  Chowdhury, Md. Solimul[3];  You, Jia-Huai[4];  Feng, Zhiyong[5]
收藏  |  浏览/下载:7/0  |  提交时间:2019/04/26
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies 会议论文
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015-01-01
作者:  Chowdhury, Md. Solimul[1];  Liu, Fangfang[2];  Chen, Wu[3];  Karimi, Arash[4];  You, Jia-Huai[5]
收藏  |  浏览/下载:5/0  |  提交时间:2019/04/30


©版权所有 ©2017 CSpace - Powered by CSpace