...Logic Programming, Denotational Semantics, Supported Model, Generalized Metric, Fixed-point Theor[gap=308]关键词：逻辑编程，指称语义，支持的模型，广义度量，不动点定理介绍的优点之一所拥有的日志..
基于5914个网页-相关网页
或许OWL可以借用其他逻辑手段， 例如， 基于规则的逻辑程序设计(Logic Programming) 就是另一类极为重要的知识表 示系统。 事实上， 现已提出OWL规则语言ORL [18] 作为其扩展。
基于211个网页-相关网页
... logic array network 逻辑阵列网路 logic programming 逻辑程式设计 [逻辑程序设计] logical form 逻辑形式 ...
基于88个网页-相关网页
约束规划（Constraint Programming）是逻辑规划（Logic Programming）的一种，通过为一个问题定义一系列约束条件，随后将约束条件留给计算机求解。
基于32个网页-相关网页
inductive logic programming 归纳逻辑编程 ; 归纳逻辑设计 ; 归纳逻辑程序
Constraint Logic Programming 受限逻辑程序设计
Boolean Logic Programming 布尔逻辑编程
Logic Programming Language 逻辑式语言 ; 逻辑程序语言 ; 逻辑式程序设计语言 ; 逻辑程序设计语言
Logic Programming and Nonmonotonic Reasoning 逻辑编程与非单调推理
Logic Programming Languages 逻辑程序语言
Functional and Logic Programming 函数与逻辑程序设计 ; 会议录
Logic Programming and Expert Systems 逻辑程序设计与专家系统
distributed logic programming 分布式逻辑程序设计
同义词： Prolog logic programing
以上来源于: WordNet
N the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments 逻辑程序设计
应用推荐