Progress in clasp Series 3
Progress in clasp Series 3
复制标题
卡扣系列3的进展
DOI：
10.1007/978-3-319-23264-5_31
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
T. Schaub
中科院分区：
文献类型：
--
作者：
M. Gebser;R. Kaminski;B. Kaufmann;J. Romero;T. Schaub
我们描述了inclasp系列3的新功能。这包括析取逻辑程序的并行求解，正交策略的并行优化，对指定域解析的声明性支持，预制专家配置的组合，以及用于库集成的应用程序编程接口。这是补充实验评估clasp3的优化能力，以及领域的影响。
We describe the novel functionalities comprised inclasp’s series 3. This includes parallel solving of disjunctive logic programs, parallel optimization with orthogonal strategies, declarative support for specifying domain heuristics, a portfolio of prefabricated expert configurations, and an application programming interface for library integration. This is complemented by experiments evaluatingclasp3’s optimization capacities as well as the impact of domain heuristics.
登录
查看更多内容
WASP 2.0 初步报告
DOI：
--
发表时间：
2014
期刊：
arXiv.org
影响因子：
--
作者：
Mario Alviano;Carmine Dodaro;F. Ricca
通讯作者：
F. Ricca
可满足性求解器的轻量级组件缓存方案
DOI：
--
发表时间：
2007
期刊：
International Conference on Theory and Applications of Satisfiability Testing
影响因子：
--
作者：
Knot Pipatsrisawat;Adnan Darwiche
通讯作者：
Adnan Darwiche
DOI：
--
发表时间：
2011
期刊：
International Conference on Logic Programming
影响因子：
--
作者：
M. Gebser;Roland Kaminski;B. Kaufmann;Torsten Schaub
通讯作者：
Torsten Schaub
影响因子：
1.6
作者：
E. Rosa;E. Giunchiglia;M. Maratea
通讯作者：
M. Maratea
用clasp解决多线程ASP
影响因子：
1.4
作者：
M. Gebser;B. Kaufmann;Torsten Schaub
通讯作者：
Torsten Schaub