咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是101-110 订阅
排序:
Temporal logic properties of Java objects
Temporal logic properties of Java objects
收藏 引用
13th international conference on Software Engineering and Knowledge Engineering (SEKE 2001)
作者: Iosif, R Sisto, R Politecn Torino Dipartimento Automat I-10129 Turin Italy
Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle defects in the logic design of these systems. Nevertheless, the integration of exist... 详细信息
来源: 评论
Algorithmic Learning theory  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Marcus Hutter Frank Stephan Vladimir Vovk thomas Zeugmann
this volume contains the papers presented at the 21st international Conf- ence on Algorithmic Learning theory (ALT 2010), which was held in Canberra, Australia, October 6–8, 2010. the conference was co-located with t... 详细信息
来源: 评论
An executable formalization of the HOL/Nuprl connection in the metalogical framework twelf
收藏 引用
13th international conference on logic for programming, Artificial Intelligence, and Reasoning
作者: Schurmann, Carsten Stehr, Mark-Oliver Yale Univ Dept Comp Sci New Haven CT 06520 USA Univ Illinois Siebel Ctr Comp Sci Urbana IL 61801 USA
Howe's HOL/Nuprl connection is an interesting example of a translation between two fundamentally different logics, namely a typed higher-order logic and a polymorphic extensional type theory. In earlier work we ha... 详细信息
来源: 评论
programming framework for architectural design: Anar+: Object oriented geometry
Programming framework for architectural design: Anar+: Objec...
收藏 引用
13th international CAAD Futures conference: Joining Languages, Cultures and Visions, CAADFutures 2009
作者: Labelle, Guillaume Nembrini, Julien Huang, Jeffrey Media and Design Lab. EPFL Lausanne Switzerland
From the recent advent of scripting tools integrated into commercial CAAD software and everyday design practice, the use of programming applied to an architectural design process becomes a necessary field of study. th... 详细信息
来源: 评论
2015 IEEE 13th international Scientific conference on Informatics, INFORMATICS 2015 - Proceedings
2015 IEEE 13th International Scientific Conference on Inform...
收藏 引用
13th IEEE international Scientific conference on Informatics, INFORMATICS 2015
the proceedings contain 54 papers. the topics discussed include: document verification using n-grams and histograms of words;multi path transmission control protocols as a security solution;towards automated evaluatio...
来源: 评论
13th international Workshop on Rewriting logic and Its Applications, WRLA 2020
13th International Workshop on Rewriting Logic and Its Appli...
收藏 引用
13th international Workshop on Rewriting logic and Its Applications, WRLA 2020
the proceedings contain 11 papers. the special focus in this conference is on Rewriting logic and Its Applications. the topics include: Automated Construction of Security Integrity Wrappers for Industry 4.0 Applicatio...
来源: 评论
On automatic theorem proving with ML  13
On automatic theorem proving with ML
收藏 引用
13th Mexican international conference on Artificial Intelligence, MICAI 2014
作者: Toriz, Juan Pablo Muñoz Ruiz, Ivan Martínez Ramírez, José Arrazola Facultad de Ciencias Físico Matemáticas Benémerita Universidad Autónoma de Puebla Puebla Mexico
In this paper, we describe the development of a series of automatic theorem provers for a variety of logics. Provers are developed from a functional approach. the first prover is for Classical Propositional Calculus (... 详细信息
来源: 评论
13th international conference on Algorithmic Learning theory, ALT 2002
13th International Conference on Algorithmic Learning Theory...
收藏 引用
13th international conference on Algorithmic Learning theory, ALT 2002
the proceedings contain 32 papers. the special focus in this conference is on Learning Boolean Functions, Margin-Based Learning, Learning with Queries and inductive Inference. the topics include: On the Eigen spectrum...
来源: 评论
Incremental reasoning for fleet management  19
Incremental reasoning for fleet management
收藏 引用
13th ACM international conference on Distributed and Event-Based Systems, DEBS 2019
作者: Tsilionis, Efthimis Artikis, Alexander Paliouras, Georgios NCSR Demokritos Greece University of Piraeus Greece
We propose RTECinc, an incremental version of RTEC, a composite event recognition engine with formal, declarative semantics, that has been shown to scale to several real-world data streams. RTEC deals with delayed arr... 详细信息
来源: 评论
13th Asian Symposium on programming Languages and Systems, APLAS 2015
13th Asian Symposium on Programming Languages and Systems, A...
收藏 引用
13th Asian Symposium on programming Languages and Systems, APLAS 2015
the proceedings contain 26 papers. the special focus in this conference is on Compilers and Separation logic. the topics include: Memory-efficient tail calls in the JVM with imperative functional objects;a secure comp...
来源: 评论