咨询与建议

限定检索结果

文献类型

  • 11 篇 期刊文献
  • 3 篇 会议

馆藏范围

  • 14 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 14 篇 工学
    • 10 篇 计算机科学与技术...
    • 5 篇 电气工程
    • 3 篇 软件工程
    • 1 篇 信息与通信工程
  • 3 篇 理学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学

主题

  • 14 篇 logic programmin...
  • 7 篇 prolog
  • 2 篇 power engineerin...
  • 2 篇 artificial intel...
  • 1 篇 trace driven sim...
  • 1 篇 machine inferenc...
  • 1 篇 knowledge based ...
  • 1 篇 parallel process...
  • 1 篇 knowledge base
  • 1 篇 load circuits
  • 1 篇 proteins + chemi...
  • 1 篇 functional progr...
  • 1 篇 topological moti...
  • 1 篇 or-parallel exec...
  • 1 篇 power systems
  • 1 篇 nonshared memory...
  • 1 篇 cognition
  • 1 篇 set of equations
  • 1 篇 incomplete infor...
  • 1 篇 logic testing

机构

  • 1 篇 fudan univ sch c...
  • 1 篇 univ tehran med ...
  • 1 篇 ntt lsi labs. ka...
  • 1 篇 univ santiago co...
  • 1 篇 inst new generat...
  • 1 篇 univ minho sch e...
  • 1 篇 department of el...
  • 1 篇 univ london birk...
  • 1 篇 dept. of electri...
  • 1 篇 oki elect ind co...
  • 1 篇 department of el...
  • 1 篇 univ tehran ctr ...
  • 1 篇 faculty of elect...
  • 1 篇 vanderbilt univ ...
  • 1 篇 fujitsu ltd int ...
  • 1 篇 viana castelo po...
  • 1 篇 ibm germany scie...
  • 1 篇 nec corp c&c sys...

作者

  • 2 篇 wong kp
  • 2 篇 cheung hn
  • 1 篇 tanaka h
  • 1 篇 rawlings cj
  • 1 篇 kuno e
  • 1 篇 zhang qishen
  • 1 篇 shimizu h
  • 1 篇 mathe janos
  • 1 篇 konagaya a
  • 1 篇 kishi m
  • 1 篇 sternberg mje
  • 1 篇 fox j
  • 1 篇 rokusawa k
  • 1 篇 beierle c
  • 1 篇 aoyagi t
  • 1 篇 abelha antonio
  • 1 篇 umemura m
  • 1 篇 taylor wr
  • 1 篇 kono s
  • 1 篇 sztipanovits jan...

语言

  • 10 篇 英文
  • 4 篇 其他
