首页> 外文OA文献 >A realistic experiment in knowledge representation in open event calculus: protocol specification

【2h】

A realistic experiment in knowledge representation in open event calculus: protocol specification

机译：开放事件演算中知识表示的现实实验：协议规范

页面导航

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

摘要

status: published

机译：状态：已发布

著录项

作者
Denecker Marc; Van Belleghem Kristof; Duchatelet G; Piessens Frank; De Schreye Danny;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Provably correct Java implementations of Spi Calculus security protocols specifications [J] . Alfredo Pironti, Riccardo Sisto Computers & Security . 2010,第3期

机译：可证明正确的Spi Calculus安全协议规范的Java实现
2. Communicating in the technical office: The Technical and Office Protocols specification, released in November, will be tempered in the fires of realistic applications [J] . Farowich S.A. IEEE Spectrum . 1986,第4期

机译：在技术办公室进行通信：11月发布的《技术和办公室协议》规范将在实际应用中大放异彩
3. A hybrid knowledge representation as a basis of requirement specification and specification analysis [J] . Tsai J.J.P., Weigert T. IEEE Transactions on Software Engineering . 1992,第12期

机译：混合知识表示作为需求规范和规范分析的基础
4. Using Event Calculus for Protocol Specification An Experiment [C] . Marc Denecker, Guy Duchatelet, Frank Piessens, Deductive databases and logic programming : Abouction in deductive databases and knowledge-based systems . 1995

机译：使用事件演算进行协议规范实验
5. A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications [D] . 石原, 靖哲 1995

机译：从通信协议的自然语言规范到可执行的代数规范的转换方法
6. RNA-seq mixology: designing realistic control experiments to compare protocols and analysis methods [O] . Aliaksei Z. Holik, Charity W. Law, Ruijie Liu, 2017

机译：RNA-seq混合学：设计现实的对照实验以比较方案和分析方法
7. Situation Calculus Specifications for Event Calculus Logic Programs [O] . Rob Miller Department, Rob Miller 1995

机译：事件演算逻辑程序的情境演算规范

A realistic experiment in knowledge representation in open event calculus: protocol specification

摘要

著录项

相似文献

相关主题

期刊订阅