咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4801-4810 订阅
排序:
Type-I topological logic ℂℑ1 and approximate reasoning
Type-I topological logic ℂℑ1 and approximate reasoning
收藏 引用
Second International Confernce on Fuzzy Systems and Knowledge Discovery, FSKD 2005
作者: Zheng, Yalin Zhang, Changshui Yao, Xin Department of Automation Faculty of Information Science and Technology Tsinghua University Beijing 100084 China
We introduce the consistent topological structure and neighborhood structure into the logical framework for providing the logical foundation and logical normalization for the approximate reasoning. We present the conc... 详细信息
来源: 评论
Unfold/fold transformations and loop optimization of logic programs  88
Unfold/fold transformations and loop optimization of logic p...
收藏 引用
ACM SIGPLAN Conference on programming Language Design and Implementation, PLDI 1988
作者: Debray, Saumya K. Department of Computer Science University of Arizona TucsonAZ85721 United States
Programs typically spend much of their execution time in loops. This makes the generation of efficient code for loops essential for good performance. Loop optimization of logic programming languages is complicated by ... 详细信息
来源: 评论
Fast abductive reasoning over ontologies
Fast abductive reasoning over ontologies
收藏 引用
2006 AAAI Fall Symposium
作者: Davenport, Dan Hill, Ray Lockheed Martin Advanced Technology Laboratories 3 Executive Campus Cherry Hill NJ 08002
In this paper we present a new method for reasoning abductively over instances of a triples ontology. We compute the usefulness of evidence toward making an inference rather than its truth value, probabilistic or othe... 详细信息
来源: 评论
Expressing and supporting efficiently greedy algorithms as locally stratified logic programs  31
Expressing and supporting efficiently greedy algorithms as l...
收藏 引用
31st International Conference on logic programming, ICLP 2015
作者: Zaniolo, Carlo University of California Los Angeles United States
The problem of expressing and supporting classical greedy algorithms in Datalog has been the focus of many significant research efforts that have produced very interesting solutions for particular algorithms. But we s... 详细信息
来源: 评论
MiniKanren, live and untagged: Quine generation via relational interpreters (programming pearl)
MiniKanren, live and untagged: Quine generation via relation...
收藏 引用
2012 Annual Workshop on Scheme and Functional programming, Scheme 2012
作者: Byrd, William E. Holk, Eric Friedman, Daniel P. School of Informatics and Computing Indiana University Bloomington IN 47405 United States
We present relational interpreters for several subsets of Scheme, written in the pure logic programming language miniKanren. We demonstrate these interpreters running "backwards" - that is, generating progra... 详细信息
来源: 评论
On the existence and unicity of stable models in normal residuated logic programs
On the existence and unicity of stable models in normal resi...
收藏 引用
作者: Madrid, Nicolás Ojeda-Aciego, Manuel Dept. Matemática Aplicada ETSI Informática Campus de Teatinos Málaga Spain
We introduce a sufficient condition which guarantees the existence of stable models for a normal residuated logic program interpreted on the truth-space [0, 1]n. Specifically, the continuity of the connectives involve... 详细信息
来源: 评论
Rule-based formalization of eligibility criteria for clinical trials  25
Rule-based formalization of eligibility criteria for clinica...
收藏 引用
25th Benelux Conference on Artificial Intelligence, BNAIC 2013
作者: Huang, Zhisheng Ten Teije, Annette Van Harmelen, Frank Department of Computer Science VU University Amsterdam Netherlands
In this extended abstract, we propose a rule-based formalization of eligibility criteria for clinical trials. The rule-based formalization is implemented by using the logic programming language Prolog. Compared with e... 详细信息
来源: 评论
Second-order unification and type inference for Church-style polymorphism  98
Second-order unification and type inference for Church-style...
收藏 引用
The 1998 25th ACM SIGPLAN SIGACT Symposium on Principles of programming Languages, POPL'98
作者: Schubert, Aleksy Warsaw Univ Warsaw Poland
We prove that the second-order unification problem is undecidable even if the functional free variables may only be applied to ground terms. Despite this strong restriction our proof uses elementary techniques, and do... 详细信息
来源: 评论
A framework for structured knowledge extraction and representation from natural language via deep sentence analysis
A framework for structured knowledge extraction and represen...
收藏 引用
26th Italian Conference on Computational logic, CILC 2011
作者: Costantini, Stefania Florio, Niva Paolucci, Alessio Dip. di Informatica Università di L'Aquila Coppito 67100 L'Aquila Italy
We present a framework that we are currently developing, that allows one to extract knowledge from natural language sentences using a deep analysis technique based on linguistic dependencies. The extracted knowledge i... 详细信息
来源: 评论
Towards a fully-parallel DLV System
Towards a fully-parallel DLV System
收藏 引用
17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
作者: Perri, Simona Ricca, Francesco Sirianni, Marco Department of Mathematics University of Calabria 87030 Rende Italy
In this paper we report on the first attempts to customize and exploit in DLV, a state-of-the-art Answer Set programming system, both novel and existing parallelization methods for the propositional search phase. Phes... 详细信息
来源: 评论