咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 525 篇 inductive logic ...
  • 80 篇 machine learning
  • 25 篇 answer set progr...
  • 23 篇 relational learn...
  • 23 篇 data mining
  • 18 篇 statistical rela...
  • 12 篇 explainable ai
  • 11 篇 logic programmin...
  • 11 篇 predicate invent...
  • 9 篇 reinforcement le...
  • 9 篇 theory revision
  • 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 篇 英文
  • 23 篇 其他
  • 3 篇 中文
  • 1 篇 德文
  • 1 篇 法文
检索条件"主题词=Inductive Logic Programming"
525 条 记 录,以下是201-210 订阅
排序:
Predicting functional upstream open reading frames in Saccharomyces cerevisiae
收藏 引用
BMC BIOINFORMATICS 2009年 第1期10卷 1-10页
作者: Selpi Bryant, Christopher H. Kemp, Graham J. L. Sarv, Janeli Kristiansson, Erik Sunnerhagen, Per Chalmers Dept Appl Mech SE-41296 Gothenburg Sweden Univ Salford Sch Comp Sci & Engn Salford M5 4WT Lancs England Chalmers Dept Comp Sci & Engn SE-41296 Gothenburg Sweden Chalmers Dept Math Sci SE-41296 Gothenburg Sweden Univ Gothenburg SE-41296 Gothenburg Sweden Univ Gothenburg Dept Zool SE-40530 Gothenburg Sweden Univ Gothenburg Dept Cell & Mol Biol Lundberg Lab SE-40530 Gothenburg Sweden
Background: Some upstream open reading frames (uORFs) regulate gene expression (i.e., they are functional) and can play key roles in keeping organisms healthy. However, how uORFs are involved in gene regulation is not... 详细信息
来源: 评论
Numerical reasoning with an ILP system capable of lazy evaluation and customised search
收藏 引用
JOURNAL OF logic programming 1999年 第2-3期40卷 185-213页
作者: Srinivasan, A Camacho, R Univ Oxford Comp Lab Oxford OX1 3QD England CIUP LIACC P-4150 Porto Portugal
Using problem-specific background knowledge, computer programs developed within the framework of inductive logic programming (ILP) have been used to construct restricted first-order logic solutions to scientific probl... 详细信息
来源: 评论
PYTHIA-II: A knowledge/database system for managing performance data and recommending scientific software
收藏 引用
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE 2000年 第2期26卷 227-253页
作者: Houstis, EN Catlin, AC Rice, JR Verykios, VS Ramakrishnan, N Houstis, CE Purdue Univ Dept Comp Sci W Lafayette IN 47906 USA Drexel Univ Coll Informat Sci & Technol Philadelphia PA 19104 USA Virginia Polytech Inst & State Univ Dept Comp Sci Blacksburg VA 24061 USA Univ Crete Dept Comp Sci Iraklion Greece
Often scientists need to locate appropriate software for their problems and then select from among many alternatives. We have previously proposed an approach for dealing with this task by processing performance data o... 详细信息
来源: 评论
Machine Discovery of Comprehensible Strategies for Simple Games Using Meta-interpretive Learning
收藏 引用
NEW GENERATION COMPUTING 2019年 第2期37卷 203-217页
作者: Muggleton, Stephen H. Hocquette, Celine Imperial Coll London Dept Comp 180 Queens Gate London England
Recently, world-class human players have been outperformed in a number of complex two-person games (Go, Chess, Checkers) by Deep Reinforcement Learning systems. However, the data efficiency of the learning systems is ... 详细信息
来源: 评论
Strategies in combined learning via logic programs
收藏 引用
MACHINE LEARNING 2000年 第1-2期38卷 63-87页
作者: Lamma, E Riguzzi, F Pereira, LM Univ Bologna DEIS I-40136 Bologna Italy Univ Nova Lisboa Fac Ciencias & Tecnol Dept Informat Ctr Inteligencia Artificial P-2825 Monte De Caparica Portugal
We discuss the adoption of a three-valued setting for inductive concept learning. Distinguishing between what is true, what is false and what is unknown can be useful in situations where decisions have to be taken on ... 详细信息
来源: 评论
Understanding the crucial role of attribute interaction in data mining
收藏 引用
ARTIFICIAL INTELLIGENCE REVIEW 2001年 第3期16卷 177-199页
作者: Freitas, AA Pontificia Univ Catolica Parana Postgrad Program Comp Sci BR-80215901 Curitiba Parana Brazil
This is a review paper, whose goal is to significantly improve our understanding of the crucial role of attribute interaction in data mining. The main contributions of this paper are as follows. Firstly, we show that ... 详细信息
来源: 评论
Experiments in predicting biodegradability
收藏 引用
APPLIED ARTIFICIAL INTELLIGENCE 2004年 第2期18卷 157-181页
作者: Blockeel, H Dzeroski, S Kompare, B Kramer, S Pfahringer, B Van Laer, W Katholieke Univ Leuven Dept Comp Sci B-3001 Louvain Belgium Jozef Stefan Inst Dept Intelligent Syst Ljubljana Slovenia Univ Ljubljana Fac Civil Engn & Geodesy Ljubljana Slovenia Tech Univ Munich Dept Comp Sci D-8000 Munich Germany Univ Waikato Dept Comp Sci Hamilton New Zealand
This paper is concerned with the use of AI techniques in ecology. More specifically, we present a novel application of inductive logic programming (ILP) in the area of quantitative structure-activity relationships (QS... 详细信息
来源: 评论
Efficient algorithm for glitch power reduction
收藏 引用
ELECTRONICS LETTERS 1999年 第13期35卷 1040-1041页
作者: Kim, S Kim, J Hwang, SY Sogang Univ Dept Comp Sci Seoul 100611 South Korea Sogang Univ Dept Elect Engn Seoul 100611 South Korea
An efficient algorithm is proposed for reducing glitch power dissipation in CMOS logic circuits. The proposed algorithm takes a path balancing approach that is achieved using gate sizing and buffer insertion methods. ... 详细信息
来源: 评论
Relational inductive learning with a hybrid evolutionary algorithm
收藏 引用
AI COMMUNICATIONS 2005年 第1期18卷 67-69页
作者: Divina, F Free Univ Amsterdam Dept Comp Sci NL-1081 HV Amsterdam Netherlands
inductive learning in First-Order logic (FOL) is a hard task due to both the prohibitive size of the search space and the computational cost of evaluating hypotheses. This paper describes an evolutionary algorithm for... 详细信息
来源: 评论
Constructing simply recursive programs from a finite set of good examples
收藏 引用
INFORMATION PROCESSING LETTERS 1997年 第5期64卷 225-230页
作者: Hirata, K Kyushu Inst Technol Dept Arificial Intelligence Iizuka Fukuoka 820 Japan
In this paper, we design an algorithm to construct simply recursive programs from a finite set of good examples. (C) 1997 Published by Elsevier Science B.V.
来源: 评论