Layer Supported Models of Logic Programs

机译：逻辑程序的层支持模型

获取原文

获取原文并翻译 | 示例

获取外文期刊封面目录资料

页面导航

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

摘要

Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement - the Layer Supported Models semantics - which, besides keeping all of LMs' properties, furthermore respects the Weil-Founded Model.

机译：在普通程序的2值分层模型语义的基础上，我们引入了一种改进-分层支持模型语义-除了保留所有LM的属性外，还尊重基于Weil的模型。

著录项

来源
《Logic programming and nonmonotonic reasoning》|2009年|450-456|共7页
会议地点 Potsdam(DE);Potsdam(DE)
作者
Luis Moniz Pereira; Alexandre Miguel Pinto;
展开▼
作者单位

Centra de Inteligencia Artificial (CENTRIA) Universidade Nova de Lisboa, 2829-516 Caparica, Portugal;

Centra de Inteligencia Artificial (CENTRIA) Universidade Nova de Lisboa, 2829-516 Caparica, Portugal;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类理论、方法;
关键词
stable models; relevance; semantics; ayering;

机译：稳定的模型；关联;语义yer;

相似文献

外文文献
中文文献
专利

1. Hyperequivalence of logic programs with respect to supported models [J] . Miroslaw Truszczynski, Stefan Woltran Annals of Mathematics and Artificial Intelligence . 2008,第1a4期

机译：逻辑程序相对于支持模型的超等价
2. Support vector inductive logic programming outperforms the naive Bayes classifier and inductive logic programming for the classification of bioactive chemical compounds [J] . Edward O. Cannon, Ata Amini, Andreas Bender, Journal of Computer-Aided Molecular Design . 2007,第5期

机译：支持向量归纳逻辑编程的性能优于朴素贝叶斯分类器和归纳逻辑编程，可用于生物活性化合物的分类
3. The Father Friendly Initiative within Families: Using a logic model to develop program theory for a father support program [J] . Gervais Christine, de Montigny Francine, Lacharite Carl, Evaluation and program planning . 2015,第octa期

机译：家庭内部的“父亲友好计划”：使用逻辑模型发展父亲支持计划的程序理论
4. Layer Supported Models of Logic Programs [C] . Luis Moniz Pereira, Alexandre Miguel Pinto International Conference on Logic Programming and Nonmonotonic Reasoning . 2009

机译：层支持的逻辑程序模型
5. Program Evaluation of Student-Athlete Academic Support Services Unit Using the Logic Model Evaluation. [D] . Ruff, Tina. 2016

机译：使用逻辑模型评估对学生运动员学术支持服务部门进行的计划评估。
6. Genetic programs constructed from layered logic gates in single cells [O] . Tae Seok Moon, Chunbo Lou, Alvin Tamsir, -1

机译：从单个细胞中的层状的逻辑门构成的遗传程序
7. Layer supported models of logic programs [O] . Luís Moniz Pereira, Alexandre Miguel Pinto 2010

机译：逻辑程序的层支持模型
8. Integration of the Network and Application Layers of Automatically Configured Programmable Logic Controller Honeypots. [R] . Gallenstein, J. K. 2017

机译：集成自动配置的可编程逻辑控制器蜜罐的网络和应用层。

Layer Supported Models of Logic Programs

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