咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,376 篇 工学
    • 1,341 篇 计算机科学与技术...
    • 1,202 篇 软件工程
    • 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...
  • 251 篇 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...

机构

  • 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,558 篇 英文
  • 26 篇 中文
  • 16 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1600 条 记 录,以下是1431-1440 订阅
logic, programming and prolog
收藏 引用
Simulation practice and theory 1997年 第3期5卷 P34-P34页
作者: M. Lingl Dept. Simulation Techniques TU Vienna Austria
来源: 评论
Towards a complete framework for parallel implementation of logic languages: The data parallel implementation of SEL
收藏 引用
CONCURRENCY-practice AND EXPERIENCE 1996年 第3期8卷 191-204页
作者: Succi, G Uhrik, C UNIV TRENT LII DISA I-38068 ROVERETO ITALY
Although logic languages, due to their non-declarative nature, are widely proclaimed to be conducive in theory to parallel implementation, in fact there appears to be insufficient practical evidence to stimulate furth... 详细信息
来源: 评论
Principles and practice of unification factoring
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 1996年 第5期18卷 528-563页
作者: Dawson, S Ramakrishnan, CR Skiena, S Swift, T SUNY STONY BROOK DEPT COMP SCI STONY BROOK NY 11794 USA
The efficiency of resolution-based logic programming languages, such as Prolog, depends critically on selecting and executing sets of applicable clause heeds to resolve against subgoals. Traditional approaches to this... 详细信息
来源: 评论
logic-based 0-1 Constraint programming  1
收藏 引用
丛书名: Operations Research/Computer Science Interfaces Series
1996年
作者: Peter Barth
A logic view of 0-1 integer programming problems, providing new insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations ... 详细信息
来源: 评论
Explaining type inference
收藏 引用
SCIENCE OF COMPUTER programming 1996年 第1期27卷 37-83页
作者: Duggan, D Bent, F Department of Computer Science University of Waterloo Waterloo Ontario Canada N2L 3G1
Type inference is the compile-time process of reconstructing missing type information in a program based on the usage of its variables. ML and Haskell are two languages where this aspect of compilation has enjoyed som... 详细信息
来源: 评论
Complete university modular timetabling using constraint logic programming  1st
Complete university modular timetabling using constraint log...
收藏 引用
1st International Conference on practice and theory of Automated Timetabling, PATAT 1995
作者: Lajos, Gyuri Division of Artificial Intelligence School of Computer Studies University of Leeds United Kingdom
In preparation for the changeover to a new modular degree structure, at the University of Leeds, a new modular timetable for the 1993-94 academic session had to be constructed from scratch. This paper describes our ex... 详细信息
来源: 评论
1st International Conference on practice and theory of Automated Timetabling, 1995
1st International Conference on Practice and Theory of Autom...
收藏 引用
1st International Conference on practice and theory of Automated Timetabling, PATAT 1995
The proceedings contain 24 papers. The special focus in this conference is on practice and theory of Automated Timetabling. The topics include: Recent developments in practical examination timetabling;computer-aided s...
来源: 评论
A compositional theory of constraint hierarchies (operational semantics)
A compositional theory of constraint hierarchies (operationa...
收藏 引用
Workshop on Over-Constrained Systems, held as part of 1st International Conference on Principles and practice of Constraint programming, CP 1995
作者: Jampel, Michael Department of Computer Science City University Northampton Square LondonEC1V OHB United Kingdom
We propose a variant of the Hierarchical Constraint logic programming (HCLP) scheme of Borning, Wilson, and others. We consider compositionality and incrementality in Constraint logic programming, introduce HCLP, and ... 详细信息
来源: 评论
Investigations of a constraint logic programming approach to university timetabling  1st
Investigations of a constraint logic programming approach to...
收藏 引用
1st International Conference on practice and theory of Automated Timetabling, PATAT 1995
作者: Cheng, Czarina Kang, Le Leung, Norms White, George M. Computer Science Dept University of Ottawa OttawaKIN 6N5 Canada
The casting of university timetables is a problem which combines classical numerical scheduling techniques with important human considerations. It will be argued here that since the application involves the preference... 详细信息
来源: 评论
Using oz for college timetabling  1st
Using oz for college timetabling
收藏 引用
1st International Conference on practice and theory of Automated Timetabling, PATAT 1995
作者: Henz, Martin Würtz, Jorg Stuhlsatzenhausweg 3 SaarbrückenD-66123 Germany
In this paper, we concentrate on a typical scheduling problem: the computation of a timetable for a German college. Like many other scheduling problems, this problem contains a variety of complex constraints and neces... 详细信息
来源: 评论