首页> 外文OA文献 >Autoepistemic logics as a unifying framework for the semantics of logic programs

【2h】

Autoepistemic logics as a unifying framework for the semantics of logic programs

机译：自流行逻辑作为逻辑程序语义的统一框架

代理获取

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

页面导航

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

著录项

作者
Bonatti Piero A.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming [J] . Su Ezgi Iraz Fundamenta Informaticae . 2020,第3a4期

机译：非单调S4F的统一方法，（反身）自身淤积逻辑，并回答集编程
2. Parametrized semantics of logic programs - a unifying framework [J] . Yann Loyer, Nicolas Spyratos, Daniel Stamate Theoretical computer science . 2003,第1a3期

机译：逻辑程序的参数化语义-统一框架
3. On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach [J] . Alfano Gianvincenzo, Greco Sergio, Parisi Francesco, Theory and Practice of Logic Programming . 2020,第5期

机译：论抽象论证框架的语义：逻辑编程方法
4. Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective [C] . Mario Alviano, Wolfgang Faber International Joint Conference on Artificial Intelligence . 2015

机译：稳定模型语义的抽象辩证框架重新审视：逻辑编程视角
5. Logic programming framework for resolution logics. [D] . Zhu, Biao. 1999

机译：解析逻辑的逻辑编程框架。
6. Facilitating the Shift to Population-based Public Health Programs: Innovation Through the Use of Framework and Logic Model Tools [O] . Alwyn Moyer, Helen Verhovsek, Verna L. Wilson 1997

机译：促进向以人口为基础的公共卫生计划的转变：通过使用框架和逻辑模型工具进行创新
7. The relationship between stable, supported, default and autoepistemic semantics for general logic programs [O] . Marek W., Subrahmanian V.S. 1992

机译：通用逻辑程序的稳定语义，支持语义，默认语义和自流行语义之间的关系
8. Possible-World Semantics for Autoepistemic Logic. [R] . Moore, R. C. 1984

机译：自动认知逻辑的可能世界语义。

Autoepistemic logics as a unifying framework for the semantics of logic programs

著录项

引文网络

相似文献

相关主题

期刊订阅