Specification of inference processes in formal grammars by means of logic programming

Ali Adnan

首页> 外文期刊>Управляющие системы и машины >Specification of inference processes in formal grammars by means of logic programming

【24h】

Specification of inference processes in formal grammars by means of logic programming

机译：通过逻辑编程指定正式语法的推理过程

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

A definition of the generator of formal languages specified by generative is given. Its Prolog-scheme of specifications is designed and the potentialities of this scheme are exemplified.

机译：给出了通过生成规定的正式语言的发电机的定义。设计了规范的Prolog-schreements，并举例说明了该方案的潜在性。

著录项

来源
《Управляющие системы и машины》 |1999年第1期|共6页
作者
Ali Adnan;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 rus
中图分类自动控制理论;自动化技术及设备;
关键词

相似文献

外文文献
中文文献
专利

1. Specification of inference processes in formal grammars by means of logic programming [J] . Ali Adnan Управляющие системы и машины . 1999,第1期

机译：通过逻辑编程规范形式语法中的推理过程
2. Specification of inference processes in formal grammars by means of logic programming [J] . Ali Adnan Управляющие системы и машины . 1999,第1期

机译：通过逻辑编程规范形式语法中的推理过程
3. Specification of inference processes in formal grammars by means of logic programming [J] . Ali Adnan Управляющие системы и машины . 1999,第1期

机译：通过逻辑编程指定正式语法的推理过程
4. Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars [C] . Zoltan Esik, Panos Rondogiannis International workshop on logic, language, information and computation . 2014

机译：非单调函数的不动点的定理及其在逻辑程序设计和形式语法中的应用
5. A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language FunZ. [D] . Sherrell, Linda Bostwick. 1995

机译：通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
6. Unsupervised logic-based mechanism inference for network-driven biological processes [O] . Martina Prugger, Lukas Einkemmer, Samantha P. Beik, 2021

机译：基于逻辑的基于逻辑的机制推断用于网络驱动的生物过程
7. Combining genetic programming and inductive logic programming using logic grammars [O] . Man Leung Wong, Kwong Sak Leung 1995

机译：使用逻辑语法将遗传编程和归纳逻辑编程相结合
8. Formal Grammars as Models of Logic Derivations. [R] . Sickel, S. 1977

机译：形式语法作为逻辑推导的模型。

Specification of inference processes in formal grammars by means of logic programming

摘要

著录项

相似文献

相关主题

期刊订阅