咨询与建议

限定检索结果

文献类型

  • 882 篇 期刊文献
  • 589 篇 会议
  • 104 册 图书
  • 22 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,201 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 927 篇 理学
    • 900 篇 数学
    • 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...

机构

  • 38 篇 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...

作者

  • 47 篇 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,558 篇 英文
  • 26 篇 中文
  • 14 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1598 条 记 录,以下是1531-1540 订阅
排序:
theory, practice, and Applications of Rules on the Web  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Leora Morgenstern Petros Stefaneas François Lévy Adam Wyner Adrian Paschke
This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical paper... 详细信息
来源: 评论
programming Languages and Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This book constitutes the refereed proceedings of the 7th European Symposium on programming, ESOP'98, held as part of the Joint European Conferences on theory and practice of Software, ETAPS'98, in Lisbon, Por... 详细信息
来源: 评论
Answer set programming: founded bounds and model counting
Answer set programming: founded bounds and model counting
收藏 引用
作者: Aziz, Rehan Abdul The University of Melbourne
学位级别:博士
ANSWER Set programming (ASP) is a powerful modelling formalism that is very efficient for solving combinatorial problems. This work extends the state-of-the- art in theory and practice of ASP. It has two parts. ASP so...
来源: 评论
Algorithm Engineering  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Matthias Müller-Hannemann Stefan Schirra
Algorithms are essential building blocks of computer applications. However, advancements in computer hardware, which render traditional computer models more and more unrealistic, and an ever increasing demand for effi... 详细信息
来源: 评论
TAPSOFT'93: theory and practice of Software Development  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume contains the proceedings of the fourthInternational Joint Conference on the theory and practice ofSoftware Development, TAPSOFT '93. Since the first in 1985,the aim of these conferences has been t... 详细信息
来源: 评论
Computational logic — CL 2000  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luís Moniz Pereira Yehoshua Sagiv Peter J. Stuckey
These are the proceedings of the First International Conference on Compu- tional logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspec... 详细信息
来源: 评论
TAPSOFT '89  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
TAPSOFT '89 is the Third International Joint Conference on theory and practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on F... 详细信息
来源: 评论
Foundations of Software Science and Computation Structures  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Frank Pfenning
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on theory and Pr... 详细信息
来源: 评论
Compiler Construction  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: David A. Watt
ETAPS2000 was the third instance of the EuropeanJoint Conferenceson theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new confe... 详细信息
来源: 评论
programming Languages and Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Gert Smolka
ETAPS 2000 was the third instance of the European Joint Conferences on theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new co... 详细信息
来源: 评论