咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4711-4720 订阅
排序:
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 ... 详细信息
来源: 评论
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 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 ... 详细信息
来源: 评论
Simulation study of or- and independent and-parallelism
Simulation study of or- and independent and-parallelism
收藏 引用
logic programming - Proceedings of the 1991 International Symposium
作者: Shen, Kish Hermenegildo, Manuel V. Cambridge Univ Cambridge United Kingdom
Although studies of a number of parallel implementations of logic programming languages are now available, the results are difficult to interpret due to the multiplicity of factors involved, the effect of each of whic... 详细信息
来源: 评论
An empirical study of partial deduction for MINIKANREN  9
An empirical study of partial deduction for MINIKANREN
收藏 引用
9th International Workshop on Verification and Program Transformation, VPT 2021
作者: Verbitskaia, Ekaterina Berezun, Daniil Boulytchev, Dmitry JetBrains Research Saint Petersburg Russia Saint Petersburg State University JetBrains Research Saint Petersburg Russia
We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language MINIKANREN. We identify a number of ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论