咨询与建议

限定检索结果

文献类型

  • 884 篇 期刊文献
  • 590 篇 会议
  • 104 册 图书
  • 18 篇 学位论文

馆藏范围

  • 1,597 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,376 篇 工学
    • 1,341 篇 计算机科学与技术...
    • 1,203 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 929 篇 理学
    • 902 篇 数学
    • 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...
  • 254 篇 logic programmin...
  • 72 篇 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,540 篇 英文
  • 30 篇 其他
  • 27 篇 中文
检索条件"任意字段=Theory and Practice of Logic Programming"
1597 条 记 录,以下是911-920 订阅
排序:
The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
收藏 引用
theory and practice of logic programming 2012年 第1-2期12卷 97-126页
作者: Tarau, Paul Univ N Texas Dept Comp Sci & Engn Denton TX 76203 USA
We describe the BinProlog system's compilation technology, runtime system and its extensions supporting first-class logic Engines while providing a short history of its development, details of some of its newer re... 详细信息
来源: 评论
An Improved Proof-Theoretic Compilation of logic Programs
收藏 引用
theory and practice of logic programming 2012年 第4-5期12卷 639-657页
作者: Cervesato, Iliano Carnegie Mellon Univ Dept Comp Sci Pittsburgh PA 15213 USA
In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this technique in the case of hereditary Harr... 详细信息
来源: 评论
A design and implementation of the Extended Andorra Model
收藏 引用
theory and practice of logic programming 2012年 第3期12卷 319-360页
作者: Lopes, Ricardo Costa, Vitor Santos Silva, Fernando Univ Porto CRACS INESC Porto LA P-4169007 Oporto Portugal Univ Porto Fac Ciencias P-4169007 Oporto Portugal
logic programming provides a high-level view of programming, giving implementers a vast latitude into what techniques to explore to achieve the best performance for logic programs. Towards obtaining maximum performanc... 详细信息
来源: 评论
Machines Who Write
收藏 引用
IEEE ANNALS OF THE HISTORY OF COMPUTING 2013年 第2期35卷 88-+页
作者: Dick, Stephanie Harvard Univ Dept Hist Sci Cambridge MA 02138 USA
In 1936, Alan Turing remarked that 'computing is normally done by writing certain symbols on paper.' Although computing was then the prerogative of human computers, Turing imagined that machines might calculat... 详细信息
来源: 评论
SICStus Prolog-The first 25 years
收藏 引用
theory and practice of logic programming 2012年 第1-2期12卷 35-66页
作者: Carlsson, Mats Mildner, Per SICS SE-16429 Kista Sweden
SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons. SICStus Prolog was conceived in a context of... 详细信息
来源: 评论
Contextual hypotheses and semantics of logic programs
收藏 引用
theory and practice of logic programming 2012年 第6期12卷 843-887页
作者: Martin, Eric A. Univ New S Wales Sch Comp Sci & Engn Sydney NSW 2052 Australia
logic programming has developed as a rich field, built over a logical substratum whose main constituent is a nonclassical form of negation, sometimes coexisting with classical negation. The field has seen the advent o... 详细信息
来源: 评论
Module theorem for the general theory of stable models
收藏 引用
theory and practice of logic programming 2012年 第4-5期12卷 719-735页
作者: Babb, Joseph Lee, Joohyung Arizona State Univ Sch Comp Informat & Decis Syst Engn Tempe AZ 85287 USA
The module theorem by Janhunen et al. demonstrates how to provide a modular structure in answer set programming, where each module has a well-defined input/output interface which can be used to establish the compositi... 详细信息
来源: 评论
The language features and architecture of B-Prolog
收藏 引用
theory and practice of logic programming 2012年 第1-2期12卷 189-218页
作者: Zhou, Neng-Fa CUNY Dept Comp & Informat Sci Brooklyn Coll New York NY 10021 USA CUNY Grad Ctr New York NY 10021 USA
B-Prolog is a high-performance implementation of the standard Prolog language with several extensions including matching clauses, action rules for event handling, finite-domain constraint solving, arrays and hash tabl... 详细信息
来源: 评论
On the implementation of GNU Prolog
收藏 引用
theory and practice of logic programming 2012年 第1-2期12卷 253-282页
作者: Diaz, Daniel Abreu, Salvador Codognet, Philippe Univ Paris 01 F-75013 Paris France Univ Evora P-7004516 Evora Portugal Centria FCT UNL P-7004516 Evora Portugal Univ Tokyo JFLI CNRS Tokyo Japan
GNU Prolog is a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces stand-alone executables which d... 详细信息
来源: 评论
An overview of Ciao and its design philosophy
收藏 引用
theory and practice of logic programming 2012年 第1-2期12卷 219-252页
作者: Hermenegildo, M. V. Bueno, F. Carro, M. Lopez-Garcia, P. Mera, E. Morales, J. F. Puebla, G. Univ Politecn Madrid Fac Informat E-28660 Madrid Spain Madrid Inst Adv Studies Software Dev Technol IMDE Madrid 28660 Spain Spanish Res Council Madrid 28006 Spain Univ Complutense Madrid Fac Informat E-28040 Madrid Spain
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in additi... 详细信息
来源: 评论