咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1011-1020 订阅
Introduction to the TPLP special issue, logic programming in databases: From DATALOG to semantic-web rules
收藏 引用
theory and practice of logic programming 2010年 第3期10卷 243-250页
作者: Orsi, Giorgio Tanca, Letizia Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy
Much has happened in data and knowledge base research since the introduction of the relational model in Codd (1970) and its strong logical foundations influence its advances ever since. logic has been a common ground ... 详细信息
来源: 评论
NP Datalog: A logic language for expressing NP search and optimization problems
收藏 引用
theory and practice of logic programming 2010年 第2期10卷 125-166页
作者: Greco, Sergio Molinaro, Cristian Trubitsyna, Irina Zumpano, Ester Univ Calabria DEIS I-87036 Arcavacata Di Rende Italy
This paper presents a logic language for expressing NP search and optimization problems. Specifically, first a language obtained by extending (positive) DATALOG with intuitive and efficient constructs (namely, stratif... 详细信息
来源: 评论
Disjunctive ASP with functions: Decidable queries and effective computation
收藏 引用
theory and practice of logic programming 2010年 第4-6期10卷 497-512页
作者: Alviano, Mario Faber, Wolfgang Leone, Nicola Univ Calabria Dept Math I-87036 Arcavacata Di Rende CS Italy
Querying over disjunctive ASP with functions is a highly undecidable task in general. In this paper we focus on disjunctive logic programs with stratified negation and functions under the stable model semantics (ASP(f... 详细信息
来源: 评论
Typing Linear Constraints
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2010年 第6期32卷 21-21:42页
作者: Ruggieri, Salvatore Mesnard, Fred Univ Pisa Dipartimento Informat I-56127 Pisa Italy Univ Reunion IREMIA LIM F-97715 St Denis Messag 9 France
We present a type system for linear constraints over the reals intended for reasoning about the input-output directionality of variables. Types model the properties of definiteness, range width or approximation, lower... 详细信息
来源: 评论
Multivalued action languages with constraints in CLP(FD)
收藏 引用
theory and practice of logic programming 2010年 第2期10卷 167-235页
作者: Dovier, Agostino Formisano, Andrea Pontelli, Enrico Univ Udine Dipartimento Matemat & Informat I-33100 Udine Italy Univ Perugia Dipartimento Matemat & Informat I-06123 Perugia Italy New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
Action description languages, such as A and B (Gelfond and Lifschitz, Electronic Transactions on Artificial Intelligence, 1998, vol. 2, pp. 193-210), are expressive instruments introduced for formalizing planning doma... 详细信息
来源: 评论
CLP-based protein fragment assembly
收藏 引用
theory and practice of logic programming 2010年 第4-6期10卷 709-724页
作者: Dal Palu, Alessandro Dovier, Agostino Fogolari, Federico Pontelli, Enrico Univ Parma Dept Math I-43100 Parma Italy Univ Udine Dept Math & Comp Sci I-33100 Udine Italy Univ Udine Dept Biomed Sci I-33100 Udine Italy New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
The paper investigates a novel approach, based on Constraint logic programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments are extracted by a preprocessor-also developed fo... 详细信息
来源: 评论
The system Kato: Detecting cases of plagiarism for answer-set programs
收藏 引用
theory and practice of logic programming 2010年 第4-6期10卷 759-775页
作者: Oetsch, Johannes Puehrer, Joerg Schwengerer, Martin Tompits, Hans Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source-code plagiarism. In this paper, we pr... 详细信息
来源: 评论
A translational approach to constraint answer set solving
收藏 引用
theory and practice of logic programming 2010年 第4-6期10卷 465-480页
作者: Drescher, Christian Walsh, Toby Vienna Univ Technol Vienna Austria Univ New S Wales Sydney NSW 2052 Australia Univ Nova Lisboa Lisbon Portugal
We present a new approach to enhancing Answer Set programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ASP. We show how constraints on finite... 详细信息
来源: 评论
The system Kato: Detecting cases of plagiarism for answer-set programs
The system Kato: Detecting cases of plagiarism for answer-se...
收藏 引用
26th International Conference on logic programming
作者: Oetsch, Johannes Puehrer, Joerg Schwengerer, Martin Tompits, Hans Vienna Univ Technol Inst Informat Syst 184 3 A-1040 Vienna Austria
Plagiarism detection is a growing need among educational institutions and solutions for different purposes exist. An important field in this direction is detecting cases of source-code plagiarism. In this paper, we pr... 详细信息
来源: 评论
FO(FD): Extending classical logic with rule-based fixpoint definitions
收藏 引用
theory and practice of logic programming 2010年 第4-6期10卷 581-596页
作者: Hou, Ping De Cat, Broes Denecker, Marc Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
We introduce fixpoint definitions, a rule-based reformulation of fixpoint constructs. The logic FO(FD), an extension of classical logic with fixpoint definitions, is defined. We illustrate the relation between FO(FD) ... 详细信息
来源: 评论