逻辑程序设计的英文

• constraint logic programming
• logicai programming
• logical programming
• programming in logic

• "逻辑"英文翻译    logic
• "逻辑程式设计 [逻辑程序设计" 英文翻译 :    logic programming
• "归纳逻辑程序设计" 英文翻译 :    ilp; inductive logic programming
• "逻辑程序设计机" 英文翻译 :    logic programming machine
• "逻辑程序设计语言" 英文翻译 :    logic programming language; programming in logic
• "并行逻辑程序设计语言" 英文翻译 :    parallel programming in logic
• "逻辑程序设计与专家系统" 英文翻译 :    logic programming and expert systems
• "程序设计逻辑" 英文翻译 :    logic of programming; programming logic
• "程序设计逻辑级" 英文翻译 :    logical level of programming
• "程序设计逻辑手册" 英文翻译 :    programming logic manual
• "程序设计逻辑证明" 英文翻译 :    programming logic proof
• "逻辑程序" 英文翻译 :    logic program; logic sequence; logical order; logram logical program
• "逻辑程序段" 英文翻译 :    logical segment
• "程序设计逻辑规范书" 英文翻译 :    programming logic specification
• "程序设计逻辑流程图" 英文翻译 :    programming logic chart
• "多道程序设计逻辑证明" 英文翻译 :    multiprogramming logic proof
• "逻辑与代数程序设计杂志" 英文翻译 :    the journal of logic and algebraic programming
• "逻辑程式设计" 英文翻译 :    logic programming
• "数据制表与编辑程序设计语言" 英文翻译 :    dateplan data tabulation and editing programming language
• "层次逻辑程序" 英文翻译 :    hierarchical logic program
• "控制逻辑程序" 英文翻译 :    control logic sequence
• "逻辑程序合成" 英文翻译 :    logical program synthesis
• "起动逻辑程序" 英文翻译 :    starting logic sequence
• "业务逻辑程序" 英文翻译 :    service logic program
• "java程序设计" 英文翻译 :    java language programming

• Logic and inductive logic programming
  逻辑与归纳逻辑程序设计
• Inductive logic programming
  归纳逻辑程序设计
• This dissertation concentrates on the initial research work in genetic inductive logic programming technique
  本论文主要开展了遗传归纳逻辑程序设计技术的初步研究。
• First - order rule mining technique based on first - order logic is often called as inductive logic programming ( ilp )
  基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计( ilp ) 。
• Up to now , there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made . in order to further expand the applications of dfl , this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems
  动态模糊逻辑( dfl )的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴dijkstra的监督命令程序结构,通过结构化操作语义描述方法从软件理论方面进行研究,提出了动态模糊逻辑程序设计语言( dflprogramminglanguage )的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。
• We came up with algorithm descriptions and reinforced our conclusion by means of real testing examples . some data mining techniques , which can be applied to semantic web mining , were also discussed in this thesis . we explored the suitability of inductive logic programming ( ilp ) method in semantic web mining in more detail , and showed how to make use of this method in the semantic context
  对于语义web挖掘中适合的数据挖掘技术进行了探讨，提出了可采用归纳逻辑程序设计作为适合语义化web的数据挖掘技术，给出了如何应用这种技术的算法描述，并通过具体实例验证了这种方法对于语义化web环境下进行数据挖掘是可行性。