咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 489 篇 工学
    • 436 篇 计算机科学与技术...
    • 96 篇 软件工程
    • 60 篇 电气工程
    • 47 篇 控制科学与工程
    • 26 篇 信息与通信工程
    • 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 篇 军事学

主题

  • 528 篇 inductive logic ...
  • 81 篇 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 篇 learning
  • 7 篇 first-order logi...
  • 7 篇 heuristics

机构

  • 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 篇 kersting kristia...
  • 7 篇 blockeel h
  • 7 篇 gupta gopal
  • 7 篇 camacho rui
  • 6 篇 dzeroski s
  • 6 篇 ribeiro tony
  • 6 篇 shakerin farhad
  • 6 篇 zelezny filip
  • 6 篇 zaverucha gerson
  • 5 篇 muggleton stephe...
  • 5 篇 sakama chiaki
  • 5 篇 de raedt luc
  • 5 篇 law mark

语言

  • 501 篇 英文
  • 22 篇 其他
  • 3 篇 中文
  • 1 篇 德文
  • 1 篇 法文
检索条件"主题词=Inductive Logic programming"
528 条 记 录,以下是171-180 订阅
排序:
Australian Multicenter Study of Isolated Limb Infusion for Melanoma
收藏 引用
ANNALS OF SURGICAL ONCOLOGY 2016年 第4期23卷 1096-1103页
作者: Kroon, Hidde M. Coventry, Brendon J. Giles, Mitchell H. Henderson, Michael A. Speakman, David Wall, Mark Barbour, Andrew Serpell, Jonathan Paddle, Paul Coventry, Alexander G. J. Sullivan, Thomas Smithers, Bernard Mark Thompson, John F. Univ Adelaide Royal Adelaide Hosp Discipline Surg Adelaide SA Australia Univ Melbourne Dept Surg Peter MacCallum Canc Ctr Div Surg Oncol Melbourne Vic Australia Univ Queensland Princess Alexandra Hosp Discipline Surg Queensland Melanoma Project Brisbane Qld Australia Alfred Hosp Discipline Surg Melbourne Vic Australia Univ Adelaide Discipline Publ Hlth Stat Data Management & Anal Ctr Adelaide SA Australia Melanoma Inst Australia Sydney NSW Australia Univ Sydney Discipline Surg Sydney NSW 2006 Australia Royal Prince Alfred Hosp Dept Melanoma & Surg Oncol Camperdown NSW 2050 Australia
Isolated limb infusion (ILI) offers a less invasive alternative to isolated limb perfusion (ILP) for the treatment of locally advanced extremity melanoma. In Australia, ILI has essentially completely replaced ILP. The... 详细信息
来源: 评论
Online learning of event definitions
收藏 引用
THEORY AND PRACTICE OF logic programming 2016年 第5-6期16卷 817-833页
作者: Katzouris, Nikos Artikis, Alexander Paliouras, Georgios Univ Athens Dept Informat & Telecommun Athens Greece Univ Piraeus Dept Maritime Studies Piraeus Greece Natl Ctr Sci Res Demokritos Inst Informat & Telecommun Athens Greece
Systems for symbolic event recognition infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in eve... 详细信息
来源: 评论
Formulating Description logic Learning as an inductive logic programming Task
Formulating Description Logic Learning as an Inductive Logic...
收藏 引用
2010 IEEE World Congress on Computational Intelligence
作者: Konstantopoulos, Stasinos Charalambidis, Angelos NCSR Demokritos Aghia Paraskevi Inst Informat & Telecommun Athens 15310 Greece
We describe an inductive logic programming (ILP) approach to learning descriptions in Description logics (DL) under uncertainty. The approach is based on implementing many-valued DL proofs as propositionalizations of ... 详细信息
来源: 评论
Constraint Models for Reasoning on Unification in inductive logic programming
Constraint Models for Reasoning on Unification in Inductive ...
收藏 引用
14th International Conference on Artificial Intelligence - Methodology, Systems, Applications (AIMSA)
作者: Bartak, Roman Charles Univ Prague Fac Math & Phys Prague 11800 1 Czech Republic
inductive logic programming (ILP) deals with the problem of finding a hypothesis covering all positive examples and excluding negative examples. One of the sub-problems is specifying the structure of the hypothesis, t... 详细信息
来源: 评论
Elastic Virtual Machine Scheduling for Continuous Air Traffic Optimization  16
Elastic Virtual Machine Scheduling for Continuous Air Traffi...
收藏 引用
16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)
作者: Imai, Shigeru Patterson, Stacy Varela, Carlos A. Rensselaer Polytech Inst Dept Comp Sci Troy NY 12181 USA
As we are facing ever increasing air traffic demand, it is critical to enhance air traffic capacity and alleviate human controllers' workload by viewing air traffic optimization as a continuous/online streaming pr... 详细信息
来源: 评论
Interpretable Models to Predict Breast Cancer
Interpretable Models to Predict Breast Cancer
收藏 引用
IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM)
作者: Ferreira, Pedro Dutra, Ines Salvini, Rogerio Burnside, Elizabeth CRACS INESC TEC Oporto Portugal Univ Porto DCC FC Oporto Portugal Univ Wisconsin Sch Med Madison WI USA Univ Fed Goias Jatai Go Brazil
Several works in the literature use propositional ("black box") approaches to generate prediction models. In this work we employ the inductive logic programming technique, whose prediction model is based on ... 详细信息
来源: 评论
Privacy Dynamics: Learning Privacy Norms for Social Software  11
Privacy Dynamics: Learning Privacy Norms for Social Software
收藏 引用
11th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
作者: Calikli, Gul Law, Mark Bandara, Arosha K. Russo, Alessandra Dickens, Luke Price, Blaine A. Stuart, Avelie Levine, Mark Nuseibeh, Bashar Open Univ Comp & Commun Milton Keynes Bucks England Imperial Coll Dept Comp London England UCL London England Univ Exeter Psychol Exeter Devon England Univ Limerick Lero Limerick Ireland
Privacy violations in online social networks (OSNs) often arise as a result of users sharing information with unintended audiences. One reason for this is that, although OSN capabilities for creating and managing soci... 详细信息
来源: 评论
Online learning of event definitions
Online learning of event definitions
收藏 引用
32nd International Conference on logic programming (ICLP)
作者: Katzouris, Nikos Artikis, Alexander Paliouras, Georgios Univ Athens Dept Informat & Telecommun Athens Greece Univ Piraeus Dept Maritime Studies Piraeus Greece Natl Ctr Sci Res Demokritos Inst Informat & Telecommun Athens Greece
Systems for symbolic event recognition infer occurrences of events in time using a set of event definitions in the form of first-order rules. The Event Calculus is a temporal logic that has been used as a basis in eve... 详细信息
来源: 评论
Experience-based Learning of Symbolic Numerical Constraints  16
Experience-based Learning of Symbolic Numerical Constraints
收藏 引用
16th IEEE-RAS International Conference on Humanoid Robots (Humanoids)
作者: Solak, Gokhan Ak, Abdullah Cihan Sariel, Sanem Istanbul Tech Univ Artificial Intelligence & Robot Lab Comp Engn Dept Istanbul Turkey
Learning symbolic-level numerical constraints is key to use abstractions in effective reasoning and transfer of knowledge for robot systems. We investigate this problem in an experience-based learning framework which ... 详细信息
来源: 评论
Intra-Frame Sharing for Low-Complexity Decoding of SHVC Video
Intra-Frame Sharing for Low-Complexity Decoding of SHVC Vide...
收藏 引用
IEEE International Conference on Consumer Electronics (ICCE)
作者: Luong Pham Van De Praeter, Johan Van Wallendael, Glenn Alface, Patrice Rondao Lambert, Peter Univ Ghent iMinds ELIS Multimedia Lab Ghent Belgium Alcatel Lucent Bell Labs Antwerp Belgium
Scalable video coding provides an efficient adaptation solution for delivering video to consumer devices with a great variety of characteristics. This technique encodes video using a base layer and several enhancement... 详细信息
来源: 评论