咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 329 篇 电子文献
  • 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 ...
  • 12 篇 programming
  • 10 篇 logic gates
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 6 篇 artificial intel...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...
  • 4 篇 model checking
  • 4 篇 java
  • 4 篇 computer languag...
  • 4 篇 integer programm...
  • 4 篇 hardware

机构

  • 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

语言

  • 317 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
329 条 记 录,以下是281-290 订阅
排序:
Lattice-search runtime distributions may be heavy-tailed  12
Lattice-search runtime distributions may be heavy-tailed
收藏 引用
12th international conference, ILP 2002
作者: Železným, Filip Srinivasan, Ashwin Page, David Dept. of Cybernetics Faculty of Electrical Engineering Czech Technical University Karlovo Nám. 13 121 35 Prague Czech Republic Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom Dept. of Biostatistics University of Wisconsin 1300 University Ave. Madison WI 53706 United States
Recent empirical studies show that runtime distributions of backtrack procedures for solving hard combinatorial problems often have intriguing properties. Unlike standard distributions (such as the normal), such distr... 详细信息
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2835卷 V页
作者: Horváth, Tamás Yamamoto, Akihiro Schloss Birlinghoven Sankt Augustin53754 Germany Hokkaido University MemeMedia Laboratory N 13W 8 Kita-ku Sapporo060-8628 Japan
来源: 评论
Supporting software development through declaratively codified programming patterns
收藏 引用
EXPERT SYSTEMS WIth APPLICATIONS 2002年 第4期23卷 405-413页
作者: Mens, K Michiels, I Wuyts, R Free Univ Brussels Programming Technol Lab B-1050 Brussels Belgium Catholic Univ Louvain Dept Ingn Informat B-1348 Louvain Belgium Univ Bern Inst Informat Software Composit Grp CH-3012 Bern Switzerland
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, most software development environments d... 详细信息
来源: 评论
Minimised residue hypotheses in relevant logic  13
Minimised residue hypotheses in relevant logic
收藏 引用
13th Annual international conference on Algorithmic Learning theory
作者: Fronhöfer, B Yamamoto, A Tech Univ Dresden Dept Comp Sci Artificial Intelligence Inst D-01062 Dresden Germany Hokkaido Univ MemeMedia Lab Sapporo Hokkaido 0608628 Japan
In the field of deductive logic, relevant logic has been investigated for a long time, as a means to derive only conclusions which are related to all premises. Our proposal is to apply this concept of relevance as a c... 详细信息
来源: 评论
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...
来源: 评论
LOOP - A language for LP-based AI applications
LOOP - A language for LP-based AI applications
收藏 引用
13th IEEE international conference on Tools with Artificial Intelligence (ICTAI 2001)
作者: Suciu, A Pusztai, K Muresan, T Simon, Z Tech Univ Cluj Napoca Dept Comp Sci RO-3400 Cluj Napoca Romania
One major drawback of logic programming, particularly Prolog, is the lack of mechanisms for structuring knowledge (i,e. program clauses). this makes programming-in-the-large a difficult task even using the module syst... 详细信息
来源: 评论
High precision logic form transformation
High precision logic form transformation
收藏 引用
13th IEEE international conference on Tools with Artificial Intelligence (ICTAI 2001)
作者: Rus, V So Methodist Univ Dept Comp Sci & Engn Dallas TX 75275 USA
this paper presents few extensions to the logic form representation and a method for transforming WordNet glosses into logic forms using a set of high-precision rules combined with a set of high recall heuristics. An ... 详细信息
来源: 评论
Data flow coherence criteria in ILP tools
Data flow coherence criteria in ILP tools
收藏 引用
13th IEEE international conference on Tools with Artificial Intelligence (ICTAI 2001)
作者: Muresan, S Muresan, T Potolea, R Columbia Univ Dept Comp Sci New York NY 10027 USA
In this paper we present a new method that uses data-flow coherence criteria in definite logic program generation. We outline three main advantages of these criteria supported by our results: i) drastically pruning th... 详细信息
来源: 评论
13th international conference on Computer Aided Verification, CAV 2001
收藏 引用
13th international conference on Computer Aided Verification, CAV 2001
the proceedings contain 48 papers. the special focus in this conference is on Model Checking and theorem Proving. the topics include: Software documentation and the verification process;certifying model checkers;forma...
来源: 评论
Modelling semi-structured documents with hedges for deduction and induction  11
收藏 引用
11th international conference on inductive logic programming, ILP 2001
作者: Yamamoto, Akihiro Ito, Kimihito Ishino, Akira Arimura, Hiroki MemeMedia Laboratory Hokkaido University N 13 W 8 Sapporo060-8628 Japan Graduate School of Information Science and Electrical Engineering Kyushu University Hakozaki 6-10-1 Fukuoka812-8581 Japan Japan
Semi-structured documents are now commonly used for exchanging information. the aim of this research is to apply deductive and inductive reasoning to semi-structured documents. From our observation that first-order te... 详细信息
来源: 评论