咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是861-870 订阅
排序:
Failure tabled constraint logic programming by interpolation
Failure tabled constraint logic programming by interpolation
收藏 引用
29th International Conference on logic programming ICLP
作者: Gange, Graeme Navas, Jorge A. Schachte, Peter Sondergaard, Harald Stuckey, Peter J. Univ Melbourne Dept Comp & Informat Syst Melbourne Vic 3010 Australia
We present a new execution strategy for constraint logic programs called Failure Tabled CLP. Similarly to Tabled CLP our strategy records certain derivations in order to prune further derivations. However, our method ... 详细信息
来源: 评论
Disjunctive logic programs with existential quantification in rule heads
收藏 引用
theory and practice of logic programming 2013年 第4-5期13卷 563-578页
作者: You, Jia-Huai Zhang, Heng Zhang, Yan Univ Alberta Edmonton AB T6G 2E8 Canada Univ Western Sydney Penrith NSW 2751 Australia
We consider disjunctive logic programs without function symbols but with existential quantification in rule heads, under the semantics of general stable models. There are at least two interesting prospects in these pr... 详细信息
来源: 评论
On the stable model semantics for intensional functions
On the stable model semantics for intensional functions
收藏 引用
29th International Conference on logic programming ICLP
作者: Bartholomew, Michael Lee, Joohyung Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85069 USA
Several extensions of the stable model semantics are available to describe "intensional" functions-functions that can be described in terms of other functions and predicates by logic programs. Such functions... 详细信息
来源: 评论
Generalization strategies for the verification of infinite state systems
收藏 引用
theory and practice of logic programming 2013年 第02期13卷 175-199页
作者: Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio Senni, Valerio Univ G DAnnunzio Dipartimento Sci I-65127 Pescara Italy Univ Roma Tor Vergata Dipartimento Informat Sistemi & Prod I-00133 Rome Italy CNR Ist Anal Sistemi & Informat I-00185 Rome Italy LORIA INRIA F-54602 Villers Les Nancy France
We present a method for the automated verification of temporal properties of infinite state systems. Our verification method is based on the specialization of constraint logic programs (CLP) and works in two phases: (... 详细信息
来源: 评论
ASP with non-herbrand partial functions: a language and system for practical use
ASP with non-herbrand partial functions: a language and syst...
收藏 引用
29th International Conference on logic programming ICLP
作者: Balduccini, Marcello Eastman Kodak Co Rochester NY 14650 USA
Dealing with domains involving substantial quantitative information in Answer Set programming (ASP) often results in cumbersome and inefficient encodings. Hybrid "CASP" languages combining ASP and Constraint... 详细信息
来源: 评论
A practical analysis of non-termination in large logic programs
收藏 引用
theory and practice of logic programming 2013年 第4-5期13卷 705-719页
作者: Liang, Senlin Kifer, Michael SUNY Stony Brook Dept Comp Sci Stony Brook NY USA
A large body of work has been dedicated to termination analysis of logic programs but relatively little has been done to analyze non-termination. In our opinion, explaining non-termination is a much more important tas... 详细信息
来源: 评论
Relative expressiveness of defeasible logics II
Relative expressiveness of defeasible logics II
收藏 引用
29th International Conference on logic programming ICLP
作者: Maher, Michael J. Univ New S Wales Sch Engn & Informat Technol Canberra ACT 2600 Australia
Maher (2012) introduced an approach for relative expressiveness of defeasible logics, and two notions of relative expressiveness were investigated. Using the first of these definitions of relative expressiveness, we s... 详细信息
来源: 评论
The jobs puzzle: Taking on the challenge via controlled natural language processing
The jobs puzzle: Taking on the challenge via controlled natu...
收藏 引用
29th International Conference on logic programming ICLP
作者: Schwitter, Rolf Macquarie Univ Dept Comp Sydney NSW 2109 Australia
In this paper we take on Stuart C. Shapiro's challenge of solving the Jobs Puzzle automatically and do this via controlled natural language processing. Instead of encoding the puzzle in a formal language that migh... 详细信息
来源: 评论
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach
Finding optimal plans for multiple teams of robots through a...
收藏 引用
29th International Conference on logic programming ICLP
作者: Erdem, Esra Patoglu, Volkan Saribatur, Zeynep G. Schuller, Peter Uras, Tansel Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey Univ So Calif Dept Comp Sci Los Angeles CA 90089 USA
We study the problem of finding optimal plans for multiple teams of robots through a mediator, where each team is given a task to complete in its workspace on its own and where teams are allowed to transfer robots bet... 详细信息
来源: 评论
Reasoning about actions with Temporal Answer Sets
Reasoning about actions with Temporal Answer Sets
收藏 引用
作者: Giordano, Laura Martelli, Alberto Theseider Dupré, Daniele Dipartimento di Informatica Università Del Piemonte Orientale Italy Dipartimento di Informatica Università di Torino Italy
In this paper, we combine Answer Set programming (ASP) with Dynamic Linear Time Temporal logic (DLTL) to define a temporal logic programming language for reasoning about complex actions and infinite computations. DLTL... 详细信息
来源: 评论