咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是51-60 订阅
排序:
Systems biology: A new challenge for ILP
收藏 引用
14th international conference on inductive logic programming (ILP 2004)
作者: Oliver, S Univ Manchester Sch Biol Sci Manchester M13 9PL Lancs England
the generation and testing of hypotheses is widely considered to be the primary method by which Science progresses. So much so, that it is still common to find a scientific proposal or an intellectual argument damned ... 详细信息
来源: 评论
Road Curb Detection using 3D Lidar and Integral Laser Points for Intelligent Vehicles
Road Curb Detection using 3D Lidar and Integral Laser Points...
收藏 引用
6th international conference on Soft Computing and Intelligent Systems (SCIS) / 13th international Symposium on Advanced Intelligence Systems (ISIS)
作者: Yao, Wentao Deng, Zhidong Zhou, Lipu Tsinghua Univ Dept Comp Sci & Technol Tsinghua Key Natl Lab Informat Sci & Technol State Key Lab Intelligent Technol & Syst Beijing 100084 Peoples R China
Road curb detection and tracking is essential for the autonomous driving of intelligent vehicles on highways and urban roads. In this paper, we present a fast and robust road curb detection algorithm using 3D lidar da... 详细信息
来源: 评论
Proceedings - 2021 13th international conference Knowledge and Systems Engineering, KSE 2021
Proceedings - 2021 13th International Conference Knowledge a...
收藏 引用
13th international conference Knowledge and Systems Engineering, KSE 2021
the proceedings contain 62 papers. the topics discussed include: recognizing modern Japanese magazines by combining deep learning with language models;mining high utility sequences with a novel utility function;fully ...
来源: 评论
K-Taint: An Executable Rewriting logic Semantics for Taint Analysis in the K Framework  13
K-Taint: An Executable Rewriting Logic Semantics for Taint A...
收藏 引用
13th international conference on Evaluation of Novel Approaches to Software Engineering
作者: Alam, Md. Imran Halder, Raju Goswami, Harshita Pinto, Jorge Sousa Indian Inst Technol Patna Patna Bihar India INESC TEC HASLab Braga Portugal Univ Minho Braga Portugal
the K framework is a rewrite logic-based framework for defining programming language semantics suitable for formal reasoning about programs and programming languages. In this paper, we present K-Taint, a rewriting log... 详细信息
来源: 评论
Extension of the top-down data-driven strategy to ILP
Extension of the top-down data-driven strategy to ILP
收藏 引用
16th international conference on inductive logic programming
作者: Alphonse, Erick Rouveirol, Celine Univ Paris 13 LIPN CNRS UMR 7030 F-93430 Villetaneuse France
Several upgrades of Attribute-Value learning to inductive logic programming have been proposed and used successfully. However, the Top-Down Data-Driven strategy, popularised by the AQ family, has not yet been transfer... 详细信息
来源: 评论
logic programming
Logic programming
收藏 引用
Proceedings of the 13th international Joint conference on Artificial Intelligence
来源: 评论
Towards Verifying a Blocks World for Teams GOAL Agent  13
Towards Verifying a Blocks World for Teams GOAL Agent
收藏 引用
13th international conference on Agents and Artificial Intelligence (ICAART)
作者: Jensen, Alexander Birch Tech Univ Denmark Dept Appl Math & Comp Sci DTU Compute Richard Petersens PladsBldg 324 DK-2800 Lyngby Denmark
We continue to see an increase in applications based on multi-agent system technology. As the technology becomes more widespread, so does the requirement for agent systems to operate reliably. In this paper, we expand... 详细信息
来源: 评论
A Deductive System for FO(ID) Based on Least Fixpoint logic
收藏 引用
10th international conference on logic programming and Nonmonotonic Reasoning
作者: Hou, Ping Denecker, Marc Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
the logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. the goal of this paper is to extend Gentzen's sequeut calculus to obtain a deduc... 详细信息
来源: 评论
Can predicate invention compensate for incomplete background knowledge?  13
Can predicate invention compensate for incomplete background...
收藏 引用
13th Scandinavian conference on Artificial Intelligence
作者: Cropper, Andrew Mugglteon, Stephen Imperial Coll London London England
In machine learning we are often faced with the problem of incomplete data, which can lead to lower predictive accuracies in both feature-based and relational machine learning. It is therefore important to develop tec... 详细信息
来源: 评论
Inverse entailment in nonmonotonic logic programs  10th
Inverse entailment in nonmonotonic logic programs
收藏 引用
10th international conference on inductive logic programming, ILP 2000
作者: Sakama, Chiaki Department of Computer and Communication Sciences Wakayama University SakaedaniWakayama640 8510 Japan
Inverse entailment (IE) is known as a technique for finding inductive hypotheses in Horn theories. When a background theory is nonmonotonic, however, IE is not applicable in its present form. the purpose of this paper... 详细信息
来源: 评论