咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 8,407 篇 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 篇 英文
  • 335 篇 其他
  • 33 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8407 条 记 录,以下是91-100 订阅
排序:
MAP Inference for Probabilistic logic programming
MAP Inference for Probabilistic Logic Programming
收藏 引用
36th International Conference on logic programming (ICLP)
作者: Bellodi, Elena Alberti, Marco Riguzzi, Fabrizio Zese, Riccardo Univ Ferrara Dipartimento Ingn Via Saragat 1 I-44122 Ferrara Italy Univ Ferrara Dipartimento Matemat & Informat Via Saragat 1 I-44122 Ferrara Italy
In Probabilistic logic programming (PLP) the most commonly studied inference task is to compute the marginal probability of a query given a program. In this paper, we consider two other important tasks in the PLP sett... 详细信息
来源: 评论
logicKit: Bringing logic programming to Swift  20
LogicKit: Bringing Logic Programming to Swift
收藏 引用
4th International Conference on the Art Science and Engineering of programming
作者: Racordon, Dimitri Buchs, Didier Univ Geneva Ctr Univ Informat Geneva Switzerland
A new trend in programming languages is to merge multiple paradigms, rather than focusing on one as it was customary in the past. Most modern languages provide native support for imperative and functional programming,... 详细信息
来源: 评论
A logic programming approach to reaction systems
A logic programming approach to reaction systems
收藏 引用
2020 Recent Developments in the Design and Implementation of programming Languages - Gabbrielli's Festschrift
作者: Falaschi, Moreno Palma, Giulia Department of Information Engineering and Mathematics University of Siena Italy Department of Computer Science University of Pisa Italy
Reaction systems (RS) are a computational framework inspired by the functioning of living cells, suitable to model the main mechanisms of biochemical reactions. RS have shown to be useful also for computer science app... 详细信息
来源: 评论
Accountable protocols in abductive logic programming (extended abstract)  36
Accountable protocols in abductive logic programming (extend...
收藏 引用
36th International Conference on logic programming, ICLP 2020
作者: Gavanelli, Marco Alberti, Marco Lamma, Evelina University of Ferrara Italy
Finding the responsible of an unpleasant situation is often difficult, especially in artificial agent societies. SCIFF is a language to define formal rules and protocols in agent societies, and an abductive proof-proc... 详细信息
来源: 评论
2P-Kt: logic programming with objects & functions in Kotlin  21
2P-Kt: Logic programming with objects & functions in Kotlin
收藏 引用
21st Workshop "From Objects to Agents", WOA 2020
作者: Ciatto, Giovanni Calegari, Roberta Siboni, Enrico Denti, Enrico Omicini, Andrea Alma Mater Studiorum Università di Bologna Italy Alma Mater Research Institute for Human-Centered Artificial Intelligence Alma Mater Studiorum Università di Bologna Italy Sierre Switzerland
Mainstream programming languages nowadays tends to be more and more multi-paradigm ones, by integrating diverse programming paradigms—e.g., object-oriented programming (OOP) and functional programming (FP). logic-pro... 详细信息
来源: 评论
A logic programming approach to regreßion based repair of incorrect initial belief states (extended abstract)  36
A logic programming approach to regreßion based repair of i...
收藏 引用
36th International Conference on logic programming, ICLP 2020
作者: Pham, Loc Pontelli, Enrico Tardivo, Fabio Son, Tran Cao New Mexico State University United States
This paper introduces a combination of regreßion and belief revision to allow agents to deal with inconsistencies while executing plans. Starting from an inconsistent history consisting of actions and observation... 详细信息
来源: 评论
Short Paper: Secure Multiparty logic programming  15
Short Paper: Secure Multiparty Logic Programming
收藏 引用
15th ACM SIGSAC Workshop on programming Languages and Analysis for Security, PLAS 2020, co-located with the 27th ACM Conference on Computer and Communications Security, CCS 2020
作者: Pankova, Alisa Jääger, Joosep Cybernetica As Tartu Estonia
logic programming (LP) is considered to be relatively simple for non-programmers, and allows the developer to focus on developing facts and rules of a logical derivation, and not on algorithms. Secure multiparty compu... 详细信息
来源: 评论
Geolog: Scalable logic programming on spatial data
arXiv
收藏 引用
arXiv 2021年
作者: Grubenmann, Tobias Lehmann, Jens SDA Research Group Department of Computer Science University of Bonn Germany Fraunhofer IAIS Dresden Germany
Spatial data is ubiquitous in our data-driven society. The logic programming community has been investigating the use of spatial data in different settings. Despite the success of this research, the Geographic Informa... 详细信息
来源: 评论
German Encounters of logic and programming (1948-1958), Featuring Three Readings of Turing Machines
收藏 引用
IEEE ANNALS OF THE HISTORY OF COMPUTING 2021年 第4期43卷 10-26页
作者: Bullynck, Maarten Univ Paris 08 Dept Math & Hist Sci St Denis France IDHE S St Denis France
The early days of German and Swiss programming have been integrated into computing folklore as part of the prehistory of ALGOL. However, this narrative has bundled the many ways of trying to think about computing and ... 详细信息
来源: 评论
Determining ActionReversibility in STRIPS using answer set and epistemic logic programming
arXiv
收藏 引用
arXiv 2021年
作者: Faber, Wolfgang Morak, Michael Chrpa, Lukáš University of Klagenfurt Austria Czech Technical University in Prague
In the context of planning and reasoning about actions and change, we call an action reversible when its effects can be reverted by applying other actions, returning to the original state. Renewed interest in this are... 详细信息
来源: 评论