咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4671-4680 订阅
排序:
logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2
收藏 引用
2001年
作者: LPAR 2001
来源: 内蒙古大学图书馆图书 评论
Development of methods how to avoid the overfitting-effect within the GeLog-System
Development of methods how to avoid the overfitting-effect w...
收藏 引用
7th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2003)
作者: Kókai, G Univ Erlangen Nurnberg Dept Programming Syst D-91058 Erlangen Germany
This article examines the methods how to avoid an overfitting-effect within GeLog-systems. This effect can be observed in nearly all systems of inductive concept learning, if due to false classification of examples fa... 详细信息
来源: 评论
Program logic and equivalence in the presence of garbage collection
Program logic and equivalence in the presence of garbage col...
收藏 引用
4th International Conference on Foundations of Software Science and Computation Structures
作者: Calcagno, C O'Hearn, P Bornat, R Univ London Queen Mary & Westfield Coll Dept Comp Sci London E1 4NS England
it is generally thought that reasoning about programs in memory safe, garbage collected languages is much easier than in languages where the programmer has more explicit control over memory. Paradoxically, existing pr... 详细信息
来源: 评论
An application of NaraView to reasonings, for distributed logic programs
An application of NaraView to reasonings, for distributed lo...
收藏 引用
International Conference on Parallel and Distributed Processing Techniques and Applications
作者: Sasakura, M Yamasaki, S Okayama Univ Grad Sch Nat Sci & Technol Dept Intelligence Comp & Syst Okayama 7008530 Japan
Visualization has played a significant role in understanding the behavior of distributed programs. We propose a visualization that shows message exchanges in distributed logic programs using the Program Structure View... 详细信息
来源: 评论
Incremental evaluation of tabled logic programs
收藏 引用
19th International Conference on logic programming
作者: Saha, D Ramakrishnan, CR SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA
Tabling has emerged as an important evaluation technique in logic programming. Currently, changes to a program (due to addition/deletion of rules/facts) after query evaluation compromise the completeness and soundness... 详细信息
来源: 评论
Generation of the post lattice by irreducible clones
Generation of the post lattice by irreducible clones
收藏 引用
33rd International Symposium on Multiple-Valued logic (ISMVL 2003)
作者: Pogosyan, GR Rosenberg, IG Int Christian Univ Tokyo 1818585 Japan
Clones of logic functions form an algebraic lattice, which in the case of Boolean functions was completely described by *** in 1941. This lattice, often referred to as the Post Lattice, has been well studied from vari... 详细信息
来源: 评论
A logic based hardware development environment  11
A logic based hardware development environment
收藏 引用
11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2003)
作者: Belkacemi, S Benkrid, K Crookes, D Queens Univ Belfast Sch Comp Sci Belfast BT7 1NN Antrim North Ireland
This paper presents a logic based approach to hardware abstraction and composition based on the logic programming language Prolog. This is an attempt to satisfy the dual requirement of abstract hardware design and har... 详细信息
来源: 评论
Generalized metrics and uniquely determined logic programs
Generalized metrics and uniquely determined logic programs
收藏 引用
Dagstuhl-Seminar on Topology in Computer Science
作者: Hitzler, P Seda, AK Natl Univ Ireland Univ Coll Cork Dept Math Cork Ireland
The introduction of negation into logic programming brings the benefit of enhanced syntax and expressibility, but creates some semantical problems. Specifically, certain operators which are monotonic in the absence of... 详细信息
来源: 评论
Executable computational logics: Combining formal methods and programming language based system design  1
Executable computational logics: Combining formal methods an...
收藏 引用
1st ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 03)
作者: Meseguer, J Univ Illinois Dept Comp Sci Urbana IL 61801 USA
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of system designs based on programming languag... 详细信息
来源: 评论
Ontology-based information in dynamic environments  12
Ontology-based information in dynamic environments
收藏 引用
12th IEEE International Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises
作者: Stuckenschmidt, H Vrije Univ Amsterdam AI Dept NL-1081 HV Amsterdam Netherlands
A number of ontology based systems have been developed that support typical knowledge management tasks. At the moment almost all of these systems, however, rely on a number of assumptions about the nature of environme... 详细信息
来源: 评论