咨询与建议

限定检索结果

文献类型

  • 6,085 篇 会议
  • 2,197 篇 期刊文献
  • 109 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,406 篇 电子文献
  • 7 种 纸本馆藏

日期分布

学科分类号

  • 5,730 篇 工学
    • 5,323 篇 计算机科学与技术...
    • 3,516 篇 软件工程
    • 568 篇 电气工程
    • 303 篇 控制科学与工程
    • 170 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,423 篇 理学
    • 1,256 篇 数学
    • 118 篇 统计学(可授理学、...
    • 78 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 37 篇 农学
    • 25 篇 作物学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,410 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 304 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 26 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 53 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 49 篇 neves jose
  • 48 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 son tran cao
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,028 篇 英文
  • 322 篇 其他
  • 41 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8410 条 记 录,以下是4801-4810 订阅
排序:
An abstract machine for reasoning about situations, actions, and causality  5th
收藏 引用
5th International Workshop on Extensions of logic programming, ELP 1996
作者: Eder, Kerstin Hölldobler, Steffen Thielscher, Michael Department of Computer Science University of Bristol Queen's Building University Walk BristolBS8 1TR United Kingdom Wissensverarbeitung Informatik TU Dresden DresdenD-01062 Germany International Computer Science Institute 1947 Center Street BerkeleyCA94704-1198 United States
Over the last years several new approaches for modeling situations, actions, and causality within a deductive framework were proposed. These new approaches treat the facts about a situation as resources, which are con... 详细信息
来源: 评论
Design of Controller for Fundamental Steer-by-wire system  1
Design of Controller for Fundamental Steer-by-wire system
收藏 引用
SAE 1st National Conference on Automotive Infotronics NCAI 2003
作者: Arasan, Santhosh T. Midhun, V.S. Subburaj, V. Jawahar, P.Mannar Department of Automobile Engineering Madras Institute of Technology Anna University Chennai India Department of Automobile Engineering MIT Anna University 100 Avvai Street VGP Shanti Nagar Pallikaranai Chennai601 302 India
An overview of today's automotive industry reminds us about an ever-increasing demand for passenger comfort, safety and zero emissions vehicles. Drivers are also seeking improvements in the handling stability at h... 详细信息
来源: 评论
Non-monotonic spatial reasoning with answer set programming modulo theories
Non-monotonic spatial reasoning with answer set programming ...
收藏 引用
作者: Waleȩga, Przemyslaw Andrzej Schultz, Carl Bhatt, Mehul University of Warsaw Warsaw Poland University of Münster Münster Germany University of Bremen Bremen Germany
The systematic modelling of dynamic spatial systems is a key requirement in a wide range of application areas such as commonsense cognitive robotics, computer-aided architecture design, and dynamic geographic informat... 详细信息
来源: 评论
Abduction in Argumentation Frameworks and Its Use in Debate Games
Abduction in Argumentation Frameworks and Its Use in Debate ...
收藏 引用
5th JSAI International Symposium on Artificial Intelligence (JSAI-isAI)
作者: Sakama, Chiaki Wakayama Univ Dept Comp & Commun Sci Sakaedani Wakayama 6408510 Japan
This paper studies an abduction problem in formal argumentation frameworks. Given an argument, an agent verifies whether the argument is justified or not in its argumentation framework. If the argument is not justifie... 详细信息
来源: 评论
Shortcut fusion for accumulating parameters and zip-like functions
Shortcut fusion for accumulating parameters and zip-like fun...
收藏 引用
Proceedings of the Seventh ACM SIGPLAN;International Conference on Functional programming (ICFP'02)
作者: Svenningsson, Josef Chalmers University of Technology Goteborg Sweden
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known to be difficult. We show that it can ... 详细信息
来源: 评论
Implementing dynamic flowgraph methodology models with logic programs
Implementing dynamic flowgraph methodology models with logic...
收藏 引用
11th International Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference 2012, PSAM11 ESREL 2012
作者: Karanta, Ilkka VTT Espoo Finland
The dynamic flowgraph methodology (DFM) is a promising way to find the prime implicants of a top event for a dynamic system possibly containing digital subsystems. This paper demonstrates how to express dynamic flowgr... 详细信息
来源: 评论
Realization of a translator for Janus  20
Realization of a translator for Janus
收藏 引用
20th Annual Southeast Regional Conference, ACM-SE 1982
作者: Barrett, John H. Reilly, Kevin D. University of Alabama Birmingham United States
The Janus programming language, viewed as the assembler for an abstract machine with a tree-based memory system, is of theoretical and practical interest, e.g., Pascal compilers. Many widely accepted theoretical formu... 详细信息
来源: 评论
Fast abductive reasoning over ontologies
Fast abductive reasoning over ontologies
收藏 引用
2006 AAAI Fall Symposium
作者: Davenport, Dan Hill, Ray Lockheed Martin Advanced Technology Laboratories 3 Executive Campus Cherry Hill NJ 08002
In this paper we present a new method for reasoning abductively over instances of a triples ontology. We compute the usefulness of evidence toward making an inference rather than its truth value, probabilistic or othe... 详细信息
来源: 评论
A study of set-sharing analysis via cliques
A study of set-sharing analysis via cliques
收藏 引用
15th Workshop on logic-based methods in programming Environments, WLPE 2005
作者: Navas, Jorge Bueno, Francisco Hermenegildo, Manuel Depts. of Comp. Science and Electr. and Comp. Eng. Univ. of New Mexico Albuquerque NM United States Madrid Spain
We study the problem of efficient, scalable set-sharing analysis of logic programs. We use the idea of representing sharing information as a pair of abstract substitutions, one of which is a worst-case sharing represe... 详细信息
来源: 评论
Type-I topological logic ℂℑ1 and approximate reasoning
Type-I topological logic ℂℑ1 and approximate reasoning
收藏 引用
Second International Confernce on Fuzzy Systems and Knowledge Discovery, FSKD 2005
作者: Zheng, Yalin Zhang, Changshui Yao, Xin Department of Automation Faculty of Information Science and Technology Tsinghua University Beijing 100084 China
We introduce the consistent topological structure and neighborhood structure into the logical framework for providing the logical foundation and logical normalization for the approximate reasoning. We present the conc... 详细信息
来源: 评论