咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 286 篇 工学
    • 273 篇 计算机科学与技术...
    • 190 篇 软件工程
    • 19 篇 控制科学与工程
    • 13 篇 电气工程
    • 12 篇 信息与通信工程
    • 7 篇 生物医学工程(可授...
    • 4 篇 电子科学与技术(可...
    • 3 篇 动力工程及工程热...
    • 3 篇 建筑学
    • 3 篇 化学工程与技术
    • 2 篇 光学工程
    • 2 篇 仪器科学与技术
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
  • 87 篇 理学
    • 71 篇 数学
    • 8 篇 系统科学
    • 5 篇 物理学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
  • 37 篇 管理学
    • 28 篇 图书情报与档案管...
    • 9 篇 管理科学与工程(可...
    • 6 篇 工商管理
  • 7 篇 医学
    • 7 篇 临床医学
    • 6 篇 基础医学(可授医学...
    • 5 篇 药学(可授医学、理...
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 86 篇 logic programmin...
  • 29 篇 knowledge repres...
  • 18 篇 semantics
  • 13 篇 programming
  • 12 篇 computer circuit...
  • 10 篇 computer program...
  • 9 篇 object oriented ...
  • 9 篇 ontology
  • 8 篇 logic gates
  • 8 篇 functional progr...
  • 6 篇 inductive logic ...
  • 6 篇 temporal logic
  • 5 篇 logic design
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 logic circuits
  • 4 篇 computer program...
  • 4 篇 nonvolatile memo...
  • 3 篇 computer science
  • 3 篇 fuzzy logic

机构

  • 2 篇 genusion inc. am...
  • 2 篇 computer science...
  • 2 篇 univ adelaide sc...
  • 2 篇 faculty of infor...
  • 2 篇 department of co...
  • 2 篇 dipartimento di ...
  • 2 篇 univ minho ctr a...
  • 2 篇 dlvsyst srl arca...
  • 2 篇 listic universit...
  • 2 篇 school of comput...
  • 2 篇 vienna univ tech...
  • 2 篇 school of softwa...
  • 2 篇 open university ...
  • 2 篇 centro algoritmi...
  • 2 篇 facultad de mate...
  • 2 篇 univ calabria de...
  • 2 篇 etsii universida...
  • 2 篇 university of wi...
  • 2 篇 sri internationa...
  • 2 篇 univ london impe...

作者

  • 5 篇 vicente henrique
  • 3 篇 dastani mehdi
  • 3 篇 pereira luís mon...
  • 3 篇 brain martin
  • 3 篇 neves josé
  • 3 篇 heymans stijn
  • 3 篇 tompits hans
  • 3 篇 de vos marina
  • 2 篇 meseguer josé
  • 2 篇 hommersom arjen
  • 2 篇 durán f.
  • 2 篇 porto antónio
  • 2 篇 n. ajika
  • 2 篇 leone nicola
  • 2 篇 dell’acqua piera...
  • 2 篇 de mel geeth
  • 2 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.
  • 2 篇 eiter t

语言

  • 347 篇 英文
  • 8 篇 其他
  • 4 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
355 条 记 录,以下是291-300 订阅
排序:
Projection and unification for conceptual graphs  3rd
收藏 引用
3rd international Conference on Conceptual Structures (ICCS 95)
作者: Willems, M Vrije Universiteit Amsterdam De Boelelaan 1081a Amsterdam 1081 HV Netherlands
In this paper we will investigate subsumption and unification for structured descripitons by considering conceptual graphs with their projection and (maximal) join. The importance of projection for conceptual graphs i... 详细信息
来源: 评论
Integration of genetic algorithms and fuzzy logic into a neural network simulation environment  3
Integration of genetic algorithms and fuzzy logic into a neu...
收藏 引用
3rd international workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 1995
作者: Wilke, P. Billing, G. Mansfeld, C. Nilson, J. C/O Lehrstuhl für Programmiersprachen Erlangen-Nürnberg Univ. Martensstrasse 3 Erlangen91058 Germany
NEUROGRAPH is a simulation environment for neural networks. It provides an easy to use graphical user interface to design, construct and execute neural networks. The most important design goals were easy extensibility... 详细信息
来源: 评论
Open logic machine - III non-deterministic object feature representation via complexity evaluation
Open logic machine - III non-deterministic object feature re...
收藏 引用
Proceedings of the 3rd IEEE international workshop on Robot and Human Communication
作者: Kamejima, Kohji Aoki, Toshiyuki Watanabe, Yuriko C. Osaka Inst of Technology Osaka Japan
A dynamic feature representation scheme is presented for non-deterministic objects with complicated images. Object symbols are dynamically generated through the interaction with computable scene in which the object fe... 详细信息
来源: 评论
A module system for meta-programming  4th
收藏 引用
4th international workshop on logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in logic, META 1994
作者: Hill, P.M. School of Computer Studies University of Leeds LeedsLS2 9JT United Kingdom
The need for modules in the development of large programs is well known while meta-programming is widely regarded as a simple yet powerful methodology for knowledge representation and reasoning. Thus if we wish to rea... 详细信息
来源: 评论
A basis for a multilevel metalogic programming language  4th
收藏 引用
4th international workshop on logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in logic, META 1994
作者: Barklund, Jonas Boberg, Katrin Dell’Acqua, Pierangelo Computing Science Dept Uppsala University Box 311 UppsalaS-751 05 Sweden
We are developing a multilevel metalogic programming language that we call Alloy. It is based on first-order predicate calculus extended with metalogical constructs. An Alloy program consists of a collection of theori... 详细信息
来源: 评论
Contradiction: When avoidance equals removal Part I  4th
Contradiction: When avoidance equals removal Part I
收藏 引用
4th international workshop on Extensions of logic programming, ELP 1993
作者: Alferes, José Júlio Pereira, Luís Moniz CRIA Uninova and DCS U. Nova de Lisboa Monte da Caparica2825 Portugal
Recently several authors have stressed and illustrated the importance of including a second kind of negation (explicit negation) in logic programs besides "negation as failure", and its use in deductive data... 详细信息
来源: 评论
representation and inference with consistent temporal propositions  4th
Representation and inference with consistent temporal propos...
收藏 引用
4th international workshop on Extensions of logic programming, ELP 1993
作者: Ribeiro, Cristina Porto, António Departamento de Informática Universidade Nova de Lisboa Monte da Caparica2825 Portugal
Reasoning with temporal information is essential in Artificial Intelligence. We consider a knowledge base where the internal representation language deals with temporally qualified propositions and constraints on the ... 详细信息
来源: 评论
The Information Agent: an infrastructure agent supporting collaborative enterprise architectures
The Information Agent: an infrastructure agent supporting co...
收藏 引用
IEEE international workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE)
作者: M. Barbuceanu M.S. Fox Enterprise Integration Laboratory Department of Industrial Engineering University of Toronto Canada
We introduce the Information Agent as a component of the information infrastructure supporting collaborative computing environments. We discuss the functions of the Information Agent, describe an architecture based on... 详细信息
来源: 评论
A representation of software systems evolution based on the theory of the general system  3rd
收藏 引用
3rd international workshop on Computer Aided Systems Theory, EUROCAST 1993
作者: Parets, José Anaya, Ana Rodríguez, María J. Paderewski, Patricia Dept. de Lenguajes y Sistemas Informáticos Facultad de Ciencias Universidad de Granada Granada18001 Spain
The more commonly used software development methods assign the activities and results of the process of modification and evolution of software systems to maintenance. In this paper we present an approach to the repres... 详细信息
来源: 评论
Support logic for feature representation, pattern recognition and machine learning
Support logic for feature representation, pattern recognitio...
收藏 引用
IEEE international Conference on Fuzzy Systems (FUZZ-IEEE)
作者: J.F. Baldwin R.M. Gooch T.P. Martin Department of Engineering Mathematics and Advanced Computing Research Centre University of Bristol Bristol UK
The formalism of support logic provides a framework for deductive inference, with mathematically sound and consistent treatment of uncertainty and evidence which is aggregated through the reasoning process. The author... 详细信息
来源: 评论