咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是171-180 订阅
排序:
13th international Symposium on Practical Aspects of Declarative Languages, PADL 2011
收藏 引用
13th international Symposium on Practical Aspects of Declarative Languages, PADL 2011
the proceedings contain 20 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: Using constraints for intrusion detection: the NeMODe system;A declarative ...
来源: 评论
Matching logic: An Alternative to Hoare/Floyd logic
Matching Logic: An Alternative to Hoare/Floyd Logic
收藏 引用
13th international conference on Algebraic Methodology and Software Technology
作者: Rosu, Grigore Ellison, Chucky Schulte, Wolfram Univ Illinois Urbana IL 61801 USA Microsoft Res Redmond WA USA
this paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic specifications are particular first-order formula... 详细信息
来源: 评论
A Numerical Refinement Operator Based on Multi-Instance Learning
收藏 引用
20th international conference on inductive logic programming (ILP)
作者: Alphonse, Erick Girschick, Tobias Buchwald, Fabian Kramer, Stefan Univ Paris 13 Lab Informat F-93430 Villetaneuse France
We present a numerical refinement operator based on multi-instance learning. In the approach, the task of handling numerical variables in a clause is delegated to statistical multi-instance learning schemes. To each c... 详细信息
来源: 评论
Off-line algorithms for Routing, Modulation Level, and Spectrum Assignment in elastic optical networks
Off-line algorithms for Routing, Modulation Level, and Spect...
收藏 引用
international conference on Transparent Optical Networks
作者: Miroslaw Klinkowski Krzysztof Walkowiak Marek Jaworski Department of Transmission and Optical Technologies National Institute of Telecommunications Warszawa Poland Department of System and Computer Networks Wroclaw University of Technology Wroclaw Poland
Optical network architectures with elastic bandwidth provisioning are a very promising approach for next generation optical networks. Such elastic optical networks will enable efficient resource utilization and flexib... 详细信息
来源: 评论
13th international conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDGrC 2011
13th International Conference on Rough Sets, Fuzzy Sets, Dat...
收藏 引用
13th international conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, RSFDGrC 2011
the proceedings contain 56 papers. the special focus in this conference is on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing. the topics include: An Improved Variable Precision Model of Dominance-Based Rou...
来源: 评论
Discovering coherence and justification clusters in digital transcripts using epistemic analysis  11
Discovering coherence and justification clusters in digital ...
收藏 引用
Proceedings of the 13th international conference on Artificial Intelligence and Law
作者: Hughes, Cameron Hughes, Tracey Lazar, Alina Ctest Laboratories One University Plaza Youngstown OH 44555 United States Youngstown State University One University Plaza Youngstown OH 44555 United States
We are investigating the potential use of trial transcripts as sources of social knowledge for epistemic agents. But we are immediately faced with the reality that not all transcripts are equal. the quality of the tra... 详细信息
来源: 评论
Computing intensional answers to questions - An inductive logic programming approach
收藏 引用
DATA & KNOWLEDGE ENGINEERING 2010年 第3期69卷 261-278页
作者: Cimiano, Philipp Rudolph, Sebastian Hartfiel, Helena Univ Bielefeld CITEC Semant Comp Grp D-33501 Bielefeld Germany Karlsruhe Inst Technol KIT Inst AIFB D-76131 Karlsruhe Germany Lindenbaum GmbH D-76133 Karlsruhe Germany
Research on natural language interfaces has mainly concentrated on question interpretation as well as answer computation, but not focused as Much on answer presentation. In most natural language interfaces, answers ar... 详细信息
来源: 评论
Discovery of Abstract Concepts by a Robot
收藏 引用
21st international conference on Algorithmic Learning theory (ALT) / 13th international conference on Discovery Science (DS)
作者: Bratko, Ivan Univ Ljubljana Fac Comp & Informat Sci Ljubljana 1000 Slovenia
this paper reviews experiments with an approach to discovery through robot's experimentation in its environment. In addition to discovering laws that enable predictions, we are particularly interested in the mecha... 详细信息
来源: 评论
On the Connections Between PCTL and Dynamic programming
On the Connections Between PCTL and Dynamic Programming
收藏 引用
13th international conference on Hybrid Systems - Computation and Control
作者: Ramponi, Federico Chatterjee, Debasish Summers, Sean Lygeros, John ETH Automat Control Lab CH-8092 Zurich Switzerland
Probabilistic Computation Tree logic (PCTL) is a well-known modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context of automated model checking. In this ... 详细信息
来源: 评论
Model Checking Is Static Analysis of Modal logic
Model Checking <i>Is</i> Static Analysis of Modal Logic
收藏 引用
13th international conference on Foundations of Software Science and Computational Structures/Joint European conferences on theory and Practice of Software
作者: Nielson, Flemming Nielson, Hanne Riis Tech Univ Denmark DTU Informat Lyngby Denmark
Flow logic is an approach to the static analysis of programs that has been developed for functional, imperative and object-oriented programming languages and for concurrent, distributed, mobile and cryptographic proce... 详细信息
来源: 评论