咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 8,406 篇 电子文献
  • 7 种 纸本馆藏

日期分布

学科分类号

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

主题

  • 8,410 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 304 篇 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
  • 53 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 49 篇 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,028 篇 英文
  • 322 篇 其他
  • 41 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8410 条 记 录,以下是391-400 订阅
排序:
Inferring regulatory networks from time series expression data and relational data via inductive logic programming
Inferring regulatory networks from time series expression da...
收藏 引用
16th International Conference on Inductive logic programming
作者: Ong, Irene M. Topper, Scott E. Page, David Costa, Vitor Santos Univ Wisconsin Dept Comp Sci 1210 W Dayton St Madison WI 53706 USA Dept Biostatist & Med Informat Madison WI USA Univ Wisconsin Dept Genet Madison 53706 WI USA UFRJ Technol Ctr COPPE Rio De Janeiro Brazil
Determining the underlying regulatory mechanism of genetic networks is one of the central challenges of computational biology. Numerous methods have been developed and applied to the important but complex task of reve... 详细信息
来源: 评论
PrivaLog: a Privacy-aware logic programming Language  2021
PrivaLog: a Privacy-aware Logic Programming Language
收藏 引用
23rd International Symposium on Principles and Practice of Declarative programming (PPDP)
作者: Jaager, Joosep Pankova, Alisa Cybernet AS Tallinn Estonia
logic programming (LP) is a subcategory of declarative programming that is considered to be relatively simple for non-programmers. LP developers focus on describing facts and rules of a logical derivation, and do not ... 详细信息
来源: 评论
THE FINITENESS OF logic programming DERIVATIONS  3rd
THE FINITENESS OF LOGIC PROGRAMMING DERIVATIONS
收藏 引用
3RD INTERNATIONAL CONF ON ALGEBRAIC AND logic programming
作者: BALBIANI, P Institut de Recherche cn Informatique de Toulouse France
The question of the termination of logic programming computations is studied from a semantical point of view. To every program are associated two first order formulas. Their valid consequences are respectively the fin... 详细信息
来源: 评论
Coalgebraic Semantics for Parallel Derivation Strategies in logic programming
Coalgebraic Semantics for Parallel Derivation Strategies in ...
收藏 引用
13th International Conference on Algebraic Methodology and Software Technology
作者: Komendantskaya, Ekaterina McCusker, Guy Power, John Univ Dundee Dept Comp Dundee DD1 4HN Scotland Univ Bath Dept Comp Sci Bath England
logic programming, a class of programming languages based on first-order logic, provides simple and efficient tools for goal-oriented proof-search. logic programming supports recursive computations, and some logic pro... 详细信息
来源: 评论
Data Type Inference for logic programming  1
收藏 引用
31st International Symposium on logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Barbosa, Joao Florido, Mario Costa, Vitor Santos Univ Porto Fac Ciencias Porto Portugal
In this paper we present a new static data type inference algorithm for logic programming. Without the need for declaring types for predicates, our algorithm is able to automatically assign types to predicates which, ... 详细信息
来源: 评论
Web log session analyzer: Integrating parsing and logic programming into a data mart architecture  05
Web log session analyzer: Integrating parsing and logic prog...
收藏 引用
IEEE/WIC/ACM International Conference on Web Intelligence
作者: Desmarais, MC Ecole Polytech Montreal PQ H3C 3A7 Canada
Navigation and interaction patterns of Web users can be relatively complex, especially for sites with interactive applications that support user sessions and profiles. We describe such a case for an interactive virtua... 详细信息
来源: 评论
Getting adaptability or expressivity in inductive logic programming by using fuzzy predicates
Getting adaptability or expressivity in inductive logic prog...
收藏 引用
Annual IEEE International Conference on Fuzzy Systems
作者: Prade, H Serrurier, M Univ Toulouse 3 IRIT Toulouse France
Introducing fuzzy predicates in inductive logic programming may serve two different purposes : getting more expressivity by learning fuzzy rules, or allowing for more adaptability when learning classical rules. On the... 详细信息
来源: 评论
Improving numerical reasoning capabilities of inductive logic programming systems
Improving numerical reasoning capabilities of inductive logi...
收藏 引用
9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004)
作者: Alves, A Camacho, R Oliveira, E LIACC P-4150 Oporto Portugal FEUP P-4200465 Oporto Portugal
Inductive logic programming (ILP) systems have been largely applied to classification problems with a considerable success. The use of ILP systems in problems requiring numerical reasoning capabilities has been far le... 详细信息
来源: 评论
Design issues of fuzzy logic programming languages
Design issues of fuzzy logic programming languages
收藏 引用
1998 Conference of the North American-Fuzzy-Information-Processing-Society
作者: Márquez, P New Mexico State Univ Dept Comp Sci Lab Log Databases & Adv Programming Las Cruces NM 88003 USA
logic programming (LP) has been successfully applied to solve many problems in Artificial Intelligence and many other areas. However, LP is unable to deal with uncertain, imprecise or vague information. On the other h... 详细信息
来源: 评论
Declarative Compilation for Constraint logic programming  24th
Declarative Compilation for Constraint Logic Programming
收藏 引用
24th International Symposium on logic-Based Program Synthesis and Transformation (LOPSTR)
作者: Gallego Arias, Emilio Jesus Lipton, James Marino, Julio Univ Penn Philadelphia PA 19104 USA Wesleyan Univ Middletown CT 06459 USA Univ Politecn Madrid Madrid Spain
We present a new declarative compilation of logic programs with constraints into variable-free relational theories which are then executed by rewriting. This translation provides an algebraic formulation of the abstra... 详细信息
来源: 评论