...

首页> 外文期刊>Journal of Computer Science and Technology >Translating Fork Specifications into Logic Programs

【24h】

Translating Fork Specifications into Logic Programs

机译：将货叉规格转换为逻辑程序

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Journal of Computer Science and Technology》 |2001年第11期|共16页
作者
Baum G.; Aguirre N.; Arroyo M.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. An empirical study of control logic specifications for programmable logic controllers [J] . Oscar Ljungkrantz, Knut Akesson, Martin Fabian, Empirical Software Engineering . 2014,第3期

机译：可编程逻辑控制器的控制逻辑规范的实证研究
2. Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming [J] . Sergio Alejandro Gómez, Carlos Iván Ches?evar, Guillermo Ricardo Simari Inteligencia Artificial : Ibero-American Journal of Artificial Intelligence . 2007,第35期

机译：通过将描述逻辑转换为不可行的逻辑编程来进行不一致的本体处理
3. Translations and similarity-based logic programming [J] . M. I. Sessa Soft computing: A fusion of foundations, methodologies and applications . 2001,第2期

机译：基于翻译和相似度的逻辑编程
4. On the Translations of Extended Logic Programs, Two-Valued Logic Programs and Normal Logic Programs [C] . Yan Zhang, Shiyang Wei, Fasheng Cao International Conference on Measuring Technology and Mechatronics Automation . 2020

机译：关于扩展逻辑程序，二值逻辑程序和普通逻辑程序的翻译
5. Specification of distributed programs using temporal interval logic. [D] . Aaby, Anthony Arnold. 1988

机译：使用时间间隔逻辑指定分布式程序。
6. In silico analysis of the transcriptional regulatory logic of neuronal identity specification throughout the C. elegans nervous system [O] . Lori Glenwinkel, Seth R Taylor, Kasper Langebeck-Jensen, 2021

机译：在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
7. Executing Formal Specifications by Translation to Higher Order Logic Programming [O] . James Andrews 1997

机译：通过转换为高阶逻辑程序执行形式规格

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号