咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
排序:
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
收藏 引用
theory and practice of logic programming 2024年 第5期24卷 1011-1030页
作者: Cristia, Maximiliano Rossi, Gianfranco Univ Nacl Rosario Rosario Argentina CIFASIS CONICET UNR Rosario Argentina Univ Parma Parma Italy
This technical note shows how we have combined prescriptive type checking and constraint solving to increase automation during software verification. We do so by defining a type system and implementing a typechecker f... 详细信息
来源: 评论
On the correctness of pull-tabbing
收藏 引用
theory and practice of logic programming 2011年 第4-5期11卷 713-730页
作者: Antoy, Sergio Portland State Univ Dept Comp Sci Portland OR 97207 USA
Pull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable nondeterministic choices that would jeopardize the completen... 详细信息
来源: 评论
Semantics for Possibilistic Disjunctive Programs
收藏 引用
theory and practice of logic programming 2013年 第01期13卷 33-70页
作者: Carlos Nieves, Juan Osorio, Mauricio Cortes, Ulises Univ Politecn Cataluna Software Dept LSI E-08034 Barcelona Spain Univ Americas Puebla CENTIA Cholula 72820 Mexico
In this paper, a possibilistic disjunctive logic programming approach for modeling uncertain, incomplete, and inconsistent information is defined. This approach introduces the use of possibilistic disjunctive clauses,... 详细信息
来源: 评论
Concolic testing in logic programming
收藏 引用
theory and practice of logic programming 2015年 第4-5期15卷 711-725页
作者: Mesnard, Fred Payet, Etienne Vidal, German LIM Univ Reunion Paris France Univ Politecn Valencia DSIC MiST E-46022 Valencia Spain
Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a... 详细信息
来源: 评论
From logic to Functional logic Programs
收藏 引用
theory and practice of logic programming 2022年 第4期22卷 538-554页
作者: Hanus, Michael CAU Kiel Inst Informat Kiel Germany
logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals t... 详细信息
来源: 评论
Positive Dependency Graphs Revisited
收藏 引用
theory and practice of logic programming 2023年 第5期23卷 1128-1137页
作者: Fandinno, Jorge Lifschitz, Vladimir Univ Nebraska Omaha NE 68182 USA Univ Texas Austin Austin TX 78712 USA
theory of stable models is the mathematical basis of answer set programming. Several results in that theory refer to the concept of the positive dependency graph of a logic program. We describe a modification of that ... 详细信息
来源: 评论
Introduction to the 36th International Conference on logic programming Special Issue I
收藏 引用
theory and practice of logic programming 2020年 第5期20卷 587-592页
作者: Ricca, Francesco Russo, Alessandra Univ Calabria Commenda Di Rende Italy Imperial Coll London London England
来源: 评论
The Expressive Power of Higher-Order Datalog
收藏 引用
theory and practice of logic programming 2019年 第5-6期19卷 925-940页
作者: Charalambidis, Angelos Nomikos, Christos Rondogiannis, Panos NCSR Demokritos Inst Informat & Telecommun Aghia Paraskevi Greece Univ Ioannina Dept Comp Sci & Engn Ioannina Greece Univ Athens Dept Informat & Telecommun Athens Greece
A classical result in descriptive complexity theory states that Datalog expresses exactly the class of polynomially computable queries on ordered databases (Papadimitriou 1985;Gradel 1992;Vardi 1982;Immerman 1986;Leiv... 详细信息
来源: 评论
Complexity and compilation of GZ-aggregates in answer set programming
收藏 引用
theory and practice of logic programming 2015年 第4-5期15卷 574-587页
作者: Alviano, Mario Leone, Nicola Univ Calabria Dept Math & Comp Sci I-87030 Commenda Di Rende Italy
Gelfond and Zhang recently proposed a new stable model semantics based on Vicious Circle Principle in order to improve the interpretation of logic programs with aggregates. The paper focuses on this proposal, and anal... 详细信息
来源: 评论
ALPprolog - A new logic programming method for dynamic domains
收藏 引用
theory and practice of logic programming 2011年 第4-5期11卷 451-468页
作者: Drescher, Conrad Thielscher, Michael Univ Oxford Comp Lab Oxford OX1 3QD England Univ New S Wales Sch Engn & Comp Sci Sydney NSW Australia
logic programming is a powerful paradigm for programming autonomous agents in dynamic domains as witnessed by languages such as Golog and Flux. In this work we present ALPprolog, an expressive, yet efficient, logic pr... 详细信息
来源: 评论