咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1291-1300 订阅
排序:
Model checking for probability and time: From theory to practice
Model checking for probability and time: From theory to prac...
收藏 引用
18th Annual IEEE Symposium on logic in Computer Science
作者: Kwiatkowska, M Univ Birmingham Sch Comp Sci Birmingham B15 2TT W Midlands England
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, and to provide adaptive resource manage... 详细信息
来源: 评论
Approximate pruning in tabled logic programming
收藏 引用
12th European Symposium on programming, ESOP 2003 Held as Part of the Joint European Conferences on theory and practice of Software, ETAPS 2003
作者: Castro, Luís F. Warren, David S. Computer Science Dept SUNY at Stony Brook United States
Pruning provides an important tool for control of non-determinism in Prolog systems. Current Tabled Prolog systems improve Prolog’s evaluation strategy in several ways, but lack satisfactory support for pruning opera... 详细信息
来源: 评论
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...
来源: 评论
9th International Conference on Principles and practice of Constraint programming, CP 2003
收藏 引用
9th International Conference on Principles and practice of Constraint programming, CP 2003
The proceedings contain 126 papers. The special focus in this conference is on Principles and practice of Constraint programming. The topics include: Recent progress in propositional reasoning and search;a new applica...
来源: 评论
Goal-independent suspension analysis for logic programs with dynamic scheduling
收藏 引用
12th European Symposium on programming, ESOP 2003 Held as Part of the Joint European Conferences on theory and practice of Software, ETAPS 2003
作者: Genaim, Samir King, Andy Ben-Gurion University of the Negev PoB 653 Beer-Sheva84105 Israel University of Kent CanterburyCT2 7NF United Kingdom Universita’ degli Studi di Verona Verona37134 Italy
A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial point is that the analysis does not verify that an... 详细信息
来源: 评论
Monad-independent Hoare logic in HasCasl
收藏 引用
6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003 Held as Part of the Joint European Conferences on theory and practice of Software, ETAPS 2003
作者: Schröder, Lutz Mossakowski, Till BISS Department of Computer Science University of Bremen Germany
Monads have been recognized by Moggi as an elegant device for dealing with stateful computation in functional programming languages. It is thus natural to develop a Hoare calculus for reasoning about computational mon... 详细信息
来源: 评论
Verifying temporal heap properties specified via evolution logic
收藏 引用
12th European Symposium on programming, ESOP 2003 Held as Part of the Joint European Conferences on theory and practice of Software, ETAPS 2003
作者: Yahav, Eran Reps, Thomas Sagiv, Mooly Wilhelm, Reinhard School of Comp. Sci Tel-Aviv Univ Tel-Aviv Israel Comp. Sci. Dept Univ. of Wisconsin MadisonWI53706 United States Informatik Univ. des Saarlandes Saarbrücken Germany
This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate—and deallocate—new objects and threads. Establishi... 详细信息
来源: 评论
The Klaim project: theory and practice
The Klaim project: Theory and practice
收藏 引用
IST/FET International Workshop on Global Computing
作者: Bettini, L Bono, V De Nicola, R Ferrari, G Gorla, D Loreti, M Moggi, E Pugliese, R Tuosto, E Venneri, B Univ Florence Dipartimento Sistemi & Informat I-50134 Florence Italy Univ Turin Dipartimento Informat I-10149 Turin Italy Univ Pisa Dipartimento Informat I-56100 Pisa Italy Univ Genoa Dipartimento Informat & Sci Informaz I-16146 Genoa Italy
KLAIM (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile components that interact through multiple distr... 详细信息
来源: 评论
6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003 Held as Part of the Joint European Conferences on theory and practice of Software, ETAPS 2003
收藏 引用
6th International Conference on Fundamental Approaches to Software Engineering, FASE 2003 Held as Part of the Joint European Conferences on theory and practice of Software, ETAPS 2003
The proceedings contain 27 papers. The special focus in this conference is on Software components, Mobile computing, Aspect and object-oriented programming, Distributed and web applications, Software measurements, For...
来源: 评论
Checking properties of Heap-Manipulating procedures with a constraint solver
Checking properties of Heap-Manipulating procedures with a c...
收藏 引用
9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003 Held as Part of the Joint European Conferences on theory and practice of Software, ETAPS 2003
作者: Vaziri, Mandana Jackson, Daniel Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA United States
A method for finding bugs in object-oriented code is presented. It is capable of checking complex user-defined structural properties - that is, of the configuration of objects on the heap - and generates counterexampl... 详细信息
来源: 评论