咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
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 27th International Conference on logic programming Special Issue
收藏 引用
theory and practice of logic programming 2011年 第4-5期11卷 429-432页
作者: Gallagher, John Gelfond, Michael Roskilde Univ Ctr Roskilde Denmark IMDEA Software Inst Madrid Spain Texas Tech Univ Lubbock TX 79409 USA
Following the initiative in 2010 taken by the Association for logic programming and Cambridge University Press, the full papers accepted for the International Conference on logic programming again appear as a special ...
来源: 评论
Introduction to the 28th international conference on logic programming special issue
收藏 引用
theory and practice of logic programming 2012年 第4-5期12卷 421-426页
作者: Dovier, Agostino Costa, Vitor Santos Univ Udine Dip Matemat & Informat I-33100 Udine Italy Univ Porto Dep Ciencia Comp Oporto Portugal Univ Porto CRACS INESC TEC Oporto Portugal
We are proud to introduce this special issue of the Journal of theory and practice of logic programming (TPLP), dedicated to the full papers accepted for the 28th International Conference on logic programming (ICLP). ...
来源: 评论
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
来源: 评论
Editorial: 29th International Conference on logic programming special issue
收藏 引用
theory and practice of logic programming 2013年 第4-5期13卷 465-470页
作者: Lamma, Evelina Swift, Terrance Univ Ferrara Dept Engn I-44122 Ferrara Italy Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal
The proceedings of the International Conference on logic programming (ICLP) have had several publishers, including MIT Press and Springer's Lecture Notes in Computer Science. Beginning in 2010, the proceedings hav...
来源: 评论
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... 详细信息
来源: 评论
Integrating Cardinality Constraints into Constraint logic programming with Sets
收藏 引用
theory and practice of logic programming 2023年 第2期23卷 468-502页
作者: Cristia, Maximiliano Rossi, Gianfranco Univ Nacl Rosario Rosario Argentina CIFASIS Rosario Argentina Univ Parma Parma Italy
Formal reasoning about finite sets and cardinality is important for many applications. including software verification, where very often one needs to reason about the size of a given data structure. The Constraint Log... 详细信息
来源: 评论
Knowledge compilation of logic programs using approximation fixpoint theory
收藏 引用
theory and practice of logic programming 2015年 第4-5期15卷 464-480页
作者: Bogaerts, Bart Van den Broeck, Guy Katholieke Univ Leuven Dept Comp Sci Leuven Belgium
Recent advances in knowledge compilation introduced techniques to compile positive logic programs into propositional logic, essentially exploiting the constructive nature of the least fixpoint computation. This approa... 详细信息
来源: 评论
Introduction to the 35th International Conference on logic programming Special Issue
收藏 引用
theory and practice of logic programming 2019年 第5-6期19卷 630-635页
作者: Erdem, Esra Formisano, Andrea Vidal, German Yang, Fangkai Sabanci Univ Istanbul Turkey Univ Perugia Perugia Italy Univ Politecn Valencia VRAIN MiST Valencia Spain NVIDIA Corp Santa Clara CA USA
This volume contains the regular papers of the 35th International Conference on logic programming (ICLP 2019), held in Las Cruces, New Mexico, USA, from September 20 to September 25, 2019.
来源: 评论