咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 1,597 篇 电子文献
  • 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...
  • 70 篇 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,557 篇 英文
  • 26 篇 中文
  • 14 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1597 条 记 录,以下是51-60 订阅
排序:
The CIFF proof procedure for abductive logic programming with constraints: theory, implementation and experiments
收藏 引用
theory and practice of logic programming 2009年 第6期9卷 691-750页
作者: Mancarella, Paolo Terreni, Giacomo Sadri, Fariba Toni, Francesca Endriss, Ulle Univ Pisa Dipartimento Informat Pisa Tuscany Italy Univ London Imperial Coll Sci Technol & Med Dept Comp London England Univ Amsterdam ILLC Amsterdam Netherlands
We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the origina... 详细信息
来源: 评论
Reactive Answer Set programming
收藏 引用
theory and practice of logic programming 2022年 第3期22卷 367-418页
作者: Broda, Krysia Sadri, Fariba Butler, Stephen Imperial Coll London London England
logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that spec... 详细信息
来源: 评论
Adding partial functions to Constraint logic programming with sets
收藏 引用
theory and practice of logic programming 2015年 第4-5期15卷 651-665页
作者: Cristia, Maximiliano Rossi, Gianfranco Frydman, Claudia CIFASIS Rosario Argentina UNR Rosario Argentina Univ Parma I-43100 Parma Italy Univ Toulon & Var Aix Marseille Univ CNRS ENSAMLSIS UMR 7296 Toulon France
Partial functions are common abstractions in formal specification notations such as Z, B and Alloy. Conversely, executable programming languages usually provide little or no support for them. In this paper we propose ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Transition systems for model generators-A unifying approach
收藏 引用
theory and practice of logic programming 2011年 第4-5期11卷 629-646页
作者: Lierler, Yuliya Truszczynski, Miroslaw Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
A fundamental task for propositional logic is to compute models of propositional formulas. Programs developed for this task are called satisfiability solvers. We show that transition systems introduced by Nieuwenhuis,... 详细信息
来源: 评论
Introduction to the 34-th international conference on logic programming special issue
收藏 引用
theory and practice of logic programming 2018年 第3-4期18卷 296-300页
作者: Dal Palu, Alessandro Tarau, Paul Univ Parma Dept Math Phys & Comp Sci Parco Area Sci 53-A I-43124 Parma Italy Univ North Texas Dept Comp Sci & Engn 1155 Union Circle Denton TX 76203 USA
This special issue of theory and practice of logic programming (TPLP) contains the regular papers accepted for presentation at the 34-th International Conference on logic programming (ICLP 2018), held in Oxford, Unite...
来源: 评论
An infinitary encoding of temporal equilibrium logic
收藏 引用
theory and practice of logic programming 2015年 第4-5期15卷 666-680页
作者: Cabalar, Pedro Dieguez, Martin Vidal, Concepcion Univ A Coruna Dept Comp Sci Corunna Spain Univ Toulouse IRIT Toulouse France
This paper studies the relation between two recent extensions of propositional Equilibrium logic, a well-known logical characterisation of Answer Set programming. In particular, we show how Temporal Equilibrium logic,... 详细信息
来源: 评论
Introduction to the 33rd international conference on logic programming special issue
收藏 引用
theory and practice of logic programming 2017年 第5-6期17卷 684-688页
作者: Rocha, Ricardo Son, Tran Cao Univ Porto CRACS Rua Campo Alegre 1021 P-4169007 Oporto Portugal Univ Porto INESC TEC Rua Campo Alegre 1021 P-4169007 Oporto Portugal Univ Porto Fac Sci Rua Campo Alegre 1021 P-4169007 Oporto Portugal New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
This special issue of theory and practice of logic programming (TPLP) contains the regular papers accepted for presentation at the 33rd International Conference on logic programming (ICLP 2017), held in Melbourne, Aus... 详细信息
来源: 评论
Introduction to the 24th international conference on logic programming special issue
收藏 引用
theory and practice of logic programming 2011年 第2-3期11卷 131-133页
作者: De La Banda, Maria Garcia Pontelli, Enrico Monash Univ Fac Informat Technol Melbourne Vic 3004 Australia New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
The ICLP series of conferences provides a technical forum for presenting and disseminating innovative research in the field of logic programming. The 24th International Conference on logic programming took place from ...
来源: 评论
Introduction to the 26th international conference on logic programming special issue
收藏 引用
theory and practice of logic programming 2010年 第4-6期10卷 361-364页
作者: Hermenegildo, Manuel Schaub, Torsten IMDEA Software Inst Madrid Spain Univ Politecn Madrid E-28040 Madrid Spain Univ Potsdam Potsdam Germany
The logic programming (LP) community, through the Association for logic programming (ALP) and its Executive Committee, decided to introduce for 2010 important changes in the way the main yearly results in LP and relat...
来源: 评论