咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是331-340 订阅
排序:
IMPLEMENTATION TECHNIQUES FOR SCOPING CONSTRUCTS IN logic programming
IMPLEMENTATION TECHNIQUES FOR SCOPING CONSTRUCTS IN LOGIC PR...
收藏 引用
8TH INTERNATIONAL CONF ON logic programming
作者: JAYARAMAN, B NADATHUR, G State Univ of New York at Buffalo Buffalo United States
Introducing universal quantifiers and some forms of implications into goals provides for scoping constructs in logic programming. We address the new implementation problems raised by the addition of these logical symb... 详细信息
来源: 评论
A new method for computing stable models in logic programming  30
A new method for computing stable models in logic programmin...
收藏 引用
30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
作者: Khaled, Tarek Benhamou, Belaid Siegel, Pierre Aix Marseille Univ Univ Toulon CNRS LIS Marseille France
In this work, we introduce a new method for searching stable models of logical programs. This method is based on a relatively new semantics that has not been exploited yet. This semantics captures and extends that one... 详细信息
来源: 评论
PERFECT RELAXATION IN CONSTRAINT logic programming
PERFECT RELAXATION IN CONSTRAINT LOGIC PROGRAMMING
收藏 引用
8TH INTERNATIONAL CONF ON logic programming
作者: MONTANARI, U ROSSI, F Univ of Pisa Pisa Italy
Perfect relaxation is a very efficient solution technique for any structured discrete constraint satisfaction problem (CSP), i.e. a CSP which has been incrementally generated in a sequence of steps by adding, at each ... 详细信息
来源: 评论
Extending Coinductive logic programming with Co-Facts  1
Extending Coinductive Logic Programming with Co-Facts
收藏 引用
1st Workshop on Coalgebra, Horn Clause logic programming and Types
作者: Ancona, Davide Dagnino, Francesco Zucca, Elena Univ Genoa DIBRIS Genoa Italy
We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning. As... 详细信息
来源: 评论
Applying constraint logic programming to predicate abstraction of RTL Verilog descriptions
Applying constraint logic programming to predicate abstracti...
收藏 引用
4th Mexican International Conference on Artificial Intelligence (MICAI 2005)
作者: Li, T Guo, Y Li, SK Zhu, D Natl Univ Def Technol Changsha 410073 Hunan Peoples R China
A major technique to address state explosion problem in model checking is abstraction. Predicate abstraction has been applied successfully to large software and now to hardware descriptions, such as Verilog. This pape... 详细信息
来源: 评论
On greatest fixpoint semantics of logic programming
On greatest fixpoint semantics of logic programming
收藏 引用
Meeting on Fixed Points in Computer Science (FICS 2000)
作者: Jaume, M Univ Paris 06 SPI KIP6 F-75015 Paris France
The study of fixpoints has long been at the heart of logic programming. However, whereas least fixpoint semantics works well for SLD-refutations (i.e. is sound and complete), there is no satisfactory (i.e. complete) f... 详细信息
来源: 评论
Discovery of functional relationships in multi-relational data using inductive logic programming
Discovery of functional relationships in multi-relational da...
收藏 引用
4th IEEE International Conference on Data Mining
作者: Alves, A Camacho, R Oliveira, E LIACC P-4150 Oporto Portugal
ILP systems have been largely applied to datamining classification tasks with a considerable success. The use of ILP systems in regression tasks has been far less successful. Current systems have very limited numerica... 详细信息
来源: 评论
A Proposal for an Educational System Service to Support Teaching/Learning Process for logic programming
A Proposal for an Educational System Service to Support Teac...
收藏 引用
24th IEEE-CS Conference on Software Engineering Education and Training (CSEEandT)/33rd International Conference on Software Engineering (ICSE)
作者: Dantas, Eric R. G. de Azevedo, Ryan R. Rodrigues, Cleyton M. O. Almeida, Silas C. Freitas, Fred Garcia, Vinicius C. Fed Univ Pernambuco UFPE Recife PE Brazil
The Information and Communication Technology (ICT) have been successfully used to transform either partial/total face to face or distance learning education [1]. Educational software systems aid the teaching/learning ... 详细信息
来源: 评论
Embedding Functional logic programming in Haskell via a Compiler Plugin  25th
Embedding Functional Logic Programming in Haskell via a Comp...
收藏 引用
25th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Prott, Kai-Oliver Teegen, Finn Christiansen, Jan Univ Kiel Kiel Germany Flensburg Univ Appl Sci Flensburg Germany
We present a technique to embed a functional logic language in Haskell using a GHC plugin. Our approach is based on a monadic lifting that models the functional logic semantics explicitly. Using a GHC plugin, we get m... 详细信息
来源: 评论
Decidable fragments of logic programming with value invention
Decidable fragments of logic programming with value inventio...
收藏 引用
10th European Conference on logics in Artificial Intelligence
作者: Calimeri, Francesco Cozza, Susanna Ianni, Giovambattista Univ Calabria Dipartimento Matemat I-87036 Arcavacata Di Rende CS Italy
The issue of value invention in logic programming embraces many scenarios, such as logic programming with function symbols, object oriented logic languages, inter-operability with external sources of knowledge, set un... 详细信息
来源: 评论