咨询与建议

限定检索结果

文献类型

  • 55 篇 会议
  • 5 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 48 篇 工学
    • 45 篇 计算机科学与技术...
    • 23 篇 软件工程
    • 9 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 3 篇 电气工程
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 食品科学与工程(可...
  • 19 篇 理学
    • 19 篇 数学
    • 1 篇 统计学(可授理学、...
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...

主题

  • 13 篇 inductive logic ...
  • 10 篇 logic programmin...
  • 7 篇 artificial intel...
  • 4 篇 machine learning
  • 3 篇 data mining
  • 3 篇 mathematical log...
  • 3 篇 horn clauses
  • 3 篇 humans
  • 3 篇 probabilistic lo...
  • 3 篇 knowledge repres...
  • 2 篇 productivity
  • 2 篇 non-monotonic lo...
  • 2 篇 application soft...
  • 2 篇 common-sense rea...
  • 2 篇 stable semantics
  • 2 篇 default reasonin...
  • 2 篇 calculations
  • 2 篇 ilp
  • 2 篇 inductive logic ...
  • 2 篇 p-stable semanti...

机构

  • 2 篇 heriot watt univ...
  • 2 篇 univ helsinki de...
  • 2 篇 univ freiburg in...
  • 2 篇 univ texas dalla...
  • 2 篇 katholieke univ ...
  • 1 篇 indian inst tech...
  • 1 篇 national institu...
  • 1 篇 imperial canc re...
  • 1 篇 turkish naval ac...
  • 1 篇 indian inst tech...
  • 1 篇 univ wisconsin d...
  • 1 篇 school of comput...
  • 1 篇 univ ferrara dip...
  • 1 篇 univ udine udine
  • 1 篇 joint faculty of...
  • 1 篇 bonn-rhein-sieg ...
  • 1 篇 department of ae...
  • 1 篇 department of in...
  • 1 篇 simon fraser uni...
  • 1 篇 ricardo palma un...

作者

  • 3 篇 komendantskaya e...
  • 2 篇 toivonen h.
  • 2 篇 revoredo k.
  • 2 篇 mauricio osorio
  • 2 篇 riguzzi fabrizio
  • 2 篇 li yue
  • 2 篇 ohwada hayato
  • 2 篇 luis carballido ...
  • 2 篇 russo alessandra
  • 2 篇 claudia zepeda
  • 2 篇 shakerin farhad
  • 2 篇 ramakrishnan gan...
  • 2 篇 de raedt l.
  • 2 篇 zepeda claudia
  • 2 篇 kiran t. v. s.
  • 2 篇 kersting k.
  • 2 篇 gupta gopal
  • 2 篇 kimmig a.
  • 2 篇 josé luis carbal...
  • 2 篇 salazar elmer

语言

  • 63 篇 英文
检索条件"任意字段=20th International Conference on Inductive Logic Programming, ILP 2010"
63 条 记 录,以下是1-10 订阅
排序:
Towards Explainable Weather Forecasting through FastLAS  17th
Towards Explainable Weather Forecasting Through FastLAS
收藏 引用
17th international conference on logic programming and Non-monotonic Reasoning
作者: Dreossi, Talissa Dovier, Agostino Formisano, Andrea Law, Mark Manzato, Agostino Russo, Alessandra Tait, Matthew Univ Udine Udine Italy ILASP Ltd London England ARPA FVG OSMER Udine Italy Imperial Coll London London England
Weather forecasting is important for saving lives, protecting property, and supporting economic activities. It provides timely warnings for severe weather, improves agricultural planning, and aids in disaster manageme... 详细信息
来源: 评论
Computable Relations Mapping with Horn Clauses for inductive Program Synthesis  20th
Computable Relations Mapping with Horn Clauses for Inducti...
收藏 引用
20th Principle and Practice of Data and Knowledge Acquisition Workshop, PKAW 2024, held in conjunction with the 21st Pacific Rim international conference on Artificial Intelligence, PRICAI 2024
作者: Qiu, Taosheng Ichise, Ryutaro National Institute of Informatics Tokyo Japan Tokyo Institute of Technology Tokyo Japan The Graduate University for Advanced Studies SOKENDAI Tokyo Japan
inductive logic programming (ilp) systems use logic programming languages like Prolog as computational models. Expressivity of these languages is often built on fixed Herbrand vocabulary, thus requires encoding a... 详细信息
来源: 评论
Learning large logic programs by going beyond entailment  29
Learning large logic programs by going beyond entailment
收藏 引用
29th international Joint conference on Artificial Intelligence, IJCAI 2020
作者: Cropper, Andrew Dumancic, Sebastijan University of Oxford United Kingdom KU Leuven Belgium
A major challenge in inductive logic programming (ilp) is learning large programs. We argue that a key limitation of existing systems is that they use entailment to guide the hypothesis search. this approach is limite... 详细信息
来源: 评论
Inducing Rules about Distributed Robotic Systems for Fault Detection & Diagnosis  21
Inducing Rules about Distributed Robotic Systems for Fault D...
收藏 引用
Proceedings of the 20th international conference on Autonomous Agents and MultiAgent Systems
作者: Youssef Mahmoud Youssef Hochschule Bonn-Rhein-Sieg Bonn Germany
this paper presents an extended abstract for the PhD topic Inducing Rules about Distributed Robotic Systems for Fault Detection & Diagnosis. the research focuses on developing novel methods for fault detection and... 详细信息
来源: 评论
A new algorithm to automate inductive learning of default theories
收藏 引用
thEORY AND PRACTICE OF logic programming 2017年 第5-6期17卷 1010-1026页
作者: Shakerin, Farhad Salazar, Elmer Gupta, Gopal Univ Texas Dallas Richardson TX 75083 USA
In inductive learning of a broad concept, an algorithm should be able to distinguish concept examples from exceptions and noisy data. An approach through recursively finding patterns in exceptions turns out to corresp... 详细信息
来源: 评论
A new algorithm to automate inductive learning of default theories
A new algorithm to automate inductive learning of default th...
收藏 引用
33rd international conference on logic programming colocated with the 23rd international conference on Principles and Practice of Constraint programming / 20th international conference on theory and Applications of Satisfiability Testing
作者: Shakerin, Farhad Salazar, Elmer Gupta, Gopal Univ Texas Dallas Richardson TX 75083 USA
In inductive learning of a broad concept, an algorithm should be able to distinguish concept examples from exceptions and noisy data. An approach through recursively finding patterns in exceptions turns out to corresp... 详细信息
来源: 评论
Productive corecursion in logic programming
收藏 引用
thEORY AND PRACTICE OF logic programming 2017年 第5-6期17卷 906-923页
作者: Komendantskaya, Ekaterina Li, Yue Heriot Watt Univ Edinburgh Midlothian Scotland
logic programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/ coinductive soundness of formulae is a challenging t... 详细信息
来源: 评论
Extracting rules for successful conditions for artificial insemination in dairy cattle using inductive logic programming  2017
Extracting rules for successful conditions for artificial in...
收藏 引用
9th international conference on Machine Learning and Computing, ICMLC 2017
作者: Matsumoto, Atsushi Kubota, Chikara Ohwada, Hayato Department of Industrial Administration Faculty of Science and Technology Tokyo University of Science 2641 Yamazaki Noda Chiba278-8510 Japan Joint Faculty of Veterinary Medicine Laboratory of Theriogenology Kagoshima University 1-24-24 Korimoto Kagoshima Kagoshima890-0065 Japan
this paper describes a method of pattern extraction to identify successful conditions for artificial insemination in dairy cattle using inductive logic programming. the fertility of lactating dairy cows is economicall... 详细信息
来源: 评论
Probabilistic inductive logic programming on the Web  20th
Probabilistic Inductive Logic Programming on the Web
收藏 引用
20th international conference on Knowledge Engineering and Knowledge Management (EKAW)
作者: Riguzzi, Fabrizio Zese, Riccardo Cota, Giuseppe Univ Ferrara Dipartimento Matemat & Informat Via Saragat 1 I-44122 Ferrara Italy Univ Ferrara Dipartimento Ingn Via Saragat 1 I-44122 Ferrara Italy
Probabilistic inductive logic programming (Pilp) is gaining attention for its capability of modeling complex domains containing uncertain relationships among entities. Among Pilp systems, cplint provides inference and... 详细信息
来源: 评论
Productive corecursion in logic programming
Productive corecursion in logic programming
收藏 引用
33rd international conference on logic programming colocated with the 23rd international conference on Principles and Practice of Constraint programming / 20th international conference on theory and Applications of Satisfiability Testing
作者: Komendantskaya, Ekaterina Li, Yue Heriot Watt Univ Edinburgh Midlothian Scotland
logic programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/ coinductive soundness of formulae is a challenging t... 详细信息
来源: 评论