咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是341-350 订阅
排序:
Meta-programming in logic: Third international workshop, META-92 Uppsala, Sweden, June 10-12, 1992 Proceedings  3rd
收藏 引用
3rd international workshop on Meta-programming in logic, META 1992
作者: Pettorossi, Alberto University of Rome Tot Vergata Via della Ricerca Scientifica Roma1-00133 Italy
来源: 评论
ABOUT THE logicAL INTERPRETATION OF AMBIGUOUS INHERITANCE HIERARCHIES  3rd
收藏 引用
3rd international CONF ON INFORMATION PROCESSING AND MANAGEMENT OF UNCERTAINTY IN knowledge-BASED SYSTEMS ( IPMU 90 )
作者: GREGOIRE, E Unité d’Informatique Univ. de Louvain Place Sainte Barbe 2 Louvain-la-Neuve B-1348 Belgium Univ. of Maryland A.V. Williams Bldg College Park 20742 MD United States
In this paper, we present a new approach to the logical formalization of ambiguous inheritance hierarchies. This approach involves the translation of inheritance nets into their corresponding hierarchical and stratifi... 详细信息
来源: 评论
A logic-based approach to system modelling  91
A logic-based approach to system modelling
收藏 引用
3rd international workshop on Software Configuration Management, SCM 1991
作者: Rich, Anthony Solomon, Marvin University of Wisconsin-Madison United States Computer Sciences Department 1210 W. Dayton St. MadisonWI53706 United States
Modelling a complex software system requires a description of how its components are related to one another. We propose a new approach to this problem based on logic programming. A declarative system model is develope... 详细信息
来源: 评论
3rd international workshop on Compiler Compilers, CC 1990
收藏 引用
3rd international workshop on Compiler Compilers, CC 1990
The proceedings contain 23 papers. The special focus in this conference is on Compiler Compilers. The topics include: Using an LALR compiler compiler to generate incremental parsers;generating efficient code from cont...
来源: 评论
STARLET : An affix-based compiler compiler designed as a logic programming system  3rd
收藏 引用
3rd international workshop on Compiler Compilers, CC 1990
作者: Beney, Jean Boulicaut, Jean-François Institut National des Sciences Appliquées de Lyon Laboratolre d’Informatique Appliquée Batiment 502 Villeurbanne CedexF-69621 France Ecole Centrale de Lyon Departement Mathématiques-Informatique-Systèmes BP 163 Ecully CedexF-69131 France
We present STARLET, a new compiler compiler which compiles Extended Affix Grammars defining a translation into an executable program : the translator. We look at its operational semantics and we focus on the points wh... 详细信息
来源: 评论
logic programming foundations for processing language with logical types and active constraints
Proceedings of the International Workshop on Natural Languag...
收藏 引用
Proceedings of the international workshop on Natural Language Understanding and logic programming 1991年 195-195页
作者: Saint-Dizier, Patrick
来源: 评论
An object-oriented model of software configuration management*  91
An object-oriented model of software configuration managemen...
收藏 引用
3rd international workshop on Software Configuration Management, SCM 1991
作者: Render, Hal Campbell, Roy Department of Computer Science University of Colorado at Colorado Springs 1420 Austin Bluffs Pkwy Colorado SpringsCO80918-7150 United States Department of Computer Science University of Illinois at Urbana–Champaign 1304 W. Springfield Ave. UrbanaIL61808-2987 United States
Software configuration management (SCM) seeks to control the evolution of software systems. In this paper, we introduce a new object-oriented model of SCM that is based on the earlier research results of the SAGA proj... 详细信息
来源: 评论
Handling corrdination in a logic-based concurrent parser
Proceedings of the International Workshop on Natural Languag...
收藏 引用
Proceedings of the international workshop on Natural Language Understanding and logic programming 1991年 1-1页
作者: Matsumoto, Yuji
来源: 评论
Semantic interface for logic grammers and its application to DRT
Proceedings of the International Workshop on Natural Languag...
收藏 引用
Proceedings of the international workshop on Natural Language Understanding and logic programming 1991年 281-281页
作者: Ishikawa, Akira Akama, Seiki
来源: 评论
Medieval logic and natural language understanding
Proceedings of the International Workshop on Natural Languag...
收藏 引用
Proceedings of the international workshop on Natural Language Understanding and logic programming 1991年 75-75页
作者: Ohrstrom, Peter Hasle, Per
来源: 评论