首页> 外文OA文献 >Grounding and Solving in Answer Set Programming

【2h】

Grounding and Solving in Answer Set Programming

机译：答案集编程的接地和解决

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Benjamin Kaufmann; Nicola Leone; Simona Perri; Torsten Schaub;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The Impact of Treewidth on Grounding and Solving of Answer Set Programs [J] . Bernhard Bliem, Michael Morak, Marius Moldovan, The Journal of Artificial Intelligence Research . 2020,第7期

机译：树宽对答案集计划的接地和解决的影响
2. Grounding and Solving in Answer Set Programming [J] . Benjamin Kaufmann, Nicola Leone, Simona Perri, AI magazine . 2016,第3期

机译：答案集编程中的基础和求解
3. Grounding and Solving in Answer Set Programming [J] . Kaufmann Benjamin, Leone Nicola, Perri Simona, AI Magazine . 2016,第3期

机译：答案集编程中的基础和求解
4. Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics [C] . Nicholas Hippen, Yuliya Lierler European conference on logics in artificial intelligence . 2021

机译：估算答案集语义下逻辑程序的接地大小
5. Computing a Probabilistic Extension of Answer Set Program Language Using ASP and Markov Logic Solvers [D] . Talsania, Samidh. 2017

机译：使用ASP和Markov Logic Solvers计算答案设置程序语言的概率扩展
6. Repairing Boolean logical models from time-series data using Answer Set Programming [O] . Alexandre Lemos, Inês Lynce, Pedro T. Monteiro 2019

机译：使用答案集编程从时间序列数据修复布尔逻辑模型
7. Automated selection of grounding algorithm in Answer Set Programming [O] . Marco Maratea, Luca Pulina, Francesco Ricca 2014

机译：答案集编程中接地算法的自动选择

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号