咨询与建议

限定检索结果

文献类型

  • 6,088 篇 会议
  • 2,200 篇 期刊文献
  • 99 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 27 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 22 篇 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
  • 49 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 38 篇 son tran cao
  • 37 篇 pontelli enrico
  • 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,020 篇 英文
  • 334 篇 其他
  • 33 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8406 条 记 录,以下是4711-4720 订阅
Quantifying over quantifiers: (Abstract)
Quantifying over quantifiers: (Abstract)
收藏 引用
作者: Hella, Lauri Department of Mathematics Statistics and Philosophy University of Tampere Kanslerinrinne 1 33014 Tampere Finland
We study existential and universal quantification over quantifiers, i.e. quantification where the objects quantified over are Lindstrom quantifiers. First we consider the fragment where only existential quantification... 详细信息
来源: 评论
Learning logic Programs for Layout Analysis Correction
Learning Logic Programs for Layout Analysis Correction
收藏 引用
Proceedings, Twentieth International Conference on Machine Learning
作者: Berardi, Margherita Ceci, Michelangelo Esposito, Floriana Malerba, Donate Dipartimento di Informatica University of Bari Via Orabona 4 70126 Bari Italy
Layout analysis is the process of extracting a hierarchical structure describing the layout of a page. In the system WISDOM++, the layout analysis is performed in two steps: firstly, the global analysis determines pos... 详细信息
来源: 评论
Characterizing and computing semantically correct answers from databases with annotated logic and answer sets
收藏 引用
2nd International Workshop on Semantics in Databases
作者: Barceló, P Bertossi, L Bravo, L Univ Toronto Dept Comp Sci Toronto ON Canada Carleton Univ Sch Comp Sci Ottawa ON K1S 5B6 Canada Pontificia Univ Catolica Chile Dept Ciencia Computac Santiago Chile
A relational database may not satisfy certain integrity constraints (ICs) for several reasons. However most likely most of the information in it is still consistent with the ICs. The answers to queries that are consis... 详细信息
来源: 评论
Schedulers for rule-based constraint programming  03
Schedulers for rule-based constraint programming
收藏 引用
Proceedings of the 2003 ACM Symposium on Applied Computing
作者: Apt, Krzysztof R. Brand, Sebastian CWI P.O. Box 94079 1090 GB Amsterdam Netherlands University of Amsterdam Amsterdam Netherlands School of Computing National University of Singapore Singapore Singapore
We study here schedulers for a class of rules that naturally arise in the context of rule-based constraint programming. We systematically derive a scheduler for them from a generic iteration algorithm of Apt. We apply... 详细信息
来源: 评论
Source-tracking unification  19th
收藏 引用
19th International Conference on Automated Deduction, CADE 2003
作者: Choppella, Venkatesh Haynes, Christopher T. Computer Science Department Indiana University BloomingtonIN47405 United States
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugging unification-based systems, includ... 详细信息
来源: 评论
On-demand evaluation by program transformation
On-demand evaluation by program transformation
收藏 引用
作者: Alpuente, María Escobar, Santiago Lucas, Salvador DSIC Universidad Politécnica de Valencia Spain
Strategy annotations are used in eager programming languages (e.g., OBJ2, OBJ3, CafeOBJ, and Maude) for improving efficiency and/or reducing the risk of nontermination. Syntactically, they are given either as lists of... 详细信息
来源: 评论
Induction of the effects of actions by monotonic methods
Induction of the effects of actions by monotonic methods
收藏 引用
13th International Conference, ILP 2003
作者: Otero, Ramon P. Department of Computer Science University of Corunna Corunna 15071 Galicia Spain
Induction of the effects of actions considered here consists in learning an action description of a dynamic system from evidence on its behavior. General logic-based induction methods can deal with this problem but, u... 详细信息
来源: 评论
On the relation between reiter's default logic and its (major) variants
收藏 引用
7th European Conference, ECSQARU 2003
作者: Delgrande, James P. Schaub, Torsten School of Computing Science Simon Fraser University Burnaby BC V5A 1S6 Canada Institut für Informatik Universität Potsdam D-14415 Potsdam Germany
Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to give systems with properties differing from th... 详细信息
来源: 评论
Prepositional fusion rules
Prepositional fusion rules
收藏 引用
7th European Conference, ECSQARU 2003
作者: Hunter, Anthony Summerton, Rupert Department of Computer Science University College London Gower Street London WC1E 6BT United Kingdom
In previous papers, we have presented a logic-based framework for merging structured news reports. Structured news reports are XML documents, where the text entries are restricted to individual words or simple phrases... 详细信息
来源: 评论
Graphs and colorings for answer set programming: Abridged Report
Graphs and colorings for answer set programming: Abridged Re...
收藏 引用
2nd International Workshop on Answer Set programming Advances in Theory and Implementation, ASP 2003
作者: Konczak, Kathrin Linke, Thomas Schaub, Torsten Institut für Informatik Universität Potsdam Postfach 90 03 27 D-14439 Potsdam Germany
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. We start from a characterization ofanswer sets in terms oftotally colored dependency graph... 详细信息
来源: 评论