咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是321-330 订阅
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
Conflict Generalisation in ASP: Learning Correct and Effecti...
收藏 引用
36th International Conference on logic programming (ICLP)
作者: Taupe, Richard Weinzierl, Antonius Friedrich, Gerhard Siemens AG Osterreich Graz Austria Alpen Adria Univ Klagenfurt Austria TU Wien Vienna Univ Technol Vienna Austria
Generalising and re-using knowledge learned while solving one problem instance has been neglected by state-of-the-art answer set solvers. We suggest a new approach that generalises learned nogoods for re-use to speed-... 详细信息
来源: 评论
onlineSPARC: A programming Environment for Answer Set programming
收藏 引用
theory and practice of logic programming 2019年 第2期19卷 262-289页
作者: Marcopoulos, Elias Zhang, Yuanlin Tufts Univ Medford MA 02155 USA Texas Tech Univ Lubbock TX 79409 USA
Recent progress in logic programming (e.g. the development of the answer set programming (ASP) paradigm) has made it possible to teach it to general undergraduate and even middle/high school students. Given the limite... 详细信息
来源: 评论
RustHorn: CHC-based Verification for Rust Programs  1
收藏 引用
29th European Symposium on programming (ESOP) held as part of the European Joint Conferences on theory and practice of Software (ETAPS)
作者: Matsushita, Yusuke Tsukada, Takeshi Kobayashi, Naoki Univ Tokyo Tokyo Japan
Reduction to the satisfiablility problem for constrained Horn clauses (CHCs) is a widely studied approach to automated program verification. The current CHC-based methods for pointer-manipulating programs, however, ar... 详细信息
来源: 评论
Optimizing probabilities in probabilistic logic programs
arXiv
收藏 引用
arXiv 2021年
作者: Azzolini, Damiano Riguzzi, Fabrizio Dipartimento di Ingegneria University of Ferrara Via Saragat 1 FerraraI-44122 Italy Dipartimento di Matematica e Informatica University of Ferrara Via Saragat 1 FerraraI-44122 Italy
Probabilistic logic programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability values subject to constraints among prob... 详细信息
来源: 评论
Connecting Higher-Order Separation logic to a First-Order Outside World  1
收藏 引用
29th European Symposium on programming (ESOP) held as part of the European Joint Conferences on theory and practice of Software (ETAPS)
作者: Mansky, William Honore, Wolf Appel, Andrew W. Univ Illinois Chicago IL 60607 USA Yale Univ New Haven CT USA Princeton Univ Princeton NJ 08544 USA
Separation logic is a useful tool for proving the correctness of programs that manipulate memory, especially when the model of memory includes higher-order state: Step-indexing, predicates in the heap, and higher-orde... 详细信息
来源: 评论
Modular Constraint Solver Cooperation via Abstract Interpretation
Modular Constraint Solver Cooperation via Abstract Interpret...
收藏 引用
36th International Conference on logic programming (ICLP)
作者: 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... 详细信息
来源: 评论
A logic Frame work for P2P Deductive Databases
收藏 引用
theory and practice of logic programming 2020年 第1期20卷 1-43页
作者: Caroprese, Luciano Zumpano, Ester Univ Calabria Dept Comp Modelling Elect & Syst Engn Arcavacata Di Rende CS Italy
This paper presents a logic framework for modeling the interaction among deductive databases in a peer-to-peer (P2P) environment. Each peer joining a P2P system provides or imports data from its neighbors by using a s... 详细信息
来源: 评论
Parallel logic programming: A Sequel
arXiv
收藏 引用
arXiv 2021年
作者: Dovier, Agostino Formisano, Andrea Gupta, Gopal Hermenegildo, Manuel V. Pontelli, Enrico Rocha, Ricardo Università di Udine GNCS-INdAM Italy University of Texas Dallas United States IMDEA Software Institute Universidad Politécnica de Madrid Spain New Mexico State University United States CRACS INESC TEC Faculty of Sciences University of Porto Portugal
Multi-core and highly-connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has b... 详细信息
来源: 评论
About Epistemic Negation and World Views in Epistemic logic Programs
收藏 引用
theory and practice of logic programming 2019年 第5-6期19卷 790-807页
作者: Costantini, Stefania Univ Aquila DISIM Laquila Italy
In this paper we consider Epistemic logic Programs, which extend Answer Set programming (ASP) with "epistemic operators" and "epistemic negation", and a recent approach to the semantics of such pro... 详细信息
来源: 评论
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
收藏 引用
theory and practice of logic programming 2020年 第6期20卷 864-879页
作者: COSTABILE, R. O. B. E. R. T. A. CATALANO, G. E. L. S. O. M. I. N. A. CUTERI, B. E. R. N. A. R. D. O. MORELLI, C. O. N. C. E. T. T. A. M. A. R. I. A. LEONE, N. I. C. O. L. A. MANNA, M. A. R. C. O. Univ Calabria Dept Math & Comp Sci Calabria Italy DLVSyst Srl Arcavacata Di Rende Italy
Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders,... 详细信息
来源: 评论