咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 8,404 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

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

主题

  • 8,408 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 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
  • 54 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 50 篇 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,029 篇 英文
  • 321 篇 其他
  • 39 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8408 条 记 录,以下是4711-4720 订阅
排序:
Electronic homework on the WWW  1
收藏 引用
1st Asia-Pacific Conference on Web Intelligence, WI 2001
作者: Liu, Chunnian Zheng, Lei Ji, Junzhong Yang, Chengzhong Li, Jingyue Yang, Wensheng Dept. Of Computer Science Beijing Polytechnic University Beijing100022 China
This paper presents the design of an Intelligent Tutoring System (ITS) MathEH, that is a coached problem solving system, also called "Electronic Homework". In describing the main modules of the system, we em... 详细信息
来源: 评论
Once upon a type  95
Once upon a type
收藏 引用
Conference Record of Conference on Functional programming Languages and Computer Architecture
作者: Turner, David N. Wadler, Philip Mossin, Christian Univ of Glasgow Glasgow United Kingdom
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a type-inference based program analysis which determ... 详细信息
来源: 评论
A logical characterisation of ordered disjunction  3
A logical characterisation of ordered disjunction
收藏 引用
3rd Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the International Conference on logic programming, ICLP 2010
作者: Cabalar, Pedro Department of Computer Science Corunna University Corunna Spain
In this paper we consider a logical treatment for the ordered disjunction operator × introduced by Brewka, Niemelä and Syrjänen in their logic Programs with Ordered Disjunctions (LPOD). LPODs are used t... 详细信息
来源: 评论
Default reasoning via negation as failure  10th
收藏 引用
Workshop on Theoretical Foundations of Knowledge Representation and Reasoning held in conjunction with 10th European Conference on Artificial Intelligence, ECAI 1992
作者: Kakas, A.C. Department of Computer Science University of Cyprus 75 Kallipoleos Street Nicosia Cyprus
We show how recent developments in the study of negation as failure of logic programming can be used to define a general framework for Default Reasoning. Negation as failure can be viewed as a form of hypotheses with ... 详细信息
来源: 评论
A rule-based system for end-user e-mail annotations  11
A rule-based system for end-user e-mail annotations
收藏 引用
8th Annual Collaboration, Electronic Messaging, Anti-Abuse and Spam Conference, CEAS 2011
作者: Fiumara, G. Marchi, M. Pagano, R. Provetti, A. Spada, N. Informatics Section Dept. of Physics University of Messina V.le F. Stagno d'Alcontres 31 Messina I-98166 Italy
A new system for spam e-mail annotation by end-users is presented. It is based on the recursive application of hand- written annotation rules by means of an inferential engine based on logic programming. Annotation ru... 详细信息
来源: 评论
Kato: A plagiarism-detection tool for answer-set programs
Kato: A plagiarism-detection tool for answer-set programs
收藏 引用
23rd Workshop on (Constraint) logic programming 2009, WLP 2009
作者: Oetsch, Johannes Schwengerer, Martin Tompits, Hans Institut für Informationssysteme 184/3 Technische Universität Wien Favoritenstraße 9-11 A-1040 Vienna Austria
We present the tool Kato which is, to the best of our knowledge, the first tool for plagiarism detection that is directly tailored for answer-set programming (ASP). Kato aims at finding similarities between (segments ... 详细信息
来源: 评论
Compiling Circumscriptive Theories into logic Programs: Preliminary Report  7
Compiling Circumscriptive Theories into Logic Programs: Prel...
收藏 引用
7th National Conference on Artificial Intelligence, AAAI 1988
作者: Gelfond, Michael Lifschitz, Vladimir Department of Computer Science University of Texas at El Paso El PasoTX79968 United States Department of Computer Science Stanford University StanfordCA94305 United States
We study the possibility of reducing some special cases of circumscription to logic programming. The description of a given circumscriptive theory T can be sometimes transformed into a logic program II, so that, by ru... 详细信息
来源: 评论
Resource management in linear logic proof search revisited
收藏 引用
6th International Conference on logic for programming and Automated Reasoning, LPAR 1999
作者: López, Pablo Pimentel, Ernesto Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga Campus de Teatinos 29071 Málaga Spain
Linear logic provides a logical framework to express ftindamentEd computationcil concepts in a declcirative style. As a consequence, it has been used as a sound foundation for the design of expressive progreimming and... 详细信息
来源: 评论
Granular modeling: The synergy of granular computing and fuzzy logic
Granular modeling: The synergy of granular computing and fuz...
收藏 引用
Proceedings - HIS'04: 4th International Conference on Hybrid Intelligent Systems
作者: Pedrycz, Witold Department of Electrical and Computer Engineering University of Alberta Edmonton Canada Systems Research Institute Polish Academy of Sciences Warsaw Poland
logic is a universal language of abstract concepts of two-valued world. Fuzzy logic is a cornerstone of abstraction of real (continuous) world. Granular Computing is aimed at the development, processing and exchanging... 详细信息
来源: 评论
Complexity-theoretic aspects of programming language design  2nd
Complexity-theoretic aspects of programming language design
收藏 引用
2nd International Conference on Principles and Practice of Constraint programming, CP 1996
作者: Mairson, Harry G. Brandeis University United States
We survey three of Paris Kanellakis's contributions to the complexity-theoretic analysis of constructs in the design of programming languages. These are (1) his result that first-order unification is complete for ... 详细信息
来源: 评论