首页> 外文OA文献 >1 Online appendix for the paper On the Stable Model Semantics for Intensional Functions published in Theory and Practice of Logic Programming

【2h】

1 Online appendix for the paper On the Stable Model Semantics for Intensional Functions published in Theory and Practice of Logic Programming

机译：1在逻辑编程的理论和实践中发表的论文“关于内涵函数的稳定模型语义学”的在线附录

页面导航

著录项
相似文献
相关主题

著录项

作者
Michael Bartholomew; Joohyung Lee;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. First-order stable model semantics with intensional functions [J] . Bartholomew Michael, Lee Joohyung Artificial intelligence . 2019,第AUGa期

机译：具有内涵函数的一阶稳定模型语义
2. First-order stable model semantics with intensional functions [J] . Bartholomew Michael, Lee Joohyung Artificial intelligence . 2019,第Auga期

机译：具有密集功能的一阶稳定模型语义
3. On the stable model semantics for intensional functions [J] . MICHAEL BARTHOLOMEW, JOOHYUNG LEE Theory and Practice of Logic Programming . 2013,第pta4a5期

机译：关于内涵函数的稳定模型语义
4. FQHT:The Logic of Stable Models for Logic Programs with Intensional Functions [C] . Luis Fari(n)as del Cerro, David Pearce, Agustín Valverde International joint conference on artificial intelligence . 2013

机译：FQHT：具有内涵函数的逻辑程序的稳定模型的逻辑
5. Parallel logic programming using an intensional model of computation. [D] . Rolston, David Wayne. 1992

机译：使用计算的内涵模型进行并行逻辑编程。
6. Developing and Optimising the Use of Logic Models in Systematic Reviews: Exploring Practice and Good Practice in the Use of Programme Theory in Reviews [O] . Dylan Kneale, James Thomas, Katherine Harris -1

机译：开发和优化系统评价中逻辑模型的使用：在评价中使用程序论的实践和良好实践
7. Expressiveness of stable model semantics for disjunctive logic programs with functions [O] . Eiter Thomas, Gottlob Georg 1997

机译：具有功能的析取逻辑程序的稳定模型语义的表达
8. Implementation of Local Grounding for Logic Programs with Stable Model Semantics [R] . Syrjaenen, T. 1998

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

1 Online appendix for the paper On the Stable Model Semantics for Intensional Functions published in Theory and Practice of Logic Programming

著录项

相似文献

相关主题

期刊订阅