咨询与建议

限定检索结果

文献类型

  • 6,086 篇 会议
  • 2,197 篇 期刊文献
  • 106 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,404 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

  • 5,728 篇 工学
    • 5,321 篇 计算机科学与技术...
    • 3,513 篇 软件工程
    • 567 篇 电气工程
    • 303 篇 控制科学与工程
    • 169 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,420 篇 理学
    • 1,255 篇 数学
    • 118 篇 统计学(可授理学、...
    • 76 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 35 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,408 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 26 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 54 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 48 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 son tran cao
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,029 篇 英文
  • 321 篇 其他
  • 39 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8408 条 记 录,以下是4731-4740 订阅
排序:
A delta debugger for ILP query execution
A delta debugger for ILP query execution
收藏 引用
16th Workshop on logic-based methods in programming Environments, WLPE 2006
作者: Tronçon, Remko Janssens, Gerda Katholieke Universiteit Leuven Dept. of Computer Science Celestijnenlaan 200A B-3001 Leuven Belgium
Because query execution is the most crucial part of Induc- tive logic programming (ILP) algorithms, a lot of effort is invested in developing faster execution mechanisms. These execution mechanisms typically have a lo... 详细信息
来源: 评论
A robust algorithm for approximate Compatible Observability Don't Care (CODC) computation
A robust algorithm for approximate Compatible Observability ...
收藏 引用
41st Design Automation Conference, DAC 2004
作者: Saluja, Nikhil Khatri, Sunil P. Dept ECE University of Colorado United States
Compatible Observability Don't Cares (CODCs) are a powerful means to express the flexibility present at a node in a multi-level logic network. Despite their elegance, the applicability of CODCs has been hampered b... 详细信息
来源: 评论
Compact normalisation trace via lazy rewriting
Compact normalisation trace via lazy rewriting
收藏 引用
WRS 2001, 1st International Workshop on Reduction Strategies in Rewriting and programming
作者: Nguyen, Quang-Huy LORIA and INRIA BP 101 54602 Villers-lès-Nancy Cedex France
Innermost strategies are usually used in compiling term rewriting systems (TRSs) since they allow to efficiently build result terms in a bottom-up fashion. However, innermost strategies do not always give the shortest... 详细信息
来源: 评论
Executable denotations for concurrent languages using concurrent transaction logic
Executable denotations for concurrent languages using concur...
收藏 引用
20th Workshop on logic programming, WLP 2006
作者: Santos, Marcus Vinicius Department of Computer Science Ryerson University M5B 2K3 Toronto Canada
This paper presents an approach based on a Horn fragment of Concurrent Transaction logic (CTR) for semantic description and execution of programming languages. The Horn notation is used in much the same way that plain... 详细信息
来源: 评论
State generation in the parmc model checker  3rd
收藏 引用
3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001
作者: Kaser, Owen University of New Brunswick Saint John Canada
The PARMC system performs modelc hecking for systems described in the XL language, a variant of CCS. Extending previous work by Dong and Ramakrishnan that compiled XL specifications into an optimized transition relati... 详细信息
来源: 评论
COOP - automatiC validatiOn of evOlving microservice comPositions
COOP - automatiC validatiOn of evOlving microservice comPosi...
收藏 引用
2019 Seminar Series on Advanced Techniques and Tools for Software Evolution, SATTOSE 2019
作者: Groh, Olga Baraki, Harun Jahl, Alexander Geihs, Kurt Distributed Systems Group University of Kassel Kassel Germany
Current change management solutions apply versionized interfaces to ensure coherent evolution in service environments. This leads to several drawbacks such as an increasing number of service versions and time-consumin... 详细信息
来源: 评论
Providing declarative semantics for HH extended constraint logic programs  04
Providing declarative semantics for HH extended constraint l...
收藏 引用
Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'04
作者: García-Díaz, Miguel Nieva, Susana Dpto. Sistemas Informáticos Facultad de Informática Universidad Complutense de Madrid Spain
This paper is focused on a double extension of traditional logic programming which enhances it following two different approaches. On one hand, extending Horn logic to hereditary Harrop formulas (HH), in order to impr... 详细信息
来源: 评论
A compositional logic for control flow
A compositional logic for control flow
收藏 引用
7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2006
作者: Tan, Gang Appel, Andrew W. Computer Science Department Boston College Computer Science Department Princeton University
We present a program logic, Lc, which modularly reasons about unstructured control flow in machine-language programs. Unlike previous program logics, the basic reasoning units in Lc are multiple-entry and multiple-exi... 详细信息
来源: 评论
Using Answer Set programming for Assigning Tasks to Computing Nodes  26
Using Answer Set Programming for Assigning Tasks to Computin...
收藏 引用
26th International Workshop on Configuration, ConfWS 2024
作者: Wotawa, Franz Institute of Software Technology Inffeldgasse 16b/2 GrazA-8010 Austria
Allocating tasks to computing nodes in a network is an important configuration problem. In the case of fail-safe networks, such configuration must be changed during operation if a computing node fails. Hence, a fast c... 详细信息
来源: 评论
Summary-based inter-procedural analysis via modular trace refinement  34
Summary-based inter-procedural analysis via modular trace re...
收藏 引用
34th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2014
作者: Cassez, Franck Müller, Christian Burnett, Karla NICTA UNSW Australia TU Munich Germany
We propose a generalisation of trace refinement for the verification of inter-procedural programs. Our method is a top-down modular, summary-based approach, and analyses inter-procedural programs by building function ... 详细信息
来源: 评论