咨询与建议

限定检索结果

文献类型

  • 314 篇 期刊文献
  • 206 篇 会议
  • 3 篇 学位论文
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 486 篇 工学
    • 433 篇 计算机科学与技术...
    • 96 篇 软件工程
    • 60 篇 电气工程
    • 47 篇 控制科学与工程
    • 26 篇 信息与通信工程
    • 12 篇 生物工程
    • 6 篇 生物医学工程(可授...
    • 5 篇 电子科学与技术(可...
    • 4 篇 机械工程
    • 3 篇 仪器科学与技术
    • 3 篇 测绘科学与技术
    • 3 篇 网络空间安全
    • 2 篇 光学工程
    • 2 篇 化学工程与技术
  • 81 篇 理学
    • 45 篇 数学
    • 21 篇 生物学
    • 5 篇 物理学
    • 5 篇 统计学(可授理学、...
    • 4 篇 化学
    • 4 篇 系统科学
    • 2 篇 地理学
  • 37 篇 医学
    • 16 篇 基础医学(可授医学...
    • 11 篇 临床医学
    • 3 篇 药学(可授医学、理...
    • 2 篇 公共卫生与预防医...
  • 36 篇 管理学
    • 28 篇 管理科学与工程(可...
    • 5 篇 图书情报与档案管...
    • 4 篇 公共管理
  • 3 篇 文学
    • 2 篇 外国语言文学
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 哲学
  • 1 篇 经济学
  • 1 篇 法学
  • 1 篇 教育学
  • 1 篇 军事学

主题

  • 524 篇 inductive logic ...
  • 80 篇 machine learning
  • 24 篇 answer set progr...
  • 23 篇 relational learn...
  • 23 篇 data mining
  • 18 篇 statistical rela...
  • 11 篇 logic programmin...
  • 11 篇 predicate invent...
  • 11 篇 explainable ai
  • 9 篇 theory revision
  • 8 篇 reinforcement le...
  • 8 篇 semantic web
  • 8 篇 ilp
  • 8 篇 information extr...
  • 7 篇 computational le...
  • 7 篇 program synthesi...
  • 7 篇 online learning
  • 7 篇 first-order logi...
  • 7 篇 heuristics
  • 7 篇 meta-interpretiv...

机构

  • 9 篇 katholieke univ ...
  • 8 篇 imperial coll lo...
  • 7 篇 natl inst inform...
  • 6 篇 univ london impe...
  • 6 篇 univ bamberg cog...
  • 6 篇 katholieke univ ...
  • 5 篇 univ oxford oxfo...
  • 5 篇 univ texas dalla...
  • 5 篇 imperial coll lo...
  • 4 篇 univ york dept c...
  • 4 篇 univ waikato dep...
  • 4 篇 res org informat...
  • 4 篇 jozef stefan ins...
  • 4 篇 univ oxford comp...
  • 4 篇 columbia univ ct...
  • 4 篇 tufts univ dept ...
  • 4 篇 univ fed pernamb...
  • 4 篇 univ new south w...
  • 4 篇 univ toulouse 3 ...
  • 3 篇 department of co...

作者

  • 16 篇 inoue katsumi
  • 13 篇 srinivasan ashwi...
  • 13 篇 schmid ute
  • 8 篇 costa vitor sant...
  • 8 篇 muggleton stephe...
  • 8 篇 russo alessandra
  • 7 篇 cropper andrew
  • 7 篇 blockeel h
  • 7 篇 gupta gopal
  • 7 篇 camacho rui
  • 6 篇 dzeroski s
  • 6 篇 ribeiro tony
  • 6 篇 kersting kristia...
  • 6 篇 shakerin farhad
  • 6 篇 zelezny filip
  • 6 篇 zaverucha gerson
  • 5 篇 sakama chiaki
  • 5 篇 de raedt luc
  • 5 篇 law mark
  • 5 篇 siebers michael

语言

  • 497 篇 英文
  • 22 篇 其他
  • 3 篇 中文
  • 1 篇 德文
  • 1 篇 法文
检索条件"主题词=Inductive Logic Programming"
524 条 记 录,以下是351-360 订阅
排序:
Inference of abduction theories for handling incompleteness in first-order learning
收藏 引用
KNOWLEDGE AND INFORMATION SYSTEMS 2007年 第2期11卷 217-242页
作者: Esposito, F. Ferilli, S. Basile, T. M. A. Di Mauro, N. Univ Bari Dept Comp Sci I-70121 Bari Italy
In real-life domains, learning systems often have to deal with various kinds of imperfections in data such as noise, incompleteness and inexactness. This problem seriously affects the knowledge discovery process, spec... 详细信息
来源: 评论
An integrative domain-based approach to predicting protein-protein interactions
收藏 引用
Journal of bioinformatics and computational biology 2008年 第6期6卷 1115-32页
作者: Thanh-Phuong Nguyen Tu-Bao Ho The Microsoft Research University of Trento Centre for Computational and Systems Biology Povo (Trento) Italy. nguyen@cosbi.eu
Protein-protein interactions (PPIs) are intrinsic to almost all cellular processes. Different computational methods offer new chances to study PPIs. To predict PPIs, while the integrative methods use multiple data sou... 详细信息
来源: 评论
Learning horn expressions with LOGAN-H
收藏 引用
JOURNAL OF MACHINE LEARNING RESEARCH 2007年 第3期8卷 549-587页
作者: Arias, Marta Khardon, Roni Maloberti, Jerome Columbia Univ Ctr Computat Learning Syst New York NY 10115 USA Tufts Univ Dept Comp Sci Medford MA 02155 USA Univ Paris Sud Rech Informat Lab F-91405 Orsay France
The paper introduces LOGAN-H-a system for learning first-order function-free Horn expressions from interpretations. The system is based on an algorithm that learns by asking questions and that was proved correct in pr... 详细信息
来源: 评论
L-wrappers: concepts, properties and construction - A declarative approach to data extraction from web sources
收藏 引用
SOFT COMPUTING 2007年 第8期11卷 753-772页
作者: Badica, Costin Badica, Amelia Popescu, Elvira Abraham, Ajith Univ Craiova Software Engn Dept Craiova 200440 Romania Univ Craiova Business Informat Syst Dept Craiova 200585 Romania Chung Ang Univ Sch Comp Sci & Engn IITA Professorship Program Seoul 156756 South Korea
In this paper, we propose a novel class of wrappers (logic wrappers) inspired by the logic prog- ramming paradigm. The developed logic wrappers (L-wrapper) have declarative semantics, and therefore: (i) their specific... 详细信息
来源: 评论
Learning fuzzy rules with their implication operators
收藏 引用
DATA & KNOWLEDGE ENGINEERING 2007年 第1期60卷 71-89页
作者: Serrurier, Mathieu Dubois, Didier Prade, Henri Sudkamp, Thomas Univ Toulouse 3 IRIT CNRS F-31062 Toulouse France Wright State Univ Dept Comp Sci Dayton OH 45385 USA
Fuzzy predicates have been incorporated into machine learning and data mining to extend the types of data relationships that can be represented, to facilitate the interpretation of rules in linguistic terms, and to av... 详细信息
来源: 评论
The Daikon system for dynamic detection of likely invariants
收藏 引用
SCIENCE OF COMPUTER programming 2007年 第1-3期69卷 35-45页
作者: Ernst, Michael D. Perkins, Jeff H. Guo, Philip J. McCarnant, Stephen Pacheco, Carlos Tschantz, Matthew S. Xiao, Chen MIT Comp Sci & Artificial Intelligence Lab Cambridge MA 02139 USA
Daikon is an implementation of dynamic detection of likely invariants;that is, the Daikon invariant detector reports likely program invariants. An invariant is a property that holds at a certain point or points in a p... 详细信息
来源: 评论
Introducing possibilistic logic in ILP for dealing with exceptions
收藏 引用
ARTIFICIAL INTELLIGENCE 2007年 第16-17期171卷 939-950页
作者: Serrurier, Mathieu Prade, Henri UPS IRIT Toulouse France
In this paper we propose a new formalization of the inductive logic programming (ILP) problem for a better handling of exceptions. It is now encoded in first-order possibilistic logic. This allows us to handle excepti... 详细信息
来源: 评论
Fast frequent querying with lazy control flow compilation
收藏 引用
THEORY AND PRACTICE OF logic programming 2007年 第4期7卷 481-498页
作者: Troncon, Remko Janssens, Gerda Demoen, Bart Vandecasteele, Henk Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
Control flow compilation is a hybrid between classical WAM compilation and meta-call, limited to the compilation of non-recursive clause bodies. This approach is used successfully for the execution of dynamically gene... 详细信息
来源: 评论
Predicting Students' Performance with SimStudent: Learning Cognitive Skills from Observation  13
收藏 引用
13th International Conference on Artificial Intelligence in Education (AIED 2007)
作者: Matsuda, Noboru Cohen, William W. Sewall, Jonathan Lacerda, Gustavo Koedinger, Kenneth R. Carnegie Mellon Univ Human Comp Interact Inst Pittsburgh PA 15213 USA
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to help an author build a cognitive model w... 详细信息
来源: 评论
Learning directed probabilistic logical models: Ordering-search versus structure-search
收藏 引用
18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007)
作者: Fierens, Daan Ramon, Jan Bruynooghe, Maurice Blockeel, Hendrik Katholieke Univ Leuven Dept Comp Sci Celestijnenlaan 200A B-3001 Heverlee Belgium
We discuss how to learn non-recursive directed probabilistic logical models from relational data. This problem has been tackled before by upgrading the structure-search algorithm initially proposed for Bayesian networ... 详细信息
来源: 评论