咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 344 篇 电子文献
  • 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 ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 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

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是11-20 订阅
排序:
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... 详细信息
来源: 评论
Towards expert-guided elucidation of cyber attacks through interactive inductive logic programming  13
Towards expert-guided elucidation of cyber attacks through i...
收藏 引用
13th international conference Knowledge and Systems Engineering, KSE 2021
作者: Ray, Oliver Moyle, Steve Univ. of Bristol Department of Computer Science United Kingdom Amplify Intelligence United Kingdom Univ. of Oxford And Cyber Security Centre United Kingdom
this paper proposes a logic-based machine learning approach called Acuity which is designed to facilitate user-guided elucidation of novel phenomena from evidence sparsely distributed across large volumes of linked re... 详细信息
来源: 评论
Discovery of Abstract Concepts by a Robot
收藏 引用
21st international conference on Algorithmic Learning theory (ALT) / 13th international conference on Discovery Science (DS)
作者: Bratko, Ivan Univ Ljubljana Fac Comp & Informat Sci Ljubljana 1000 Slovenia
this paper reviews experiments with an approach to discovery through robot's experimentation in its environment. In addition to discovering laws that enable predictions, we are particularly interested in the mecha... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Mathematics based on incremental learning-excluded middle and inductive inference
收藏 引用
thEORETICAL COMPUTER SCIENCE 2006年 第1期350卷 125-139页
作者: Hayashi, S Kyoto Univ Kyoto 6068501 Japan
Learning theoretic aspects of mathematics and logic have been studied by many authors. they study how mathematical and logical objects are algorithmically "learned" (inferred) from finite data. Although they... 详细信息
来源: 评论
Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves
收藏 引用
MACHINE LEARNING 2006年 第1-3期64卷 231-261页
作者: Goadrich, Mark Oliphant, Louis Shavlik, Jude Univ Wisconsin Dept Biostat & Med Informat Dept Comp Sci Madison WI 53706 USA
Many domains in the field of inductive logic programming (ILP) involve highly unbalanced data. A common way to measure performance in these domains is to use precision and recall instead of simply using accuracy. the ... 详细信息
来源: 评论
Learning to Break Symmetries for Efficient Optimization in Answer Set programming  37
Learning to Break Symmetries for Efficient Optimization in A...
收藏 引用
37th AAAI conference on Artificial Intelligence (AAAI) / 35th conference on Innovative Applications of Artificial Intelligence / 13th Symposium on Educational Advances in Artificial Intelligence
作者: Tarzariol, Alice Gebser, Martin Schekotihin, Konstantin Law, Mark Univ Klagenfurt Klagenfurt Austria Graz Univ Technol Graz Austria ILASP Ltd Grantham England
the ability to efficiently solve hard combinatorial optimization problems is a key prerequisite to various applications of declarative programming paradigms. Symmetries in solution candidates pose a significant challe... 详细信息
来源: 评论
CONSTRUCTIVE inductive logic programming
CONSTRUCTIVE INDUCTIVE LOGIC PROGRAMMING
收藏 引用
13th international Joint conference on Artificial Intelligence (IJCAI-93)
作者: LAPOINTE, S LING, C MATWIN, S DEF RES ESTAB VALCARTIER COURCELETTE G0A 1R0PQCANADA
来源: 评论
Supporting software development through declaratively codified programming patterns
收藏 引用
EXPERT SYSTEMS WIth APPLICATIONS 2002年 第4期23卷 405-413页
作者: Mens, K Michiels, I Wuyts, R Free Univ Brussels Programming Technol Lab B-1050 Brussels Belgium Catholic Univ Louvain Dept Ingn Informat B-1348 Louvain Belgium Univ Bern Inst Informat Software Composit Grp CH-3012 Bern Switzerland
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, most software development environments d... 详细信息
来源: 评论