咨询与建议

限定检索结果

文献类型

  • 332 篇 会议
  • 23 篇 期刊文献
  • 10 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

  • 87 篇 logic programmin...
  • 29 篇 knowledge repres...
  • 18 篇 semantics
  • 13 篇 programming
  • 12 篇 computer circuit...
  • 10 篇 computer program...
  • 9 篇 object oriented ...
  • 9 篇 artificial intel...
  • 9 篇 ontology
  • 8 篇 logic gates
  • 8 篇 mathematical log...
  • 8 篇 functional progr...
  • 6 篇 programming tech...
  • 6 篇 logics and meani...
  • 6 篇 temporal logic
  • 6 篇 logic design
  • 5 篇 answer set progr...
  • 4 篇 computer archite...
  • 4 篇 logic
  • 4 篇 inductive 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 篇 madalina croitor...
  • 2 篇 kelly peter m.
  • 2 篇 dovier agostino
  • 2 篇 hindriks koen v.

语言

  • 354 篇 英文
  • 11 篇 其他
  • 1 篇 中文
检索条件"任意字段=3rd International Workshop on Logic Programming and Knowledge Representation"
365 条 记 录,以下是81-90 订阅
排序:
CEUR workshop Proceedings
CEUR Workshop Proceedings
收藏 引用
3rd international workshop on Probabilistic logic programming, PLP 2016
The proceedings contain 5 papers. The topics discussed include: the structure and complexity of credal semantics;probabilistic constraint logic theories;toward computing conflict-based diagnoses in probabilistic logic...
来源: 评论
Computing with logic as operator elimination: The ToyElim system  1
收藏 引用
19th international Conference on Applications of Declarative programming and knowledge Management, INAP 2011 and 25th workshop on logic programming, WLP 2011
作者: Wernhard, Christoph Technische Universität Dresden Dresden Germany
A prototype system is described whose core functionality is, based on propositional logic, the elimination of second-order operators, such as Boolean quantifiers and operators for projection, forgetting and circumscri... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Proceedings of the international workshop on Temporal representation and Reasoning
Proceedings of the International Workshop on Temporal Repres...
收藏 引用
3rd international workshop on Temporal representation and Reasoning, TIME 1996
The proceedings contain 32 papers. The topics discussed include: reasoning about concurrent actions within features and fluents;a theory of time and temporal incidence based on instants and periods;processing disjunct...
来源: 评论
A preliminary report on answering complex queries related to drug discovery using answer set programming
A preliminary report on answering complex queries related to...
收藏 引用
3rd international workshop on Applications of logic programming to the (Semantic) Web and Web Services, ALPSWS 2008 - Co-located with the 24th international Conference on logic programming, ICLP 2008
作者: Bodenreider, Olivier Çoban, Zeynep H. Doǧanay, Mahir C. Erdem, Esra Koşucu, Hilal National Library of Medicine National Institutes of Health United States Department of Biostatistics Harvard School of Public Health United States Dept. of Mathematics and Computing Science University of Groningen Netherlands Faculty of Engineering and Natural Sciences Sabanci University Turkey Department of Computer Science University of Toronto Canada
We introduce a new method for integrating relevant parts of knowledge extracted from biomedical ontologies and answering complex queries related to drug safety and discovery, using Semantic Web technologies and answer... 详细信息
来源: 评论
3rd international workshop on Engineering Multi-Agent Systems, EMAS 2015
收藏 引用
3rd international workshop on Engineering Multi-Agent Systems, EMAS 2015
The proceedings contain 12 papers. The special focus in this conference is on Engineering Multi-Agent Systems. The topics include: A future for agent programming;towards agent aggregates;designing a knowledge represen...
来源: 评论
Visual Generalized Rule programming Model for Prolog with Hybrid Operators
Visual Generalized Rule Programming Model for Prolog with Hy...
收藏 引用
17th international Conference on Applications of Declarative programming and knowledge Management/21st workshop on logic programming
作者: Nalepa, Grzegorz J. Wojnicki, Igor AGH Univ Sci & Technol Inst Automat PL-30059 Krakow Poland
The rule-based programming paradigm is omnipresent in a number of engineering domains. However, there are some fundamental semantical differences between it and classic programming approaches. No generic solution for ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
HYBRID knowledge BASES FOR INTEGRATING SYMBOLIC, NUMERIC AND IMAGE DATA
HYBRID KNOWLEDGE BASES FOR INTEGRATING SYMBOLIC, NUMERIC AND...
收藏 引用
23rd AIPR workshop on Image and Information Systems - Applications and Opportunities
作者: SUBRAHMANIAN, VS UNIV MARYLAND DEPT COMP SCICOLLEGE PKMD 20742
A hybrid knowledge base (HKB), due to Nerode and Subrahmanian, is a formalism that provides a uniform theoretical framework within which heterogeneous data representation paradigms may be integrated. The HKB framework... 详细信息
来源: 评论
A flow-based programming framework for mobile app development  3
A flow-based programming framework for mobile app developmen...
收藏 引用
3rd international workshop on programming for Mobile and Touch, PROMOTO 2015
作者: Zaman, Jesse Hoste, Lode De Meuter, Wolfgang Software Languages Lab. Vrije Universiteit Brussel Brussels Belgium
DisCoPar (Distributed Components for Participatory Campaigning) is a framework inspired by flow-based programming (FBP) that enables users to develop and deploy mobile apps for participatory sensing purposes. The high... 详细信息
来源: 评论