咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4661-4670 订阅
排序:
The first version of a new ASP solver : AAASPeRiX
收藏 引用
10th International Conference on logic programming and Nonmonotonic Reasoning, LPNMR 2009
作者: Lefèvre, Claire Nicolas, Pascal LERIA University of Angers 2 bd Lavoisier F-49045 Angers Cedex 01 France
We present the first version of our ASP solver ASPeRiX that implements a new approach of answer set computation. The main specifity of our system is to realize a forward chaining of first order rules that are grounded... 详细信息
来源: 评论
Meta programming with answer sets for smart spaces  6th
Meta programming with answer sets for smart spaces
收藏 引用
6th International Conference on Web Reasoning and Rule Systems, RR 2012
作者: Janhunen, Tomi Luukkala, Vesa Aalto University Department of Information and Computer Science Finland Nokia Research Center United States
A smart space is an ecosystem of interacting computational objects embedded in some environment. The space seamlessly provides users with information and services using the best available resources. In this paper, the... 详细信息
来源: 评论
Defeasible deontic control for discrete events based on EVALPSN
收藏 引用
4th International Conference, RSCTC 2004
作者: Nakamatsu, Kazumi Komaba, Hayato Suzuki, Atsuyuki Lie, Chung-Lun Chung, Sheng-Luen School of S.H.S.E. University of Hyogo Himeji 670-0092 Japan Dept. Information Shizuoka University Hamamatsu 432-8011 Japan Dept. Electric NTUST Taipei 106 Taiwan
We have developed an annotated logic program called an EVALPSN(Extended Vector Annotated logic Program with Strong Negation), which can deal with defeasible deontic reasoning and some kinds of contradiction, and appli... 详细信息
来源: 评论
The suspension notation for lambda terms and its use in metalanguage implementations
The suspension notation for lambda terms and its use in meta...
收藏 引用
WoLLIC'2002, 9th Workshop on logic, Language, Information and Computation
作者: Nadathur, Gopalan Department of Computer Science and Engineering University of Minnesota Minneapolis MN 55455 United States
Many metalanguages and logical frameworks have emerged in recent years that use the terms of the lambda calculus as data structures. A common set of questions govern the suitability of a representation for lambda term... 详细信息
来源: 评论
logic Programs as Executable Experimental Task Specifications  43
Logic Programs as Executable Experimental Task Specification...
收藏 引用
43rd Annual Meeting of the Cognitive Science Society: Comparative Cognition: Animal Minds, CogSci 2021
作者: Mekik, Can Serif Department of Cognitive Science 110 8th Street TroyNY12180 United States
This paper proposes a formalized approach to the specification of experimental tasks in cognitive science. Put briefly, the proposal is to represent the structure of a task by a logic program that accepts only valid e... 详细信息
来源: 评论
Reduction strategies for declarative programming
Reduction strategies for declarative programming
收藏 引用
WRS 2001, 1st International Workshop on Reduction Strategies in Rewriting and programming
作者: Hanus, Michael Institut für Informatik Christian-Albrechts-Universität Kiel D-24098 Kiel Germany
This paper surveys reduction or evaluation strategies for functional and functional logic programs. Reasonable reduction strategies for declarative languages must be efficiently implementable to be useful in practice.... 详细信息
来源: 评论
Disjunctive logic programs with inheritance revisited (a preliminary report)
收藏 引用
13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002
作者: Costantini, Stefania Otero, Ramón P. Provetti, Alessandro Son, Tran C. Università Degli Studi di L'Aquila Dipartimento D'Informatica Via Vetoio Loc. Coppito I-67100 L'Aquila Italy University of Corunna AI Lab Dep. da Computacion E-15071 Corunna Galicia Spain Università Degli Studi di Messina Dip. di Fisica Salita Sperone 31 I-98166 Messina Italy Department of Computer Science New Mexico State University PO Box 30001 Las Cruces NM 88003 United States
We argue for a semantical modification of the language DLP
来源: 评论
ASICs, processors, and configurable computing
ASICs, processors, and configurable computing
收藏 引用
The 1997 30th Annual Hawaii International Conference on System Sciences, HICSS-30
作者: Hutchings, Brad L. Brigham Young Univ Provo UT United States
The relationships between configurable computing, ASICs, and microprocessors have several important implications. First, sequential programming languages and related compilation approaches are not likely to be a good ... 详细信息
来源: 评论
Checking termination of logic programs with function symbols through linear constraints
收藏 引用
8th International Web Rule Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014
作者: Calautti, Marco Greco, Sergio Molinaro, Cristian Trubitsyna, Irina Italy
Enriching answer set programming with function symbols makes modeling easier, increases the expressive power, and allows us to deal with infinite domains. However, this comes at a cost: common inference tasks become u... 详细信息
来源: 评论
A formal approach for cautious reasoning in answer set programming (extended abstract)  29
A formal approach for cautious reasoning in answer set progr...
收藏 引用
29th International Joint Conference on Artificial Intelligence, IJCAI 2020
作者: Amendola, Giovanni Dodaro, Carmine Maratea, Marco DeMaCS University of Calabria Italy DIBRIS University of Genoa Italy
The issue of describing in a formal way solving algorithms in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo Theories, Answer Set programming (ASP), and Constraint ASP... 详细信息
来源: 评论