咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是381-390 订阅
排序:
Towards biresiduated multi-adjoint logic programming  10th
Towards biresiduated multi-adjoint logic programming
收藏 引用
10th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2003)/5th Conference on Technology Transfer (TTIA 2003)
作者: Medina, J Ojeda-Aciego, M Valverde, A Vojtás, P Univ Malaga Dept Matemat Aplicada Malaga Spain Safarik Univ Inst Comp Sci Kosice Slovakia
Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in the rules and rather general connectives in the b... 详细信息
来源: 评论
At the interface of inductive logic programming and statistics
收藏 引用
14th International Conference on Inductive logic programming (ILP 2004)
作者: Cussens, J Univ York Dept Comp Sci York YO10 5DD N Yorkshire England
Inductive logic programming can be viewed as a style of statistical inference where the model that is inferred to explain the observed data happens to be a logic program. In general, logic programs have important diff... 详细信息
来源: 评论
Adding efficient data management to logic programming systems
Adding efficient data management to logic programming system...
收藏 引用
16th International Symposium on Methodologies for Intelligent Systems
作者: Terracina, G. Leone, N. Lio, V. Panetta, C. Univ Calabria Dipartmento Matemat I-87036 Arcavacata Di Rende CS Italy
This paper considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: (i) the quantity of data that can be handled contemporarily is limi... 详细信息
来源: 评论
SOLVING logic PROBLEMS WITH OBJECT-ORIENTED CONSTRAINT logic programming
SOLVING LOGIC PROBLEMS WITH OBJECT-ORIENTED CONSTRAINT LOGIC...
收藏 引用
IEEE PACIFIC RIM CONF ON COMMUNICATIONS COMPUTERS AND SIGNAL PROCESSING
作者: OVANS, R SIDEBOTTOM, S Simon Fraser Univ Burnaby Canada
We examine the solution to logic problems via traditional logic programming, constraint logic programming (CLP), and object-oriented CLP. logic problems are a special case of the constraint satisfaction problem (CSP);... 详细信息
来源: 评论
A tutorial on proof theoretic foundations of logic programming
收藏 引用
19th International Conference on logic programming
作者: Bruscoli, P Guglielmi, A Tech Univ Dresden D-01062 Dresden Germany
.Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expressive logic programming languages, en... 详细信息
来源: 评论
A new approach to constraint inductive logic programming  14th
收藏 引用
14th International Symposium on Methodologies for Intelligent Systems
作者: Zheng, L Liu, CN Jia, D Zhong, N Beijing Polytech Univ Beijing Municipal Key Lab Multimedia & Intelligen Sch Comp Sci Beijing 100022 Peoples R China Maebashi Inst Technol Dept Informat Engn Maebashi Gumma 3710816 Japan
A continuing problem with Inductive logic programming (ILP) [1] has been the poor handling of numbers. Constraint Inductive logic programming (CILP) aims to solve this problem. We propose a new approach to CILP, and i... 详细信息
来源: 评论
Geography Gaokao-Oriented Knowledge Acquisition for Comparative Sentences Based on logic programming  6th
Geography Gaokao-Oriented Knowledge Acquisition for Comparat...
收藏 引用
6th CCF International Conference on Natural Language Processing and Chinese Computing (NLPCC)
作者: Li, Xuelian Liu, Qian Zhu, Man Xu, Feifei Yu, Yunxiu Zhang, Shang Ni, Zhaoxi Gao, Zhiqiang Southeast Univ Key Lab Comp Network & Informat Integrat Minist Educ Nanjing Jiangsu Peoples R China Southeast Univ Sch Comp Sci & Engn Nanjing Jiangsu Peoples R China Nanjing Univ Posts & Telecommun Sch Comp Sci & Technol Nanjing Jiangsu Peoples R China
Multiple-choice questions of comparing one entity with another in a university's entrance examination like Gaokao in China are very common but require high knowledge skill. As a preliminary attempt to address this... 详细信息
来源: 评论
Substructural Operational Semantics as Ordered logic programming
Substructural Operational Semantics as Ordered Logic Program...
收藏 引用
24th Annual IEEE Symposium on logic in Computer Science
作者: Pfenning, Frank Simmons, Robert J. Carnegie Mellon Univ Pittsburgh PA 15213 USA
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. Exploiting higher-order terms in this ... 详细信息
来源: 评论
Tableaux for logic programming with strong negation
Tableaux for logic programming with strong negation
收藏 引用
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 97)
作者: Akama, S Teikyo Heisei Univ Dept Informat Syst Computat Log Lab Ichihara Chiba 29001 Japan
logic programming with strong negation (LPS) was proposed by Pearce and Wagner (1991) to handle both explicit and implicit negative information in knowledge representation in AI. We describe tableau calculi for LPS an... 详细信息
来源: 评论
Integrating XQuery and logic programming
Integrating XQuery and Logic Programming
收藏 引用
17th International Conference on Applications of Declarative programming and Knowledge Management/21st Workshop on logic programming
作者: Almendros-Jimenez, Jesus M. Becerra-Teron, Antonio Enciso-Banos, Francisco J. Univ Almeria Dpto Lenguajes & Computac Almeria Spain
In this paper we investigate how to integrate the XQuery language and logic programming. With this aim, we represent XML documents by means of a logic program. This logic program represents the document schema by mean... 详细信息
来源: 评论