咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
Incremental maintenance of overgrounded logic programs with tailored simplifications
收藏 引用
theory and practice of logic programming 2020年 第5期20卷 719-734页
作者: Ianni, Giovambattista Pacenza, Francesco Zangari, Jessica Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy
The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing. When using answer set programming in such contexts, one can avoid the iterative gene... 详细信息
来源: 评论
Solving Advanced Argumentation Problems with Answer Set programming
收藏 引用
theory and practice of logic programming 2020年 第3期20卷 391-431页
作者: Brewka, Gerhard Diller, Martin Heissenberger, Georg Linsbichler, Thomas Woltran, Stefan Univ Leipzig Leipzig Germany Tech Univ Dresden Dresden Germany TU Wien Vienna Austria
Powerful formalisms for abstract argumentation have been proposed, among them abstract dialectical frameworks (ADFs) that allow for a succinct and flexible specification of the relationship between arguments and the G... 详细信息
来源: 评论
Omission-Based Abstraction for Answer Set Programs
Omission-Based Abstraction for Answer Set Programs
收藏 引用
作者: Saribatur, Zeynep G. Eiter, Thomas Institute of Logic and Computation Tu Wien Vienna Austria
Abstraction is a well-known approach to simplify a complex problem by over-approximating it with a deliberate loss of information. It was not considered so far in Answer Set programming (ASP), a convenient tool for pr... 详细信息
来源: 评论
eclingo : A Solver for Epistemic logic Programs
eclingo : A Solver for Epistemic Logic Programs
收藏 引用
36th International Conference on logic programming (ICLP)
作者: Cabalar, Pedro Fandinno, Jorge Garea, Javier Romero, Javier Schaub, Torsten Univ A Coruna La Coruna Spain Univ Potsdam Potsdam Germany
We describe eclingo, a solver for epistemic logic programs under Gelfond 1991 semantics built upon the Answer Set programming system clingo. The input language of eclingo uses the syntax extension capabilities of clin... 详细信息
来源: 评论
Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More
收藏 引用
theory and practice of logic programming 2020年 第5期20卷 609-624页
作者: Weinzierl, Antonius Taupe, Richard Friedrich, Gerhard TU Wien Vienna Univ Technol Vienna Austria Alpen Adria Univ Klagenfurt Austria Siemens AG Osterreich Vienna Austria
Answer-Set programming (ASP) is a powerful and expressive knowledge representation paradigm with a significant number of applications in logic-based AI. The traditional ground-and-solve approach, however, requires ASP... 详细信息
来源: 评论
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
收藏 引用
theory and practice of logic programming 2020年 第6期20卷 990-1005页
作者: Komendantskaya, Ekaterina Rozplokhas, Dmitry Basold, Henning Heriot Watt Univ Edinburgh Midlothian Scotland Jet Brains Res St Petersburg Russia Leiden Univ Leiden Netherlands
In sequent calculi, cut elimination is a property that guarantees that any provable formula can be proven analytically. For example, Gentzen's classical and intuitionistic calculiLKandLJenjoy cut elimination. The ... 详细信息
来源: 评论
A Comparative Study of Some Central Notions ofASPIC+andDeLP
收藏 引用
theory and practice of logic programming 2020年 第3期20卷 358-390页
作者: Garcia, Alejandro J. Prakken, Henry Simari, Guillermo R. Univ Nacl Sur Dept Comp Sci & Engn Inst Comp Sci & Engn CONICETUNS Bahia Blanca Buenos Aires Argentina Univ Utrecht Dept Informat & Comp Sci Utrecht Netherlands Univ Groningen Fac Law Groningen Netherlands
This paper formally compares some central notions from two well-known formalisms for rule-based argumentation,DeLPandASPIC(+). The comparisons especially focus on intuitive adequacy and inter-translatability, consiste... 详细信息
来源: 评论
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
arXiv
收藏 引用
arXiv 2022年
作者: Casadei, Roberto Alma Mater Studiorum Università di Bologna Italy
Macroprogramming refers to the theory and practice of conveniently expressing the macro(scopic) behaviour of a system using a single program. Macroprogramming approaches are motivated by the need of effectively captur... 详细信息
来源: 评论
Constructive Game logic  1
收藏 引用
29th European Symposium on programming (ESOP) held as part of the European Joint Conferences on theory and practice of Software (ETAPS)
作者: Bohrer, Brandon Platzer, Andre Carnegie Mellon Univ Dept Comp Sci Pittsburgh PA 15213 USA Tech Univ Munich Fak Informat Munich Germany
Game logic is an excellent setting to study proofs-about-programs via the interpretation of those proofs as programs, because constructive proofs for games correspond to effective winning strategies to follow in respo... 详细信息
来源: 评论
Modular Constraint Solver Cooperation via Abstract Interpretation
收藏 引用
theory and practice of logic programming 2020年 第6期20卷 848-863页
作者: TALBOT, P. I. E. R. R. E. MONFROY, E. R. I. C. TRUCHET, C. H. A. R. L. O. T. T. E. Univ Luxembourg Interdisciplinary Ctr Secur Reliabil & Trust SNT Esch Sur Alzette Luxembourg Univ Angers Angers France Univ Nantes Nantes France
Cooperation among constraint solvers is difficult because different solving paradigms have different theoretical foundations. Recent works have shown that abstract interpretation can provide a unifying theory for vari... 详细信息
来源: 评论