咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是151-160 订阅
排序:
A Polymorphic Type System in logic programming
A Polymorphic Type System in Logic Programming
收藏 引用
3rd international Conference on Intelligent System and knowledge Engineering
作者: Li Huiqi Zhao Zhizhuo Xiamen Univ Dept Comp Sci Xiamen 361005 Peoples R China
This paper is concerned with the design of type systems for logic programming so as to satisfy the requirements of modern logic programming. The design of type systems is based on the language Godel which has a strong... 详细信息
来源: 评论
Formal reasoning with rough sets in multiple-source approximation systems
收藏 引用
international JOURNAL OF APPROXIMATE REASONING 2008年 第2期49卷 466-477页
作者: Khan, Md. Aquil Banerjee, Mohua Indian Inst Technol Dept Math & Stat Kanpur 208016 Uttar Pradesh India
We focus on families of Pawlak approximation spaces, called multiple-source approximation systems (MSASs). These reflect the situation where information arrives from multiple sources. The behaviour of rough sets in MS... 详细信息
来源: 评论
C-Flash: An ultra-low power single poly logic NVM
C-Flash: An ultra-low power single poly logic NVM
收藏 引用
23rd IEEE Non-Volatile Semiconductor Memory workshop/3rd international Conference on Memory Technology and Design
作者: Roizin, Y. Aloni, E. Birman, A. Dayan, V. Fenigstein, A. Nahmad, D. Pikhay, E. Zfira, D. Tower Semicond Ltd IL-23105 Migdal Haemeq Israel
An ultra-low power logic NVM has currents <10nA/cell in all operating regimes, high programming/erase speeds, excellent endurance/retention and allows strong Vdd fluctuations. The memory uses CMOS inverter read-out... 详细信息
来源: 评论
KR-MED 2008 - Proceedings of the 3rd international Conference on knowledge representation in Medicine: Representing and Sharing knowledge Using SNOMED
KR-MED 2008 - Proceedings of the 3rd International Conferenc...
收藏 引用
3rd international Conference on Formal Biomedical knowledge representation in Medicine: Representing and Sharing knowledge Using SNOMED, KR-MED 2008
The proceedings contain 17 papers. The topics discussed include: debugging Snomed CT using axiom pinpointing in the description logic EL+;leveraging SNOMED CT with a general purpose terminology server;LinKBase&reg...
来源: 评论
Answer set programming - A domain in need of explanation: A position paper
Answer set programming - A domain in need of explanation: A ...
收藏 引用
3rd international workshop on Explanation-Aware Computing, ExaCt 2008
作者: Brain, Martin De Vos, Marina Department of Computer Science University of Bath United Kingdom
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications due to the considerable bottlenecks i... 详细信息
来源: 评论
Using SNOMED CT concepts for PAIRS
Using SNOMED CT concepts for PAIRS
收藏 引用
3rd international Conference on Formal Biomedical knowledge representation in Medicine: Representing and Sharing knowledge Using SNOMED, KR-MED 2008
作者: Mohan Rao, A.M. Logic Medical Systems Hyderabad AP India
SNOMED CT medical vocabulary can be used to identify complementary features in a database. This functionality is used to develop a natural language processor (NLP) for PAIRS (Physician Assistant Artificial Intelligenc... 详细信息
来源: 评论
Computation with classical sequents
收藏 引用
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 2008年 第3期18卷 555-609页
作者: Van Bakel, Steffen Lescanne, Pierre Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England Ecole Normale Super Lyon F-69364 Lyon France
X is an untyped continuation-style formal language with a typed subset that provides a Curry-Howard isomorphism for a sequent calculus for implicative classical logic. X can also be viewed as a language for describing... 详细信息
来源: 评论
Debugging snomed ct using axiom pinpointing in the description logic EL+
Debugging snomed ct using axiom pinpointing in the descripti...
收藏 引用
3rd international Conference on Formal Biomedical knowledge representation in Medicine: Representing and Sharing knowledge Using SNOMED, KR-MED 2008
作者: Baader, Franz Suntisrivaraporn, Boontawee Institute for Theoretical Computer Science TU Dresden Germany
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description logic EL. Description logic reasoning can not only be used to compute subsumption relationships between S... 详细信息
来源: 评论
Why do it the hard way? The case for an expressive description logic for SNOMED
Why do it the hard way? The case for an expressive descripti...
收藏 引用
3rd international Conference on Formal Biomedical knowledge representation in Medicine: Representing and Sharing knowledge Using SNOMED, KR-MED 2008
作者: Rector, Alan Brandt, Sebastian School of Computer Science University of Manchester Manchester M13 9PL United Kingdom
来源: 评论
Modelling Radial Basis Functions with Rational logic Rules
Modelling Radial Basis Functions with Rational Logic Rules
收藏 引用
3rd international workshop on Hybrid Artificial Intelligence Systems
作者: Sottara, Davide Mello, Paola Univ Bologna Fac Engn Dept Elect Comp Sci & Syst I-40129 Bologna BO Italy
Connectionist systems such as Radial Basis Function Neural Networks and similar architectures are commonly applied to solve problems of learning relations from available examples. To overcome their limits in clarity o... 详细信息
来源: 评论