咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4751-4760 订阅
排序:
Development reuse and the logic program derivation of two string-matching algorithms  01
Development reuse and the logic program derivation of two st...
收藏 引用
Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative programming (PPDP'00)
作者: Hernández, Manuel Rosenblueth, David A. Inst. de Invest. Matemat. Apl. Sist. Univ. Nac. Auton. de Mexico Apdo. 20-726 01000 México D.F. Mexico
Program transformation advocates the development of programs by applying a sequence of meaning-preserving rules to a specification, thereby obtaining an implementation. The cost of program development and maintenance ... 详细信息
来源: 评论
Natural Language Understanding using Temporal Action logic  06
Natural Language Understanding using Temporal Action Logic
收藏 引用
2006 Workshop on Knowledge and Reasoning for Language Processing, KRAQ 2006
作者: Magnusson, Martin Department of Computer and Information Science Linköping University LinköpingSE-581 83 Sweden
We consider a logicist approach to natural language understanding based on the translation of a quasi-logical form into a temporal logic, explicitly constructed for the representation of action and change, and the sub... 详细信息
来源: 评论
Proving existential termination of normal logic programs  5th
Proving existential termination of normal logic programs
收藏 引用
5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996
作者: Marchiori, Massimo Dept. of Pure and Applied Mathematics University of Padova Via Belzoni 7 Padova35131 Italy
The most important open problem in the study of termination for logic programs is that of existential termination. In this paper we present a powerful transformational methodology that provides necessary (and, under s... 详细信息
来源: 评论
Comparing alternative solutions for unfounded set propagation in ASP
Comparing alternative solutions for unfounded set propagatio...
收藏 引用
13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013
作者: Alviano, Mario Dodaro, Carmine Ricca, Francesco Department of Mathematics and Computer Science University of Calabria 87036 Rende Italy
Answer Set programming (ASP) is a logic programming language for nonmonotonic reasoning. Propositional ASP programs are usually evaluated by DPLL algorithms combining unit propagation with operators that are specific ... 详细信息
来源: 评论
Efficient substitution in hoare logic expressions
Efficient substitution in hoare logic expressions
收藏 引用
HOOTS 2000, 4th International Workshop on Higher Order Operational Techniques in Semantics (Satellite to PLI 2000)
作者: Appel, Andrew W. Swadi, Kedar N. Virga, Roberto Department of Computer Science Princeton University Princeton NJ United States
Substitution plays an important role in Hoare logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare logic, it is therefore important to choose a good implementation for i... 详细信息
来源: 评论
Metalogic for state oriented programming  3rd
收藏 引用
3rd International Workshop on Extensions of logic programming, ELP 1992
作者: Brogi, Antonio Turini, Franco Dipartimento di Informatica Corso Italia 40 Pisa56125 Italy
Object-oriented programming and blackboard systems have proven to be two of the most successful approaches to the construction of complex software systems. Both of them rely upon the ability of maintaining either a di... 详细信息
来源: 评论
An ASP approach for the valves positioning optimization in a water distribution system
An ASP approach for the valves positioning optimization in a...
收藏 引用
9th Italian Convention on Computational logic, CILC 2012
作者: Gavanelli, Marco Nonato, Maddalena Peano, Andrea Alvisi, Stefano Franchini, Marco EnDiF Università degli Studi di Ferrara via G. Saragat 1-44122 Ferrara Italy
Positioning of valves is a real-life issue in Water Distribution System design and, currently, it is usually addressed by hand by hydraulic engineers, or by means of genetic algorithms, that give no assurance of optim... 详细信息
来源: 评论
A generalized gelfond-lifschitz transformation for logic programs with abstract constraints
A generalized gelfond-lifschitz transformation for logic pro...
收藏 引用
AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference
作者: Shen, Yi-Dong You, Jia-Huai State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100080 China Department of Computing Science University of Alberta Edmonton Alta. T6G 2E8 Canada
We present a generalized Gel fond-Lifschitz transformation in order to define stable models for a logic program with arbitrary abstract constraints on sets (c-atoms). The generalization is based on a formal semantics ... 详细信息
来源: 评论
A synergistic analysis for sharing and groundness which traces linearity  5th
收藏 引用
5th European Symposium on programming, ESOP 1994
作者: King, Andy Department of Electronics and Computer Science The University of Southampton SouthamptonS09 5NH United Kingdom The Computing Laboratory The University of Kent CanterburyCT2 7LX United Kingdom
Accurate variable sharing information is crucial both in the automatic parallelisation and in the optimisation of sequential logic programs. Analysis for possible variable sharing is thus an important topic in logic p... 详细信息
来源: 评论
Runtime verification of timed LTL using disjunctive normalized equation systems
Runtime verification of timed LTL using disjunctive normaliz...
收藏 引用
作者: Kristoffersen, Kåre Jelling Pedersen, Christian Andersen, Henrik Reif Department of Innovation IT University of Copenhagen Copenhagen 2400 NV Denmark
In this paper we present a new framework for runtime verification of properties of real time systems such as financial systems or backend databases. Such a systems has a semantics which resemples that of timed traces,... 详细信息
来源: 评论