首页> 外文OA文献 >Strong Equivalence for Epistemic Logic Programs Made Easy

【2h】

Strong Equivalence for Epistemic Logic Programs Made Easy

机译：认知逻辑计划的强劲等价变得简单

代理获取

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

页面导航

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

著录项

作者
Wolfgang Faber; Michael Morak; Stefan Woltran;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On Uniform Equivalence of Epistemic Logic Programs [J] . Faber Wolfgang, Morak Michael, Woltran Stefan Theory and Practice of Logic Programming . 2019,第5a6期

机译：认知逻辑程序的等价性
2. Possibilistic nested logic programs and strong equivalence [J] . Nieves Juan Carlos, Lindgren Helena 高分子論文集 . 2015,第apra期

机译：可能的嵌套逻辑程序和强大的对等关系
3. Strong equivalence of logic programs under the infinite-valued semantics [J] . Christos Nomikos, Panos Rondogiannis, William W. Wadge Information Processing Letters . 2009,第11期

机译：无限值语义下逻辑程序的强等价
4. Strong Equivalence for Epistemic Logic Programs Made Easy [C] . Wolfgang Faber, Michael Morak, Stefan Woltran AAAI Conference on Artificial Intelligence . 2019

机译：认知逻辑计划的强烈等价变得简单
5. Adding temporal logic to dynamic epistemic logic. [D] . Sack, Joshua. 2007

机译：在动态认知逻辑中添加时间逻辑。
6. The epistemic culture in an online citizen science project: Programs antiprograms and epistemic subjects [O] . Dick Kasperowski, Thomas Hillman -1

机译：在线公民科学项目中的认知文化：程序反程序和认知主题
7. Strong Equivalence for Logic Programs and Default Theories (Made Easy) [O] . Hudson Turner 2001

机译：逻辑程序和默认理论的强大等效性（轻松实现）

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号