咨询与建议

限定检索结果

文献类型

  • 883 篇 期刊文献
  • 590 篇 会议
  • 103 册 图书
  • 18 篇 学位论文

馆藏范围

  • 1,595 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,202 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 928 篇 理学
    • 901 篇 数学
    • 31 篇 系统科学
    • 14 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 2 篇 物理学
  • 67 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 22 篇 工商管理
  • 16 篇 教育学
    • 14 篇 教育学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 3 篇 哲学
    • 2 篇 哲学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 274 篇 answer set progr...
  • 248 篇 logic programmin...
  • 71 篇 software enginee...
  • 67 篇 mathematical log...
  • 60 篇 logics and meani...
  • 59 篇 programming lang...
  • 45 篇 semantics
  • 41 篇 knowledge repres...
  • 34 篇 constraint logic...
  • 32 篇 constraint progr...
  • 30 篇 programming tech...
  • 27 篇 constraint theor...
  • 27 篇 prolog
  • 25 篇 answer-set progr...
  • 24 篇 artificial intel...
  • 23 篇 software enginee...
  • 22 篇 inductive logic ...
  • 21 篇 program transfor...
  • 20 篇 theory
  • 20 篇 non-monotonic re...

机构

  • 39 篇 univ potsdam pot...
  • 22 篇 tu wien austria
  • 18 篇 new mexico state...
  • 16 篇 imdea software i...
  • 15 篇 univ genoa dibri...
  • 15 篇 univ kentucky de...
  • 14 篇 univ a coruna la...
  • 14 篇 univ texas austi...
  • 13 篇 univ calabria ar...
  • 12 篇 univ texas dalla...
  • 11 篇 katholieke univ ...
  • 11 篇 katholieke univ ...
  • 11 篇 vienna univ tech...
  • 10 篇 katholieke univ ...
  • 10 篇 imperial coll lo...
  • 10 篇 vienna univ tech...
  • 9 篇 univ politecn ma...
  • 9 篇 univ genoa genoa
  • 9 篇 univ nebraska om...
  • 9 篇 sabanci univ fac...

作者

  • 48 篇 schaub torsten
  • 34 篇 dodaro carmine
  • 30 篇 eiter thomas
  • 30 篇 cabalar pedro
  • 30 篇 ricca francesco
  • 26 篇 lierler yuliya
  • 26 篇 fandinno jorge
  • 26 篇 gupta gopal
  • 23 篇 riguzzi fabrizio
  • 23 篇 maratea marco
  • 22 篇 alviano mario
  • 21 篇 woltran stefan
  • 21 篇 lifschitz vladim...
  • 19 篇 pontelli enrico
  • 18 篇 gebser martin
  • 17 篇 erdem esra
  • 13 篇 leone nicola
  • 13 篇 carro manuel
  • 13 篇 calimeri frances...
  • 13 篇 oetsch johannes

语言

  • 1,539 篇 英文
  • 30 篇 其他
  • 26 篇 中文
