Answer Set Programming Modulo Acyclicity
Answer Set Programming Modulo Acyclicity
复制标题
答案集编程模非循环性
DOI：
10.3233/fi-2016-1398
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
T. Schaub
中科院分区：
文献类型：
--
作者：
J. Bomanson;M. Gebser;T. Janhunen;B. Kaufmann;T. Schaub
登录
查看更多内容
非循环属性的 ASP 编码
DOI：
--
发表时间：
2014
期刊：
International Conference on Principles of Knowledge Representation and Reasoning
影响因子：
--
作者：
M. Gebser;T. Janhunen;J. Rintanen
通讯作者：
J. Rintanen
通过混合整数编程进行答案集编程
DOI：
--
发表时间：
2012
期刊：
International Conference on Principles of Knowledge Representation and Reasoning
影响因子：
--
作者：
Guohua Liu;T. Janhunen;I. Niemelä
通讯作者：
I. Niemelä
影响因子：
14.4
作者：
Yuliya Lierler
通讯作者：
Yuliya Lierler
影响因子：
2.2
作者：
T. Janhunen;M. Gebser;J. Rintanen;Henrik J. Nyman;J. Pensar;J. Corander
通讯作者：
J. Corander
dlvhex：答案集语义下的语义网推理证明器
DOI：
--
发表时间：
2006
期刊：
International Conference on Wirtschaftsinformatik
影响因子：
--
作者：
Thomas Eiter;Giovambattista Ianni;Roman Schindlauer;H. Tompits
通讯作者：
H. Tompits