咨询与建议

限定检索结果

文献类型

  • 34 篇 会议
  • 2 册 图书
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 26 篇 工学
    • 24 篇 计算机科学与技术...
    • 17 篇 软件工程
    • 3 篇 电气工程
    • 2 篇 机械工程
    • 2 篇 控制科学与工程
    • 1 篇 仪器科学与技术
    • 1 篇 信息与通信工程
    • 1 篇 生物医学工程(可授...
  • 9 篇 理学
    • 9 篇 数学
    • 4 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 系统科学
  • 2 篇 管理学
    • 2 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 9 篇 inductive logic ...
  • 4 篇 logic programmin...
  • 3 篇 computer circuit...
  • 3 篇 inductive logic ...
  • 2 篇 networks(communi...
  • 2 篇 experience-based...
  • 2 篇 markov processes
  • 2 篇 numerical reason...
  • 2 篇 statistical rela...
  • 1 篇 table lookup
  • 1 篇 datalog
  • 1 篇 discrete and con...
  • 1 篇 body fat mass
  • 1 篇 time-series data
  • 1 篇 likelihood weigh...
  • 1 篇 formal logic
  • 1 篇 markov logic net...
  • 1 篇 probability dist...
  • 1 篇 model checking
  • 1 篇 graph

机构

  • 2 篇 katholieke univ ...
  • 1 篇 budapest univ te...
  • 1 篇 bits dept comp s...
  • 1 篇 turing institute...
  • 1 篇 inria palaiseau
  • 1 篇 university of ca...
  • 1 篇 cardiff univ sch...
  • 1 篇 university of st...
  • 1 篇 human-centred co...
  • 1 篇 budapest univ te...
  • 1 篇 univ nebraska om...
  • 1 篇 imperial cancer ...
  • 1 篇 turkish naval ac...
  • 1 篇 indiana universi...
  • 1 篇 faculty of scien...
  • 1 篇 lix ecole polyte...
  • 1 篇 department of co...
  • 1 篇 inter univ ctr t...
  • 1 篇 faculty of sci. ...
  • 1 篇 bonn rhein sieg ...

作者

  • 2 篇 muggleton stephe...
  • 2 篇 russo alessandra
  • 2 篇 srinivasan ashwi...
  • 1 篇 zhang mingyi
  • 1 篇 huang yi
  • 1 篇 buenabad-chavez ...
  • 1 篇 king ross d.
  • 1 篇 lewis richard a.
  • 1 篇 alberto martinez...
  • 1 篇 de raedt luc
  • 1 篇 santos jose
  • 1 篇 turliuc rares
  • 1 篇 hayato ohwada
  • 1 篇 law mark
  • 1 篇 suzuki yusuke
  • 1 篇 costa vitor sant...
  • 1 篇 dutra ines
  • 1 篇 solak gokhan
  • 1 篇 dragiev stanisla...
  • 1 篇 kumar amit

语言

  • 38 篇 英文
检索条件"任意字段=26th International Conference on Inductive Logic Programming, ILP 2016"
38 条 记 录,以下是1-10 订阅
排序:
26th international conference on inductive logic programming, ilp 2016
26th International Conference on Inductive Logic Programming...
收藏 引用
26th international conference on inductive logic programming, ilp 2016
the proceedings contain 10 papers. the special focus in this conference is on inductive logic programming. the topics include: Estimation-based search space traversal in Pilp environments;inductive logic programming m...
来源: 评论
Towards Multimodal Co-Construction of Explanations for Robots: Combining inductive logic programming and Large Language Models to Explain Robot Faults  24
Towards Multimodal Co-Construction of Explanations for Robot...
收藏 引用
Companion international conference on Multimodal Interaction
作者: Youssef, Youssef Mahmoud Hassan, Teena Bonn Rhein Sieg Univ Appl Sci Dept Comp Sci Rheinbach Germany Bonn Rhein Sieg Univ Appl Sci Inst AI & Autonomous Syst Rheinbach Germany
this paper explores a hybrid approach to the multimodal co-construction of explanations for robot faults, integrating inductive logic programming (ilp) and Large Language Models (LLMs). As AI and robotics continue to ... 详细信息
来源: 评论
Two applications of logic programming to Coq  26
Two applications of logic programming to Coq
收藏 引用
26th international conference on Types for Proofs and Programs, TYPES 2020
作者: Manighetti, Matteo Miller, Dale Momigliano, Alberto Inria Palaiseau France LIX Ecole Polytechnique Palaiseau France Dipartimento di Informatica University of Milan Italy
the logic programming paradigm provides a flexible setting for representing, manipulating, checking, and elaborating proof structures. this is particularly true when the logic programming language allows for bindings ... 详细信息
来源: 评论
26th international Workshop on Functional and Constraint logic programming, WFLP 2018
26th International Workshop on Functional and Constraint Log...
收藏 引用
26th international Workshop on Functional and Constraint logic programming, WFLP 2018
the proceedings contain 10 papers. the special focus in this conference is on Functional and Constraint logic programming. the topics include: Code Generation for Higher inductive Types: A Study in Agda Metaprogrammin...
来源: 评论
inductive logic programming: 24th international conference, ilp 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
收藏 引用
2016年
作者: Jesse Davis Jan Ramon
this book constitutes the thoroughly refereed post-conference proceedings of the 24th international conference on inductive logic programming, ilp 2014, held in Nancy, France, in September 2014. the 14 revised papers ...
来源: 评论
25th international conference on inductive logic programming, ilp 2015
收藏 引用
25th international conference on inductive logic programming, ilp 2015
the proceedings contain 14 papers. the special focus in this conference is on inductive logic programming. the topics include: Relational kernel-based grasping with numerical features;complex aggregates within random ...
来源: 评论
An abductive-inductive algorithm for probabilistic inductive logic programming  26
An abductive-inductive algorithm for probabilistic inductive...
收藏 引用
26th international conference on inductive logic programming (Short Papers), ilp 2016
作者: Dragiev, Stanislav Russo, Alessandra Broda, Krysia Law, Mark Turliuc, Rares Department of Computing Imperial College London United Kingdom
the integration of abduction and induction has lead to a variety of non-monotonic ilp systems. XHAIL is one of these systems, in which abduction is used to compute hypotheses that subsume Kernel Sets. On the other han... 详细信息
来源: 评论
Deeply semantic inductive spatio-temporal learning  26
Deeply semantic inductive spatio-temporal learning
收藏 引用
26th international conference on inductive logic programming (Short Papers), ilp 2016
作者: Suchan, Jakob Bhatt, Mehul Schultz, Carl Human-Centred Cognitive Assistance University of Bremen Germany DesignSpace Group University of Münster Germany
We present an inductive spatio-temporal learning framework rooted in inductive logic programming. With an emphasis on visuo-spatial language, logic, and cognition, the framework supports learning with relational spati... 详细信息
来源: 评论
Estimation-based search space traversal in Pilp environments  1
收藏 引用
26th international conference on inductive logic programming, ilp 2016
作者: Côrte-Real, Joana Dutra, Inês Rocha, Ricardo Faculty of Sciences CRACS INESC TEC University of Porto Rua do Campo Alegre 1021/1055 Porto4169-007 Portugal
Probabilistic inductive logic programming (Pilp) systems extend ilp by allowing the world to be represented using probabilistic facts and rules, and by learning probabilistic theories that can be used to make predicti... 详细信息
来源: 评论
inductive logic programming meets relational databases: Efficient learning of markov logic networks  1
收藏 引用
26th international conference on inductive logic programming, ilp 2016
作者: Malec, Marcin Khot, Tushar Nagy, James Blask, Erik Natarajan, Sriraam Indiana University Bloomington BloomingtonIN United States Allen Institute of AI Seattle United States Air Force Research Laboratory Riverside United States
Statistical Relational Learning (SRL) approaches have been developed to learn in presence of noisy relational data by combining probability theory with first order logic. While powerful, most learning approaches for t... 详细信息
来源: 评论