咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 4 册 图书

馆藏范围

  • 329 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 12 篇 programming
  • 10 篇 logic gates
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 6 篇 artificial intel...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...
  • 4 篇 model checking
  • 4 篇 java
  • 4 篇 computer languag...
  • 4 篇 integer programm...
  • 4 篇 hardware

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 317 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
329 条 记 录,以下是261-270 订阅
排序:
inductive logic programming: 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings  1
收藏 引用
丛书名: Lecture notes in computer science
2003年
作者: Ross D. King (auth.) Tamás Horváth Akihiro Yamamoto (eds.)
来源: 评论
Systems biology: A new challenge for ILP
收藏 引用
14th international conference on inductive logic programming (ILP 2004)
作者: Oliver, S Univ Manchester Sch Biol Sci Manchester M13 9PL Lancs England
the generation and testing of hypotheses is widely considered to be the primary method by which Science progresses. So much so, that it is still common to find a scientific proposal or an intellectual argument damned ... 详细信息
来源: 评论
Goal-directed methods for Lukasiewicz logic
收藏 引用
18th international Workshop on Computer Science logic/13th Annual conference of the European-Association-for-Computer-Science-logic
作者: Metcalfe, G Olivetti, N Gabbay, D Kings Coll London Dept Comp Sci London WC2R 2LS England Univ Turin Dept Comp Sci I-10149 Turin Italy
In this paper we present goal-directed deduction methods for Lukasiewicz infinite-valued logic L, giving logic programming style algorithms which both have a logical interpretation and provide a suitable basis for imp... 详细信息
来源: 评论
On avoiding redundancy in inductive logic programming
收藏 引用
14th international conference ILP 2004: inductive logic programming
作者: Fonseca, Nuno Costa, Vitor S. Silva, Fernando Camacho, Rui DCC-FC and LIACC Universidade do Porto R. do Campo Alegre 823 4150-180 Porto Portugal COPPE/Sistemas UFRJ Centro de Tecnologia BIoco H-319 Rio de Janeiro Brazil Faculdade de Engenharia And: LIACC Universidade do Porto Rua Dr. Roberto Frias s/n 4200-465 Porto Portugal
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. the generation of redundant hypotheses may prevent the systems from finding goo... 详细信息
来源: 评论
A space efficient implementation of a tableau calculus for a logic with a constructive negation
收藏 引用
18th international Workshop on Computer Science logic/13th Annual conference of the European-Association-for-Computer-Science-logic
作者: Avellone, A Fiorentini, C Fiorino, G Moscato, U Univ Milano Bicocca Dipartimento Metodi Quantitat Sci Econom Aziendal I-20126 Milan Italy Univ Milan Dipartimento Sci Informaz I-20135 Milan Italy
A tableau calculus for a logic with constructive negation and an implementation of the related decision procedure is presented. this logic is an extension of Nelson logic and it has been used in the framework of progr... 详细信息
来源: 评论
A monte carlo study of randomised restarted search in ILP
收藏 引用
14th international conference on inductive logic programming, ILP 2004
作者: Železný, Filip Srinivasan, Ashwin Page, David in Prague Karlovo Nám. 13 Prague121 35 Czech Republic IBM India Research Laboratory Indian Institute of Technology Block 1 New Delhi110 016 India Dept. Of Biostatistics and Medical Informatics Dept. Of Computer Science University of Wisconsin 1300 University Ave. MadisonWI53706 United States
Recent statistical performance surveys of search algorithms in difficult combinatorial problems have demonstrated the benefits of randomising and restarting the search procedure. Specifically, it has been found that i... 详细信息
来源: 评论
Query optimization in inductive logic programming by reordering literals
Query optimization in Inductive Logic Programming by reorder...
收藏 引用
13th international conference on inductive logic programming
作者: Struyf, J Blockeel, H Katholieke Univ Leuven Dept Comp Sci B-3001 Louvain Belgium
Query optimization is used frequently in relational database management systems. Most existing techniques axe based on reordering the relational operators, where the most selective operators are executed first. In thi... 详细信息
来源: 评论
Efficient data structures for inductive logic programming
Efficient data structures for inductive logic programming
收藏 引用
13th international conference on inductive logic programming
作者: Fonseca, N Rocha, R Camacho, R Silva, F Univ Porto DCC FC P-4150180 Oporto Portugal Univ Porto LIACC P-4150180 Oporto Portugal Univ Porto Fac Engn P-4200465 Oporto Portugal
this work aims at improving the scalability of memory usage in inductive logic programming systems. In this context, we propose two efficient data structures: the Trie, used to represent lists and clauses;and the RL-T... 详细信息
来源: 评论
Hybrid abductive inductive learning: A generalisation of Progol
Hybrid abductive inductive learning: A generalisation of Pro...
收藏 引用
13th international conference on inductive logic programming
作者: Ray, O Broda, K Russo, A Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England
the learning system Progo15 and the underlying inference method of Bottom Generalisation are firmly established within inductive logic programming (ILP). But despite their success, it is known that Bottom Generalisati... 详细信息
来源: 评论
Learning structure and parameters of Stochastic logic Programs  12
Learning structure and parameters of Stochastic Logic Progra...
收藏 引用
12th international conference on inductive logic programming
作者: Muggleton, S Univ London Imperial Coll Sci Technol & Med Dept Comp London England
Previous papers have studied learning of Stochastic logic Programs (SLPs) either as a purely parametric estimation problem or separated structure learning and parameter estimation into separate phases. In this paper w... 详细信息
来源: 评论