咨询与建议

限定检索结果

文献类型

  • 882 篇 期刊文献
  • 583 篇 会议
  • 23 册 图书
  • 21 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

  • 274 篇 answer set progr...
  • 248 篇 logic programmin...
  • 45 篇 semantics
  • 41 篇 knowledge repres...
  • 34 篇 constraint logic...
  • 32 篇 constraint progr...
  • 27 篇 constraint theor...
  • 27 篇 prolog
  • 25 篇 answer-set progr...
  • 22 篇 inductive logic ...
  • 21 篇 program transfor...
  • 20 篇 theory
  • 20 篇 non-monotonic re...
  • 19 篇 model checking
  • 19 篇 temporal logic
  • 18 篇 computer circuit...
  • 18 篇 probabilistic lo...
  • 17 篇 constraints
  • 17 篇 stable models
  • 17 篇 verification

机构

  • 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
  • 33 篇 dodaro carmine
  • 30 篇 cabalar pedro
  • 30 篇 ricca francesco
  • 29 篇 eiter thomas
  • 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
  • 13 篇 leone nicola
  • 13 篇 carro manuel
  • 13 篇 erdem esra
  • 13 篇 calimeri frances...
  • 13 篇 oetsch johannes

语言

  • 1,470 篇 英文
  • 26 篇 中文
  • 14 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1510 条 记 录,以下是1-10 订阅
排序:
theory and practice of logic programming
订阅 引用
theory and practice of logic programming
作者: Ilkka Niemelä Miroslaw Truszczynski
出版社:CAMBRIDGE UNIV PRESS
《逻辑程序设计理论与实践》(网络版)  此为网络版单订刊号。
来源: 评论
Combining decidability paradigms for existential rules. theory and practice of logic programming (vol 13, pg 877, 2013)
收藏 引用
theory and practice of logic programming 2016年 第1期16卷 139-139页
作者: Gottlob, Georg Manna, Marco Pieris, Andreas
Figure 3 was left out in the article (Gottlob et al. 2013). The figure that is given there as figure 3 should in fact be figure 4. Further, the reference to figure 3 on the 4thline of page 889 should be a reference to...
来源: 评论
Preface to the Special Issue on the 2022 Conference on logic programming and Nonmonotonic Reasoning
收藏 引用
theory and practice of logic programming 2024年 第3期24卷 422-424页
作者: Gottlob, Georg Inclezan, Daniela Maratea, Marco Univ Calabria Arcavacata Di Rende Italy Univ Miami Oxford OH USA
来源: 评论
Historical Review of Variants of Informal Semantics for logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12
收藏 引用
theory and practice of logic programming 2024年 第5期24卷 1031-1050页
作者: Lierler, Yuliya Univ Nebraska Omaha NE 68182 USA
This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them with two paradigms: Answer Set Progra... 详细信息
来源: 评论
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
收藏 引用
theory and practice of logic programming 2024年 第5期24卷 1011-1030页
作者: Cristia, Maximiliano Rossi, Gianfranco Univ Nacl Rosario Rosario Argentina CIFASIS CONICET UNR Rosario Argentina Univ Parma Parma Italy
This technical note shows how we have combined prescriptive type checking and constraint solving to increase automation during software verification. We do so by defining a type system and implementing a typechecker f... 详细信息
来源: 评论
Locally Tight Programs
收藏 引用
theory and practice of logic programming 2024年 第5期24卷 942-972页
作者: Fandinno, Jorge Lifschitz, Vladimir Temple, Nathan Univ Nebraska Omaha NE 68182 USA Univ Texas Austin Austin TX 78712 USA
Program completion is a translation from the language of logic programs into the language of first-order theories. Its original definition has been extended to programs that include integer arithmetic, accept input, a... 详细信息
来源: 评论
Provenance Guided Rollback Suggestions
收藏 引用
theory and practice of logic programming 2025年
作者: Zhao, David Subotic, Pavle Raghothaman, Mukund Scholz, Bernhard Univ Sydney Glebe NSW Australia Microsoft Redmond WA USA Univ Southern Calif Los Angeles CA USA
Advances in incremental Datalog evaluation strategies have made Datalog popular among use cases with constantly evolving inputs such as static analysis in continuous integration and deployment pipelines. As a result, ... 详细信息
来源: 评论
Abstract Argumentation and Answer Set programming: Two Faces of Nelson's logic
收藏 引用
theory and practice of logic programming 2023年 第2期23卷 444-467页
作者: Fandinno, Jorge Del Cerro, Luis Farinas Univ Nebraska Omaha NE 68182 USA Univ Toulouse CNRS IRIT Toulouse France
In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms of Nelson's constructive logic N4. We do so by formalising, in this logic, two principles that we... 详细信息
来源: 评论
Introduction to the 39th International Conference on logic programming Special Issue
收藏 引用
theory and practice of logic programming 2023年 第4期23卷 624-631页
作者: Costantini, Stefania Pontelli, Enrico Russo, Alessandra Toni, Francesca Univ Aquila Laquila Italy New Mexico State Univ Las Cruces NM USA Imperial Coll London London England
来源: 评论
On the Equivalence between logic programming and SETAF
收藏 引用
theory and practice of logic programming 2024年 第6期24卷 1208-1236页
作者: Alcantara, Joao Cordeiro, Renan Sa, Samy Univ Fed Ceara Fortaleza Brazil
A framework with sets of attacking arguments ( SETAF ) is an extension of the well-known Dung's Abstract Argumentation Frameworks (AAFs) that allows joint attacks on arguments. In this paper, we provide a translat... 详细信息
来源: 评论