咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 8,403 篇 电子文献
  • 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,407 篇 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,028 篇 英文
  • 321 篇 其他
  • 39 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8407 条 记 录,以下是4761-4770 订阅
排序:
Abstract specialization and its applications
收藏 引用
ACM SIGPLAN NOTICES 2003年 第10期38卷 269-283页
作者: Puebla, G Hermenegildo, M Tech Univ Madrid UPM Dept Comp Sci Madrid Spain Univ New Mexico Dept CS & E & C Engn Albuquerque NM 87131 USA
The aim of program specialization is to optimize programs by exploiting certain knowledge about the context in which the program will execute. There exist many program manipulation techniques which allow specializing ... 详细信息
来源: 评论
Combinations of abstract domains for logic programming: open product and generic pattern construction
收藏 引用
SCIENCE OF COMPUTER programming 2000年 第1-3期38卷 27-71页
作者: Cortesi, A Le Charlier, B Van Hentenryck, P Univ Venice Dipartimento Informat I-30170 Venice Italy Univ Namur B-5000 Namur Belgium Catholic Univ Louvain B-1348 Louvain Belgium
Abstract interpretation is a systematic methodology to design static program analysis which has been studied extensively in the logic programming community, because of the potential for optimizations in logic programm... 详细信息
来源: 评论
Defeasible logic versus logic programming without Negation as Failure
收藏 引用
JOURNAL OF logic programming 2000年 第1期42卷 47-57页
作者: Antoniou, G Maher, MJ Billington, D Griffith Univ Sch Comp & Informat Technol Nathan Qld 4111 Australia
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and ... 详细信息
来源: 评论
Project report on LP+:: a second generation logic programming language
收藏 引用
AI COMMUNICATIONS 2000年 第1期13卷 13-18页
作者: De Schreye, D Bruynooghe, M Demoen, B Denecker, M Janssens, G Martens, B Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium
We present a recently started research project. The goal of the project is to integrate into one system a number of techniques, execution mechanisms and development tools that were designed in various areas in logic P... 详细信息
来源: 评论
Quantitative Disjunctive logic programming: Semantics and computation
收藏 引用
AI COMMUNICATIONS 2000年 第4期13卷 225-248页
作者: Mateis, C Vienna Univ Technol Inst Informat Syst 184 2 A-1040 Vienna Austria
A new knowledge representation language, called QDLP, which extends DLP to deal with uncertain values is introduced. Each (quantitative) rule is assigned a certainty degree interval (a subinterval of [0,1]). The propa... 详细信息
来源: 评论
A Safe Relational Calculus for Functional logic Deductive Databases 1
收藏 引用
Electronic Notes in Theoretical Computer Science 2003年 第3期86卷 168-204页
作者: Jesús M. Almendros-Jiménez Antonio Becerra-Terón Dpto. de Lenguajes y Computación. Universidad de Almería. Carretera de Sacramento s/n La Cañada de San Urbano. 04120-Almería. Spain
In this paper, we present an extended relational calculus for expressing queries in functional-logic deductive databases. This calculus is based on first-order logic and handles relation predicates, equalities and ine... 详细信息
来源: 评论
Learning action theories with ramifications
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2902卷 259-263页
作者: Lorenzo, David Computer Science Dept. Univ. Coruña 15071 A Coruña Spain
A logic programming formalization of action domains has been well-studied and some work exists on the combination with learning methods. We extend previous work to deal with the indirect effects of actions and to solv... 详细信息
来源: 评论
A procedure for calculating logic programs by replacement of formulae and transformation to disjunctive normal form
收藏 引用
Transactions of the Japanese Society for Artificial Intelligence 2003年 第2期18卷 96-103页
作者: Akiba, Sumitaka Sato, Taisuke Motoyoshi, Fumio Natl. Inst. of Adv. Indust. Science Tokyo Institute of Technology
In this paper, we describe an improvement of a calculation procedure of logic programs. The procedure proposed before is the combination of a replacement procedure of logical formulae and a transformation procedure of... 详细信息
来源: 评论
Managing dialog in a natural language querying system
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2902卷 488-501页
作者: Quintano, Luis Rodrigues, Irene Serviço de Computação Universidade de Évora Portugal Departamento de Informática Universidade de Évora Portugal
A Natural Language Querying System is presented (NL-SIIUE). It enables the access to the Universidade de Évora Information System (SIIUE) heterogeneous databases. Dialog management is essential for the correct in... 详细信息
来源: 评论
An entailment relation for reasoning on the web
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2876卷 17-34页
作者: Bry, François Schaffert, Sebastian Institute for Computer Science University of Munich Germany
Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web. Indeed, the advanced functionalities striven for in these fields call for reasoning capabilit... 详细信息
来源: 评论