咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是241-250 订阅
排序:
Parallelizing functional programs by generalization  6th
Parallelizing functional programs by generalization
收藏 引用
6th international conference on Algebraic and logic programming, ALP 1997
作者: Geser, Alfons Gorlatch, Sergei Wilhelm-Schickard-Institut füt Informatik University Sand 13 TiibingenD-72076 Germany University of Passau PassauD-94030 Germany
List homomorphisms are functions that are parallelizable using the divide-and-conquer paradigm. We study the problem of finding a homomorphic representation of a given function, based on the Bird-Meertens theory of li... 详细信息
来源: 评论
Software for the computational experiment "synthesis of the topological structure of the cognitive model"  13
Software for the computational experiment "synthesis of the ...
收藏 引用
13th international Scientific and Technical conference on Applied Mechanics and Systems Dynamics, AMSD 2019
作者: Lozhnikov, V. Marenko, V. Omsk State University 11 Mira ave. Omsk644050 Russia Sobolev Institute of Mathematics Siberian Branch Russian Academy of Sciences Omsk Russia
there is a great number of applications used today to support decision-making in socio-economic sphere. Various approaches and tools are used to implement the applications. the article provides the overview of scienti... 详细信息
来源: 评论
Hoare-style reasoning from multiple contracts  13th
Hoare-style reasoning from multiple contracts
收藏 引用
13th international conference on Integrated Formal Methods, IFM 2017
作者: Owe, Olaf Ramezanifarkhani, Toktam Fazeldehkordi, Elahe Department of Informatics University of Oslo Oslo Norway
Modern software is often developed with advanced mechanisms for code reuse. A software module may build on other software modules or libraries where the source code is not available. And even if the source code is kno... 详细信息
来源: 评论
Induction of the effects of actions by monotonic methods
Induction of the effects of actions by monotonic methods
收藏 引用
13th international conference, ILP 2003
作者: Otero, Ramon P. Department of Computer Science University of Corunna Corunna 15071 Galicia Spain
Induction of the effects of actions considered here consists in learning an action description of a dynamic system from evidence on its behavior. General logic-based induction methods can deal with this problem but, u... 详细信息
来源: 评论
Functional procedures in higher-order logic  13th
Functional procedures in higher-order logic
收藏 引用
13th international conference on theorem Proving in Higher Order logics, TPHOLs 2000
作者: Laibinis, Linas Wright, Joakim Von Lemminkaisenkatu 14 TurkuFIN-20520 Finland
In this paper we present an approach for modelling functional procedures (as they occur in imperative programming languages) in a weakest precondition framework. Functional procedures are called inside expressions, bu... 详细信息
来源: 评论
Evaluation of a constraint-based error diagnosis system for logic programming
Evaluation of a constraint-based error diagnosis system for ...
收藏 引用
13th international conference on Computers in Education, ICCE 2005
作者: Le, Nguyen-thinh Department of Informatics University of Hamburg Germany
We applied the constraint-based approach to develop a web-based diagnosis system for Prolog. this paper introduces the evaluation results which reflects the current efficacy of our system. We gathered 261 log files wh... 详细信息
来源: 评论
Doctoral consortium extended abstract: Planning with concurrent transaction logic  13th
收藏 引用
13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Basseda, Reza Stony Brook University Stony BrookNY11794 United States
Automated planning has been the subject of intensive research and is at the core of several areas of AI, including intelligent agents and robotics. In this thesis proposal, we argue that Concurrent Transaction logic (... 详细信息
来源: 评论
Foundations of coloring algebra with consequences for feature-oriented programming
Foundations of coloring algebra with consequences for featur...
收藏 引用
13th international conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012
作者: Höfner, Peter Möller, Bernhard Zelend, Andreas NICTA Australia Universität Augsburg Germany University of New South Wales Australia
In 2011, simple and concise axioms for feature compositions, interactions and products have been proposed by Batory et al. they were mainly inspired by Kästner's Colored IDE (CIDE) as well as by experience in... 详细信息
来源: 评论
13th international conference on Artificial General Intelligence, AGI 2020
13th International Conference on Artificial General Intellig...
收藏 引用
13th international conference on Artificial General Intelligence, AGI 2020
the proceedings contain 38 papers. the special focus in this conference is on Artificial General Intelligence. the topics include: the hierarchical memory based on compartmental spiking neuron model;the dynamics of gr...
来源: 评论
Hardware and Software: Verification and Testing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ofer Strichman Rachel Tzoref-Brill
this book constitutes the refereed proceedings of the 13th international Haifa Verification conference, HVC 2017, held in Haifa, Israel in November 2017.;the 13 revised full papers presented together with 4 ... 详细信息
来源: 评论