咨询与建议

限定检索结果

文献类型

  • 6,089 篇 会议
  • 2,169 篇 期刊文献
  • 98 册 图书
  • 14 篇 学位论文

馆藏范围

  • 8,366 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 5,702 篇 工学
    • 5,268 篇 计算机科学与技术...
    • 3,385 篇 软件工程
    • 580 篇 电气工程
    • 302 篇 控制科学与工程
    • 172 篇 信息与通信工程
    • 84 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 41 篇 生物医学工程(可授...
    • 38 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,392 篇 理学
    • 1,230 篇 数学
    • 118 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 67 篇 系统科学
    • 53 篇 物理学
    • 25 篇 科学技术史(分学科...
  • 582 篇 管理学
    • 332 篇 图书情报与档案管...
    • 282 篇 管理科学与工程(可...
    • 118 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 50 篇 医学
    • 37 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 49 篇 哲学
    • 32 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 36 篇 文学
    • 26 篇 外国语言文学
  • 34 篇 农学
    • 26 篇 作物学
  • 24 篇 经济学
  • 15 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,370 篇 logic programmin...
  • 606 篇 computer science
  • 478 篇 computer languag...
  • 345 篇 application soft...
  • 303 篇 artificial intel...
  • 250 篇 programming prof...
  • 187 篇 hardware
  • 183 篇 computer archite...
  • 175 篇 programmable log...
  • 173 篇 control systems
  • 161 篇 logic design
  • 157 篇 concurrent compu...
  • 155 篇 computational mo...
  • 152 篇 laboratories
  • 149 篇 prototypes
  • 148 篇 object oriented ...
  • 143 篇 software enginee...
  • 137 篇 functional progr...
  • 133 篇 costs
  • 129 篇 parallel process...

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 24 篇 univ pisa dipart...
  • 24 篇 new mexico state...
  • 22 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 17 篇 katholieke univ ...
  • 17 篇 univ kentucky de...
  • 15 篇 univ potsdam pot...
  • 15 篇 univ evora escol...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...
  • 11 篇 vienna universit...
  • 11 篇 department of ma...

作者

  • 80 篇 schaub torsten
  • 58 篇 ricca francesco
  • 54 篇 vicente henrique
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 49 篇 gebser martin
  • 47 篇 woltran stefan
  • 42 篇 faber wolfgang
  • 38 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 cabalar pedro
  • 36 篇 son tran cao
  • 30 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 29 篇 maratea marco
  • 28 篇 sakama chiaki
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi
  • 25 篇 proietti maurizi...

语言

  • 7,915 篇 英文
  • 403 篇 其他
  • 32 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8370 条 记 录,以下是1121-1130 订阅
排序:
Scaling-up reasoning and advanced analytics on bigdata
arXiv
收藏 引用
arXiv 2018年
作者: Condie, Tyson Das, Ariyam Interlandi, Matteo Shkapsky, Alexander Yang, Mohan Zaniolo, Carlo University of California Los Angeles United States
BigDatalog is an extension of Datalog that achieves performance and scalability on both Apache Spark and multicore systems to the point that its graph analytics outperform those written in GraphX. Looking back, we see... 详细信息
来源: 评论
Proof-relevant horn clauses for dependent type inference and term synthesis
arXiv
收藏 引用
arXiv 2018年
作者: Farka, František Komendantskya, Ekaterina Hammond, Kevin University of St Andrews Heriot-Watt University
First-order resolution has been used for type inference for many years, including in Hindley-Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In... 详细信息
来源: 评论
A review of literature on parallel constraint solving
arXiv
收藏 引用
arXiv 2018年
作者: Gent, Ian P. McCreesh, Ciaran Miguel, Ian Moore, Neil C.A. Nightingale, Peter Prosser, Patrick Unsworth, Chris School of Computer Science University of St.Andrews St.AndrewsKY16 9SX United Kingdom School of Computing Science University of Glasgow GlasgowG12 8RZ United Kingdom School of Computer Science University of St.Andrews St.AndrewsKY16 9SX United Kingdom Adobe Systems Incorporated Edinburgh United Kingdom School of Computer Science University of St.Andrews St.AndrewsKY16 9SX United Kingdom School of Computing Science University of Glasgow GlasgowG12 8RZ United Kingdom 13 Grasmere Drive YorkYO10 3RY United Kingdom
As multicore computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it. Researchers need to address a number of issues to exploit parallelism, such as: Investigatin... 详细信息
来源: 评论
Transpiling programming Computable Functions to Answer Set Programs
arXiv
收藏 引用
arXiv 2018年
作者: Dasseville, Ingmar Denecker, Marc KU Leuven Dept. of Computer Science LeuvenB-3001 Belgium
programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focus... 详细信息
来源: 评论
plasp 3: Towards Effective ASP Planning
arXiv
收藏 引用
arXiv 2018年
作者: Dimopoulos, Yannis Gebser, Martin Romero, Patrick Lühne Javier Schaub, Torsten University of Cyprus University of Klagenfurt Graz University of Technology University of Potsdam University of Potsdam INRIA Rennes University of Potsdam
We describe the new version of the PDDL-to-ASP translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by SAT planning and others exploiting ... 详细信息
来源: 评论
Differentiable Satisfiability and Differentiable Answer Set programming for Sampling-Based Multi-Model Optimization?
arXiv
收藏 引用
arXiv 2018年
作者: Nickles, Matthias National University of Ireland Galway School of Engineering and Informatics
We propose Differentiable Satisfiability and Differentiable AnswerSet programming (Differentiable SAT/ASP) for multi-model optimization. Models (answer sets or satisfying truth assignments) are sampled using a novel S... 详细信息
来源: 评论
onlineSPARC: A programming environment for answer set programming
arXiv
收藏 引用
arXiv 2018年
作者: Marcopoulos, Elias Zhang, Yuanlin Tufts University United States Texas Tech University United States
Recent progress in logic programming (e.g., the development of the Answer Set programming paradigm) has made it possible to teach it to general undergraduate and even middle/high school students. Given the limited exp... 详细信息
来源: 评论
Syntactic Conditions for Antichain Property in Consistency Restoring Prolog
arXiv
收藏 引用
arXiv 2018年
作者: Phan, Vu Rice University
We study syntactic conditions which guarantee when a CR-Prolog (Consistency Restoring Prolog) program has antichain property: no answer set is a proper subset of another. A notable such condition is that the program’... 详细信息
来源: 评论
Constraint answer set programming without grounding
arXiv
收藏 引用
arXiv 2018年
作者: Arias, Joaquin Carro, Manuel Salazar, Elmer Marple, Kyle Gupta, Gopal IMDEA Software Institute Universidad Politécnica de Madrid University of Texas Dallas United States
Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them,... 详细信息
来源: 评论
Top-down and bottom-up evaluation procedurally integrated
arXiv
收藏 引用
arXiv 2018年
作者: Warren, David S. Stony Brook University Stony BrookNY11794-4400 United States XSB Inc. SetauketNY11733 United States
This paper describes how XSB combines top-down and bottom-up computation through the mechanisms of variant tabling and subsumptive tabling with abstraction, respectively. It is well known that top-down evaluation of l... 详细信息
来源: 评论