检索条件"任意字段=Theory and Practice of Logic Programming"
1595 条 记 录,以下是651-660 订阅
Proof theory for hybrid(ised) logics
收藏 引用
SCIENCE OF COMPUTER programming 2016年 126卷 73-93页
作者: Neves, Renato Madeira, Alexandre Martins, Manuel A. Barbosa, Luis S. HASLab INESC TEC Braga Portugal Univ Minho P-4719 Braga Portugal Univ Aveiro CIDMA Dept Math P-3800 Aveiro Portugal
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. In a s... 详细信息
来源: 评论
logic programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)
收藏 引用
theory and practice of logic programming 2016年 第5-6期16卷 688-702页
作者: Frank, Michael Codish, Michael Ben Gurion Univ Negev Dept Comp Sci Beer Sheva Israel
This paper presents the pl-nauty library, a Prolog interface to the nauty graph-automorphism tool. Adding the capabilities of nauty to Prolog combines the strength of the "generate and prune" approach that i...
来源: 评论
Proving infinitary formulas
Proving infinitary formulas
收藏 引用
32nd International Conference on logic programming (ICLP)
作者: Harrison, Amelia Lifschitz, Vladimir Michael, Julian Univ Texas Austin Austin TX 78712 USA Univ Washington Seattle WA 98195 USA
The infinitary propositional logic of here-and-there is important for the theory of answer set programming in view of its relation to strongly equivalent transformations of logic programs. We know a formal system axio... 详细信息
来源: 评论
Characterization of logic program revision as an extension of propositional revision
收藏 引用
theory and practice of logic programming 2016年 第1期16卷 111-138页
作者: Schwind, Nicolas Inoue, Katsumi Transdisciplinary Res Integrat Ctr Chiyoda Ku Tokyo 1018430 Japan Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan
We address the problem of belief revision of logic programs (LPs), i.e., how to incorporate to a LP P a new LP Q. Based on the structure of SE interpretations, Delgrande et al. (2008. Proc. of the 11th International C... 详细信息
来源: 评论
Introduction to the special issue on the International Web Rule Symposia 2012-2014
收藏 引用
theory and practice of logic programming 2016年 第3期16卷 243-246页
作者: Bikakis, Antonis Fodor, Paul Giurca, Adrian Morgenstern, Leora UCL Dept Informat Studies London England SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA Brandenburg Tech Univ Cottbus Dept Databases & Informat Syst Cottbus Germany Leidos Corp Auton & Analyt Div Arlington Reston VA USA
The annual International Web Rule Symposium (RuleML) is an international conference on research, applications, languages, and standards for rule technologies. It has evolved from an annual series of international work... 详细信息
来源: 评论
Field data analysis of multi spindle lathes for a proven-in-use assessment  27th
Field data analysis of multi spindle lathes for a proven-in-...
收藏 引用
27th European Safety and Reliability Conference, ESREL 2017
作者: Nowizki, N. Zeiler, P. Bertsche, B. Mödden, H. Institute of Machine Components University of Stuttgart Germany VDW—German Machine Tool Builders Association Frankfurt Germany
In this paper, operating data of lathes is analyzed with regard to the specifications of the ISO 13849-1. The Weibull analysis is based on machine running times of 1519 multi spindle automatic lathes. The analyzed saf... 详细信息
来源: 评论
Online learning of event definitions
收藏 引用
theory and practice of logic programming 2016年 第5-6期16卷 817-833页
作者: Katzouris, Nikos Artikis, Alexander Paliouras, Georgios Univ Athens Dept Informat & Telecommun Athens Greece Univ Piraeus Dept Maritime Studies Piraeus Greece Natl Ctr Sci Res Demokritos Inst Informat & Telecommun Athens Greece
Systems for symbolic event recognition infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in eve... 详细信息
来源: 评论
First-order modular logic programs and their conservative extensions
收藏 引用
theory and practice of logic programming 2016年 第5-6期16卷 755-770页
作者: Harrison, Amelia Lierler, Yuliya Univ Texas Austin Austin TX 78712 USA Univ Nebraska Omaha Omaha NE USA
Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, which can capture the meaning of many ans...
来源: 评论
CASP solutions for planning in hybrid domains
arXiv
收藏 引用
arXiv 2017年
作者: Balduccini, Marcello Magazzeni, Daniele Maratea, Marco Leblanc, Emily C. Saint Joseph's University United States King's College London United Kingdom University of Genoa Italy Drexel University United States
CASP is an extension of ASP that allows for numerical constraints to be added in the rules. PDDL+ is an extension of the PDDL standard language of automated planning for modeling mixed discrete-continuous dynamics. In... 详细信息
来源: 评论
On relation between constraint answer set programming and satisfiability modulo theories
arXiv
收藏 引用
arXiv 2017年
作者: Lierler, Yuliya Susman, Benjamin Department of Computer Science University of Nebraska at Omaha OmahaNB68182 United States
Constraint answer set programming is a promising research direction that integrates answer set programming with constraint processing. It is often informally related to the field of satisfiabilitymodulo theories. Yet,... 详细信息
来源: 评论