咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是851-860 订阅
Compiling Input* FO(.) inductive definitions into tabled prolog rules for IDP3
<i>Compiling Input</i>* FO(.) <i>inductive definitions into ...
收藏 引用
29th International Conference on logic programming ICLP
作者: Jansen, Joachim Jorissen, Albert Janssens, Gerda Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
FO(.)(IDP3) extends first-order logic with inductive definitions, partial functions, types and aggregates. Its model generator IDP3 first grounds the theory and then uses search to find the models. The grounder uses L... 详细信息
来源: 评论
Business process verification with constraint temporal answer set programming
Business process verification with constraint temporal answe...
收藏 引用
29th International Conference on logic programming ICLP
作者: Giordano, Laura Martelli, Alberto Spiotta, Matteo Dupre, Daniele Theseider Univ Piemonte Orientale DISIT Alessandria Italy Univ Turin Dipartimento Informat I-10124 Turin Italy
The paper provides a framework for the verification of business processes, based on an extension of answer set programming (ASP) with temporal logic and constraints. The framework allows to capture expressive fluent a... 详细信息
来源: 评论
Minimal intervention strategies in logical signaling networks with ASP
收藏 引用
theory and practice of logic programming 2013年 第4-5期13卷 675-690页
作者: Kaminski, Roland Schaub, Torsten Siegel, Anne Videla, Santiago Univ Potsdam Potsdam Germany Rennes INRIA Dyliss CNRS IRISA Rennes France Rennes Univ Potsdam Rennes INRIA Dyliss CNRS IRISA Potsdam Germany
Proposing relevant perturbations to biological signaling networks is central to many problems in biology and medicine because it allows for enabling or disabling certain biological outcomes. In contrast to quantitativ... 详细信息
来源: 评论
Optimal Decisions from Probabilistic Models: The Intersection-over-Union Case
Optimal Decisions from Probabilistic Models: The Intersectio...
收藏 引用
Conference on Computer Vision and Pattern Recognition (CVPR)
作者: Sebastian Nowozin Microsoft Research
A probabilistic model allows us to reason about the world and make statistically optimal decisions using Bayesian decision theory. However, in practice the intractability of the decision problem forces us to adopt sim... 详细信息
来源: 评论
A declarative approach to distributed computing: Specification, execution and analysis
A declarative approach to distributed computing: Specificati...
收藏 引用
29th International Conference on logic programming ICLP
作者: Ma, Jiefei Le, Franck Wood, David Russo, Alessandra Lobo, Jorge Imperial Coll London London England IBM Corp Waston Lab Armonk NY 10504 USA ICREA Univ Pompeu Fabra Barcelona Spain
There is an increasing interest in using logic programming to specify and implement distributed algorithms, including a variety of network applications. These are applications where data and computation are distribute... 详细信息
来源: 评论
Relative expressiveness of defeasible logics II
收藏 引用
theory and practice of logic programming 2013年 第4-5期13卷 579-592页
作者: 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... 详细信息
来源: 评论
Relating weight constraint and aggregate programs: Semantics and representation
收藏 引用
theory and practice of logic programming 2013年 第01期13卷 1-31页
作者: Liu, Guohua You, Jia-Huai Univ Alberta Edmonton AB T6G 2R3 Canada
Weight constraint and aggregate programs are among the most widely used logic programs with constraints. In this paper, we relate the semantics of these two classes of programs, namely, the stable model semantics for ... 详细信息
来源: 评论
The jobs puzzle: Taking on the challenge via controlled natural language processing
收藏 引用
theory and practice of logic programming 2013年 第4-5期13卷 487-501页
作者: 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... 详细信息
来源: 评论
ASP with non-herbrand partial functions: a language and system for practical use
收藏 引用
theory and practice of logic programming 2013年 第4-5期13卷 547-561页
作者: 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... 详细信息
来源: 评论
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach
收藏 引用
theory and practice of logic programming 2013年 第4-5期13卷 831-846页
作者: 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... 详细信息
来源: 评论