咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是661-670 订阅
Stable-unstable semantics: Beyond NP with normal logic programs
收藏 引用
theory and practice of logic programming 2016年 第5-6期16卷 570-586页
作者: Bogaerts, Bart Janhunen, Tomi Tasharrofi, Shahab Aalto Univ HIIT Dept Comp Sci FI-00076 Aalto Finland
Standard answer set programming (ASP) targets at solving search problems from the first level of the polynomial time hierarchy (PH). Tackling search problems beyond NP using ASP is less straightforward. The class of d... 详细信息
来源: 评论
Solving stable matching problems using answer set programming
收藏 引用
theory and practice of logic programming 2016年 第3期16卷 247-268页
作者: De Clercq, Sofie Schockaert, Steven De Cock, Martine Nowe, Ann Univ Ghent Dept Appl Math Comp Sci & Stat Ghent Belgium Cardiff Univ Sch Comp Sci & Informat Cardiff S Glam Wales UW Tacoma Ctr Data Sci Tacoma WA USA Vrije Univ Brussel Computat Modeling Lab Brussels Belgium
Since the introduction of the stable marriage problem (SMP) by Gale and Shapley (1962), several variants and extensions have been investigated. While this variety is useful to widen the application potential, each var... 详细信息
来源: 评论
logic programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description)
Logic Programming with Graph Automorphism: Integrating nauty...
收藏 引用
32nd International Conference on logic programming (ICLP)
作者: 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... 详细信息
来源: 评论
Putting logic-based distributed systems on stable grounds
收藏 引用
theory and practice of logic programming 2016年 第4期16卷 378-417页
作者: Ameloot, Tom J. van den Bussche, Jan Marczak, William R. Alvaro, Peter Hellerstein, Joseph M. Hasselt Comp Sci Limburg Belgium
In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have been developed, a corresponding decla... 详细信息
来源: 评论
A model building framework for answer set programming with external computations
收藏 引用
theory and practice of logic programming 2016年 第4期16卷 418-464页
作者: Eiter, Thomas Fink, Michael Ianni, Giovambattista Krennwallner, Thomas Redl, Christoph Schuller, Peter Vienna Univ Technol Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria Univ Calabria Dipartimento Matemat Cubo 30B I-87036 Arcavacata Di Rende CS Italy Marmara Univ Fac Engn Dept Comp Engn Goztepe Kampusu TR-34722 Istanbul Turkey
As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous f... 详细信息
来源: 评论
The rationale behind the concept of goal
收藏 引用
theory and practice of logic programming 2016年 第3期16卷 296-324页
作者: Governatori, Guido Olivieri, Francesco Scannapieco, Simone Rotolo, Antonino Cristani, Matteo CSIRO NICTA Data61 Canberra ACT Australia Univ Verona Dept Comp Sci Verona Italy Univ Bologna CIRSFID Bologna Italy
The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the p... 详细信息
来源: 评论
First-order modular logic programs and their conservative extensions
First-order modular logic programs and their conservative ex...
收藏 引用
32nd International Conference on logic programming (ICLP)
作者: 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... 详细信息
来源: 评论
Iterative Learning of Answer Set Programs from Context Dependent Examples
收藏 引用
theory and practice of logic programming 2016年 第5-6期16卷 834-848页
作者: Law, Mark Russo, Alessandra Broda, Krysia Imperial Coll Dept Comp London SW7 2AZ England
In recent years, several frameworks and systems have been proposed that extend Inductive logic programming (ILP) to the Answer Set programming (ASP) paradigm. In ILP, examples must all be explained by a hypothesis tog... 详细信息
来源: 评论
Combining Answer Set programming and domain heuristics for solving hard industrial problems (Application Paper)
收藏 引用
theory and practice of logic programming 2016年 第5-6期16卷 653-669页
作者: Dodaro, Carmine Gasteiger, Philip Leone, Nicola Musitsch, Benjamin Ricca, Francesco Shchekotykhin, Kostyantyn Univ Calabria Dept Math & Comp Sci I-87030 Commenda Di Rende Italy Alpen Adria Univ Klagenfurt Klagenfurt Austria
Answer Set programming (ASP) is a popular logic programming paradigm that has been applied for solving a variety of complex problems. Among the most challenging real-world applications of ASP are two industrial proble... 详细信息
来源: 评论
The power of non-ground rules in Answer Set programming
收藏 引用
theory and practice of logic programming 2016年 第5-6期16卷 552-569页
作者: Bichler, Manuel Morak, Michael Woltran, Stefan TU Wien Vienna Austria
Answer set programming (ASP) is a well-established logic programming language that offers an intuitive, declarative syntax for problem solving. In its traditional application, a fixed ASP program for a given problem i... 详细信息
来源: 评论