检索条件"主题词=Logic Programming Language"
14 条 记 录,以下是1-10 订阅
Building Conventional "Experts" With a Dialogue logic programming language
收藏 引用
IEEE-ACM TRANSACTIONS ON AUDIO SPEECH AND language PROCESSING 2023年 31卷 1784-1796页
作者: Zheng, Xiaoqing Fudan Univ Sch Comp Sci Shanghai 200433 Peoples R China
We describe DiaProlog, a dialogue logic programming language that extends the vanilla Prolog with the features to facilitate the integration of reasoning capabilities into task-oriented dialogue systems. The extended ... 详细信息
来源: 评论
Towards Bridging the Gap Between Model- and Data- Driven Tool Suites for Cyber-Physical Systems  5
Towards Bridging the Gap Between Model- and Data- Driven Too...
收藏 引用
5th IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS)
作者: Zhang, Qishen Kecskes, Tamas Mathe, Janos Sztipanovits, Janos Vanderbilt Univ 221 Kirkland Hall Nashville TN 37235 USA
Model-driven approaches in developing and operating Cyber-Physical Systems are increasingly complemented by data-driven methods. Examples for their use cases are the analysis of model repositories for discovering patt... 详细信息
来源: 评论
Handling Incomplete Information in an Evolutionary Environment
Handling Incomplete Information in an Evolutionary Environme...
收藏 引用
2010 IEEE World Congress on Computational Intelligence
作者: Ribeiro, Jorge Machado, Jose Abelha, Antonio Fernandez-Delgado, Manuel Neves, Jose Viana Castelo Polytech Inst Sch Technol & Management Viana Do Castelo Portugal Univ Minho Sch Engn Dept Informat P-4719 Braga Portugal Univ Santiago Compostela Dept Elect & Computat E-15706 Santiago Spain
In this paper we address the problem of modeling creativity in Artificial Intelligence using a Genetic or Evolutionary based approach to computing, where the universe of discourse is represented as theories or program... 详细信息
来源: 评论
Implementing an XML Based Unified Knowledge Manipulation languages for SOAR Cognitive Architecture
Implementing an XML Based Unified Knowledge Manipulation Lan...
收藏 引用
IEEE International Conference on Cybernetic Intelligent Systems (CIS 2008)
作者: Khandan, Hamed Lucas, Caro Univ Tehran Med Sci Res Ctr Sci & Technol Med Tehran Iran Univ Tehran Ctr Excellence Control & Intelligent Proc ECE Dept Tehran Iran
Soar is a major exemplar of architectural approach to machine cognition with numerous applications including speech recognition, machine perception, robotic, and strategy planning. We have replaced language used in So... 详细信息
来源: 评论
Reversible functor: Immutable aggregate with constant time update operation
收藏 引用
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 1996年 第12期E79D卷 1646-1654页
作者: Aoyagi, T Faculty of Electro-Communi Cations University of Electro-Communications Chofushi 182 Japan
In logic programming or functional programming languages, data objects, such as terms and lists, are immutable. In a basic implementation of such language, updating one element of an aggegate (contiguous data structur... 详细信息
来源: 评论
A HIGHLY OR-PARALLEL INFERENCE MACHINE (MULTI-ASCA) AND ITS PERFORMANCE EVALUATION - AN ARCHITECTURE AND ITS LOAD BALANCING ALGORITHMS
收藏 引用
IEEE TRANSACTIONS ON COMPUTERS 1994年 第9期43卷 1062-1075页
作者: NAGANUMA, J OGURA, T NTT LSI Labs. Kanagawa Japan
An architecture and its four load balancing algorithms for a highly OR-parallel inference machine are proposed, and its performance is evaluated in a trace-driven simulation study. This inference machine consists of a... 详细信息
来源: 评论
logic programming WITH TYPED UNIFICATION AND ITS REALIZATION ON AN ABSTRACT MACHINE
收藏 引用
IBM JOURNAL OF RESEARCH AND DEVELOPMENT 1992年 第3期36卷 375-390页
作者: BEIERLE, C IBM Germany Scientific Center Heidelberg Institute for Knowledge Based Systems P.O. Box 80 08 80 0-7000 Stuttgart 80 Germany|c|
logic programming can benefit from a typing concept which supports many software engineering principles such as data abstraction, modularization, etc. From a computational point of view, the use of types can drastical... 详细信息
来源: 评论
THERMAL GENERATOR SCHEDULING ALGORITHM BASED ON HEURISTIC-GUIDED DEPTH-FIRST SEARCH
收藏 引用
IEE PROCEEDINGS-C GENERATION TRANSMISSION AND DISTRIBUTION 1990年 第1期137卷 33-43页
作者: WONG, KP CHEUNG, HN Dept. of Electrical and Electron Engineering University of Western Australia Perth Australia
This paper develops an algorithm which is suitable for implementation on computers by a logic programming language, Prolog, for scheduling thermal generators to meet the daily rising system demand and spinning reserve... 详细信息
来源: 评论
SET ABSTRACTION - AN EXTENSION OF ALL SOLUTIONS PREDICATE IN logic programming language
收藏 引用
NEW GENERATION COMPUTING 1987年 第3期5卷 227-248页
作者: YOKOMORI, T FUJITSU LTD INT INST ADV STUDY SOCIAL INFORMAT SCINUMAZUSHIZUOKA 41003JAPAN
The concept of set abstraction is introduced as a simple analogy of that of lambda abstraction in the theory of lambda calculus. The set abstraction is concerned with two extensions concerning Prolog language feature... 详细信息
来源: 评论
CIRCUIT ALLOCATION IN SUBTRANSMISSION SWITCHING SUBSTATIONS USING BEST-1ST SEARCH STRATEGY
收藏 引用
IEE PROCEEDINGS-C GENERATION TRANSMISSION AND DISTRIBUTION 1988年 第6期135卷 489-496页
作者: WONG, KP CHEUNG, HN Department of Electrical and Electronic Engineering University of Western Australia Perth Australia
Based on the best-first search strategy, this paper develops a general computational model for the automatic determination of circuit allocation schemes in subtransmission substations. Starting from a discussion of th... 详细信息
来源: 评论