首页> 外文OA文献 >The relationship between stable, supported, default and autoepistemic semantics for general logic programs

【2h】

The relationship between stable, supported, default and autoepistemic semantics for general logic programs

机译：通用逻辑程序的稳定语义，支持语义，默认语义和自流行语义之间的关系

代理获取

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

页面导航

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

著录项

作者
Marek W.; Subrahmanian V.S.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Uniform semantic treatment of default and autoepistemic logics [J] . Marc Denecker, Victor W. Marek, Miroslaw Truszczynski Artificial intelligence . 2003,第1期

机译：默认逻辑和自流行逻辑的统一语义处理
2. Expressiveness of Logic Programs under the General Stable Model Semantics [J] . Zhang Heng, Zhang Yan ACM transactions on computational logic . 2017,第2期

机译：一般稳定模型语义学下逻辑程序的表现力
3. Characterizations of stable model semantics for logic programs with arbitrary constraint atoms [J] . YI-DONG SHEN, JIA-HUAI YOU, LI-YAN YUAN Theory and Practice of Logic Programming . 2009,第4期

机译：具有任意约束原子的逻辑程序的稳定模型语义表征
4. From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK [C] . Jianmin Ji, Hannes Strass European Conference on Artificial Intelligence . 2014

机译：从默认和自动抑制逻辑到析出答案通过GK的逻辑设置程序
5. A study of the well-founded and stable logic programming semantics. [D] . Seitzer, Jennifer. 1997

机译：对可靠且稳定的逻辑编程语义的研究。
6. Structure-activity relationships derived by machine learning: the use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming. [O] . R D King, S H Muggleton, A Srinivasan, 1996

机译：通过机器学习得出的结构与活动的关系：通过归纳逻辑编程使用原子及其键连接性来预测诱变性。
7. Autoepistemic logics as a unifying framework for the semantics of logic programs [O] . Bonatti Piero A. 1995

机译：自流行逻辑作为逻辑程序语义的统一框架
8. Implementation of Local Grounding for Logic Programs with Stable Model Semantics [R] . Syrjaenen, T. 1998

机译：用稳定模型语义实现逻辑程序的局部接地

The relationship between stable, supported, default and autoepistemic semantics for general logic programs

著录项

引文网络

相似文献

相关主题

期刊订阅