DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework
DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework
复制标题
DualGrounder：通过 Clingo Multi-shot 框架进行延迟实例化
DOI：
10.1007/978-3-030-75775-5_29
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Robbins, J.
中科院分区：
文献类型：
--
作者：
Lierler, Yu;Robbins, J.
答案集编程（ASP）是一种面向困难的组合搜索问题的声明式编程范式。有时，ASP系统的运行时间会受到所谓的基础瓶颈的影响。惰性接地求解器旨在缓解此问题。在本文中，我们描述了一个新的懒惰接地求解器称为DualGrounder。DualGroundersystem利用了高级ASP平台clingo的多镜头功能。本文还包括实验数据，以探索性能ofDualGrounder相比，类似的ASP接地和解决系统。
Answer set programming (ASP) is a declarative programming paradigm that is geared towards difficult combinatorial search problems. Sometimes, run times of ASP systems suffer due to so called grounding bottleneck. Lazy grounding solvers aim to mitigate this issue. In this paper we describe a new lazy grounding solver calledDualGrounder. TheDualGroundersystem leverages multi-shot capabilities of the advanced ASP platformclingo. This paper also includes experimental data to explore the performance ofDualGroundercompared to similar ASP grounding and solving systems.
登录
查看更多内容
DOI：
10.1007/978-3-642-20895-9_39
发表时间：
2011-05
期刊：
--
影响因子：
--
作者：
M. Gebser;Roland Kaminski;A. König;Torsten Schaub
通讯作者：
M. Gebser;Roland Kaminski;A. König;Torsten Schaub
ASP 求解中的约束、惰性约束或传播器：实证分析*
影响因子：
1.4
作者：
Bernardo Cuteri;Carmine Dodaro;F. Ricca;P. Schüller
通讯作者：
P. Schüller
第三届公开答题集编程竞赛
影响因子：
1.4
作者：
Francesco Calimeri;Giovambattista Ianni;F. Ricca
通讯作者：
F. Ricca
OMiGA：开放式接地动态答案集求解器
DOI：
--
发表时间：
2012
期刊：
European Conference on Logics in Artificial Intelligence
影响因子：
--
作者：
Minh Dao;Thomas Eiter;Michael Fink;Gerald Weidinger;A. Weinzierl
通讯作者：
A. Weinzierl
GASP：使用惰性接地的答案集编程
影响因子：
0.8
作者：
A. D. Palù;A. Dovier;Enrico Pontelli;G. Rossi
通讯作者：
G. Rossi