...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 逻辑程序设计
应用推荐