咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4741-4750 订阅
排序:
Petri net semantics for logic programs with negation
Petri net semantics for logic programs with negation
收藏 引用
Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering
作者: Shimura, Teruhiro Lobo, Jorge Murata, Tadao Univ of Illinois at Chicago Chicago United States
An extended Petri net is used to model function-free logic programs with negation, i.e., normal logic programs. In this model, because of the presence of inhibitor arcs, the arbitrary applications of firing rules may ... 详细信息
来源: 评论
Constraint operations for CLP(FT)
Constraint operations for CLP(FT)
收藏 引用
logic programming - Proceedings of the 8th International Conference
作者: Smith, Donald A. Brandeis Univ Waltham United States
This report discusses the definition and implementation of constraint operations for CLP(FT), Prolog with universally quantified disequality constraints on finite trees. As a follow-up to [SH90], where we defined seve... 详细信息
来源: 评论
A tool to check the non-floundering logic programs and goals  1st
收藏 引用
1st International Workshop on programming Languages Implementation and logic programming, PLILP 1988
作者: Barbuti, Roberto Martelli, Maurizio Dipartimento di Informatica Corso Italia 40 Pisa56100 Italy Cnuce-Cnr Via S. Maria 36 Pisa56100 Italy
A complete implementation of the negation as failure rule in a logic programming system requires that only ground negative literals are selected during the evaluation. Obviously there is the possibility to have only n... 详细信息
来源: 评论
Argumentation-based answer set justification  11
Argumentation-based answer set justification
收藏 引用
11th International Symposium on logical Formalizations of Commonsense Reasoning, COMMONSENSE 2013
作者: Schulz, Claudia Sergot, Marek Toni, Francesca Department of Computing Imperial College London United Kingdom
We suggest a method for justifying why a literal is or is notcontained in the answer set of a logic program. This methodmakes use of argumentation theory, more precisely of stableASPIC+ extensions. We describe a way t... 详细信息
来源: 评论
Inducing specification of interaction protocols and business processes and proving their properties
Inducing specification of interaction protocols and business...
收藏 引用
Il Milione: A Journey in the Computational logic in Italy
作者: Alberti, Marco Gavanelli, Marco Lamma, Evelina Riguzzi, Fabrizio Storari, Sergio Dipartimento di Ingegneria Università di Ferrara Via Saragat 1 44100 Ferrara Italy
In this paper, we overview our recent research activity concerning the induction of logic programming specifications, and the proof of their properties via Abductive logic programming. Both the inductive and abductive... 详细信息
来源: 评论
Provenance for probabilistic logic programs  23
Provenance for probabilistic logic programs
收藏 引用
23rd International Conference on Extending Database Technology, EDBT 2020
作者: Wang, Shaobo Lyu, Hui Zhang, Jiachi Wu, Chenyuan Chen, Xinyi Zhou, Wenchao Loo, Boon Thau Davidson, Susan B. Chen, Chen Georgetown University United States University of Pennsylvania United States Beijing Jiao Tong University China Shanghai Jiao Tong University China Megagon Labs
Despite the emergence of probabilistic logic programming (PLP) languages for data driven applications, there are currently no debugging tools based on provenance for PLP programs. In this paper, we propose a novel pro... 详细信息
来源: 评论
Abstract interpretation and finite domain symbolic constraints  22nd
收藏 引用
22nd Spring School in Theoretical Computer Science
作者: Le Charlier, Baudouin rue Grandgagnage 21 NamurB-5000 Belgium
Abstract interpretation is a general methodology for building static analyses which are useful for program optimization and verification. Finite domain symbolic constraints constitute a restricted class of first order... 详细信息
来源: 评论
Super monaco: Its portable and efficient parallel runtime system  1st
Super monaco: Its portable and efficient parallel runtime sy...
收藏 引用
1st International EURO-PAR Conference on Parallel Processing, EURO-PAR 1995
作者: Larson, J.S. Massey, B.C. Tick, E. University of Oregon EugeneOR97403 United States
"Super Monaco" is the successor to Monaco, a shared-memory multiprocessor implementation of a flat concurrent logic programming language. While the system retains, by-and-large, the older Monaco compiler and... 详细信息
来源: 评论
Language ASP{f} with arithmetic expressions and consistency-restoring rules  5
Language ASP{f} with arithmetic expressions and consistency-...
收藏 引用
5th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2012, co-located with the 28th International Conference on logic programming, ICLP 2012
作者: Balduccini, Marcello Gelfond, Michael Kodak Research Laboratories Eastman Kodak Company RochesterNY14650-2102 United States Computer Science Department Texas Tech University LubbockTX79409 United States
In this paper we continue the work on our extension of Answer Set programming by non-Herbrand functions and add to the language support for arithmetic expressions and various inequality relations over non-Herbrand fun... 详细信息
来源: 评论
Using Answer Set programming for Assigning Tasks to Computing Nodes  26
Using Answer Set Programming for Assigning Tasks to Computin...
收藏 引用
26th International Workshop on Configuration, ConfWS 2024
作者: Wotawa, Franz Institute of Software Technology Inffeldgasse 16b/2 GrazA-8010 Austria
Allocating tasks to computing nodes in a network is an important configuration problem. In the case of fail-safe networks, such configuration must be changed during operation if a computing node fails. Hence, a fast c... 详细信息
来源: 评论