咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
theory and practice of logic programming
订阅 引用
theory and practice of logic programming
作者: Ilkka Niemelä Miroslaw Truszczynski
出版社:CAMBRIDGE UNIV PRESS
《逻辑程序设计理论与实践》(网络版)  此为网络版单订刊号。
来源: 评论
theory AND practice IN logic programming  2nd
THEORY AND PRACTICE IN LOGIC PROGRAMMING
收藏 引用
2ND INTERNATIONAL logic programming SUMMER SCHOOL ( LPSS 92 )
作者: KOWALSKI, R Department of Computing Imperial College London United Kingdom
logic programming enjoys a relatively good relationship between its theory and its practice. Nonetheless, this relationship needs to be improved, and doing so is an important direction for research in the future. The ... 详细信息
来源: 评论
Call for Papers Verification and Computational logic Special Issue of theory and practice of logic programming
收藏 引用
theory and practice of logic programming 2001年 第5期1卷 631-632页
作者: Michael Leuschel Andreas Podelski C. R. Ramakrishnan Ulrich Ultes-Nitsche
Submission deadline: January 10, 2002The past decade has seen dramatic growth in the application of model checking techniques to the validation and verification of correctness properties of hardware, and more recently...
来源: 评论
Combining decidability paradigms for existential rules. theory and practice of logic programming (vol 13, pg 877, 2013)
收藏 引用
theory and practice of logic programming 2016年 第1期16卷 139-139页
作者: Gottlob, Georg Manna, Marco Pieris, Andreas
Figure 3 was left out in the article (Gottlob et al. 2013). The figure that is given there as figure 3 should in fact be figure 4. Further, the reference to figure 3 on the 4thline of page 889 should be a reference to...
来源: 评论
Change in Knowledge Bases Special Issue of theory and practice of logic programming Submission deadline: July 31, 2001
收藏 引用
theory and practice of logic programming 2001年 第2期1卷 247-247页
作者: Luís Moniz Pereira Teodor Przymusinski Dept. Informática Univ. Nova de Lisboa P-2825-114 Caparica Portugal lmp@di.fct.unl.pt Dept. Computer Science University of California Riverside CA 92521 USA teodor@cs.ucr.edu
Significant advances have recently been made in the area of updates of logic programs, and, more generally, updates of knowledge bases and their applications. Accordingly, the journal theory and practice of logic Prog...
来源: 评论
THE INTEGRATION OF FUNCTIONS INTO logic programming - FROM theory TO practice
收藏 引用
JOURNAL OF logic programming 1994年 第Sup1期20卷 583-628页
作者: HANUS, M MAX PLANCK INST INFORMAT D-66123 SAARBRUCKEN GERMANY
Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement o...
来源: 评论
logic programming PERSPECTIVE ON DECISION TABLE theory AND practice.
收藏 引用
Data and Knowledge Engineering 1987年 第3期2卷 191-212页
作者: Reilly, Kevin D. Salah, Akram Yang, Chao-Chih Univ of Alabama Birmingham AL USA Univ of Alabama Birmingham AL USA
A theoretical foundation is presented aimed at reconciling the theory and practice of decision table (DT) processing with a family of relatable methodologies represented by logic programming (LP), Prolog, and relation... 详细信息
来源: 评论
logic programming in datalog: A long tour from theory to practice
Logic programming in datalog: A long tour from theory to pra...
收藏 引用
Il Milione: A Journey in the Computational logic in Italy
作者: Greco, Sergio Palopoli, Luigi Leone, Nicola Rullo, Pasquale Saccà, Domenico Italy Exeura S.r.l. Rende Italy Italy
In this paper, we describe the research lines in logic programming, carried out in Cosenza over a period of more than 20 years, which have recently produced promising industrial exploitation follow-ups. The research l... 详细信息
来源: 评论
logic programming and cardinality constraints : theory and practice
Logic programming and cardinality constraints : theory and p...
收藏 引用
作者: Syrjänen, Tommi Aalto University
Answer set programming (ASP) is a method for solving hard problems using computational logic. We describe a problem as a set of formulas of a declarative logical language in such way that the solutions correspond to t...
来源: 评论
Integration of functions into logic programming: From theory to practice
收藏 引用
Journal of logic programming 1994年 第1-3期19-20卷 583-628页
作者: Hanus, Michael Max-Planck-Inst fuer Informatik Saarbruecken Germany
Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. Early research concentrated on the definition and improvement o... 详细信息
来源: 评论