首页> 外文期刊>The Journal of Artificial Intelligence Research >Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates

【24h】

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates

机译：具有聚合的答案集程序的毫无根据的集和有充分根据的语义

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《The Journal of Artificial Intelligence Research》 |2011年第8期|共页
作者
Alviano M.; Calimeri F.; Faber W.; Leone N.; Perri S.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类人工智能理论;
关键词

相似文献

外文文献
中文文献
专利

1. Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates [J] . Mario Alviano, Francesco Calimeri, Wolfgang Faber, The Journal of Artificial Intelligence Research . 2011,第Null期

机译：具有聚合的答案集程序的无根据集和有充分根据的语义
2. Semantics and complexity of recursive aggregates in answer set programming [J] . Wolfgang Faber, Gerald Pfeifer, Nicola Leone Artificial intelligence . 2011,第1期

机译：答案集编程中递归聚合的语义和复杂性
3. A Constructive semantic characterization of aggregates in answer set programming [J] . TRAN CAO SON, ENRICO PONTELLI Theory and Practice of Logic Programming . 2007,第Pt3期

机译：答案集编程中聚集体的构造语义表征
4. Unfounded sets and well-founded semantics for general logic programs [C] . Allen Van Gelder, Kenneth Ross, John S. Schlipf ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems . 1988

机译：通用逻辑程序的毫无根据的集和有充分根据的语义
5. On the Relationships Among Probabilistic Extensions of Answer Set Semantics. [D] . Yang, Zhun. 2017

机译：关于答案集语义的概率扩展之间的关系。
6. Repairing Boolean logical models from time-series data using Answer Set Programming [O] . Alexandre Lemos, Inês Lynce, Pedro T. Monteiro 2019

机译：使用答案集编程从时间序列数据修复布尔逻辑模型
7. Alternative Characterizations for Program Equivalence under Answer-Set Semantics based on Unfounded Sets [O] . Martin Gebser, Torsten Schaub, Hans Tompits, 2007

机译：基于无理集的答案集语义下程序等效性的替代特征
8. Clean Water Indian Set-Aside Grant Program: Answers to Frequently Asked Questions, March 2007 [R] . 2007

机译：清洁水印度套餐 - 助学金计划：常见问题解答，2007年3月

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号