咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是261-270 订阅
排序:
Modeling natural language metaphors with an answer set programming framework
Modeling natural language metaphors with an answer set progr...
收藏 引用
13th Mexican international conference on Artificial Intelligence, MICAI 2014
作者: Acosta-Guadarrama, Juan Carlos Dávila-Pérez, Rogelio Osorio, Mauricio Zaldivar, Victor Hugo Universidad Autónoma del Estado de México TolucaEstado de México Mexico División de Posgrado Universidad Autónoma de Guadalajara ZapopanJal Mexico Universidad de las Américas. Puebla CholulaPuebla Mexico Departamento de Electrónica Sistemas e Informática Instituto Tecnológico y de Estudios Superiores de Occidente TlaquepaqueJal Mexico
Metaphors are natural language constructions that play an important role in the way human beings communicate knowledge and understand the world. Some formal philosophers such as Searle and Lakoff claim that the semant... 详细信息
来源: 评论
Hardware design with a scripting language
Hardware design with a scripting language
收藏 引用
13th international conference on Field-Programmable logic and Applications (FPL 2003)
作者: Haglund, P Mencer, O Luk, W Tai, B Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England
the Python Hardware Description Language (PyHDL) provides a scripting interface to object-oriented hardware design in C++. PyHDL uses the PamDC and PAM-Blox libraries to generate FPGA circuits. the main advantage of s... 详细信息
来源: 评论
Parallel Processing and Applied Mathematics  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Roman Wyrzykowski Konrad Karczewski Ewa Deelman Jack Dongarra
the two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th international conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 201... 详细信息
来源: 评论
High Performance Computing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Rio Yokota Michèle Weiland John Shalf Sadaf Alam
this book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd international ISC High Performance 2018 conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-... 详细信息
来源: 评论
13th international conference on Application of Fuzzy Systems and Soft Computing, ICAFS 2018
13th International Conference on Application of Fuzzy System...
收藏 引用
13th international conference on Application of Fuzzy Systems and Soft Computing, ICAFS 2018
the proceedings contain 127 papers. the special focus in this conference is on Application of Fuzzy Systems and Soft Computing. the topics include: Investigation of the “input-output” model of the azerbaijani econom...
来源: 评论
13th international conference on Application and theory of Petri Nets, 1992
收藏 引用
13th international conference on Application and theory of Petri Nets, 1992
the proceedings contain 26 papers. the special focus in this conference is on Application and theory of Petri Nets. the topics include: Performance issues in parallel programming;combining petri nets and other formal ...
来源: 评论
4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022
4th EAI International Conference on Artificial Intelligence ...
收藏 引用
4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022
the proceedings contain 13 papers. the special focus in this conference is on Artificial Intelligence for Communications and Networks. the topics include: A Research of Infectivity Rate of Seasonal Influenza from Pre-...
来源: 评论
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... 详细信息
来源: 评论
An Instance Based Model for Scalable θ-Subsumption
收藏 引用
international JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS 2018年 第7期27卷
作者: Leger, Hippolyte Bouthinon, Dominique Lebbah, Mustapha Azzag, Hanene Univ Paris 13 LIPN UMR CNRS 7030 99 Ave Jean Baptiste Clement F-93430 Villetaneuse France
the theta-subsumption test is known to be a bottleneck in inductive logic programming. the state-of-the-art learning systems in this field are hardly scalable. Last year, we have created a distributed theta-subsumptio... 详细信息
来源: 评论
Towards a logical Model of Induction from Examples and Communication
Towards a Logical Model of Induction from Examples and Commu...
收藏 引用
13th international conference of the Catalan-Association-for-Artificial-Intelligence (CCIA)
作者: Ontanon, Santiago Dellunde, Pilar Godo, Lluis Plaza, Enric CSIC Spanish Council Sci Res IIIA Artificial Intelligence Res Inst Campus UAB Bellaterra 08193 Catalonia Spain CSIC IIIA Artificial Intelligence Res Inst Madrid Spain Univ Autonoma Barcelona E-08193 Barcelona Spain
this paper focuses on a logical model of induction, and specifically of the common machine learning task of inductive concept learning (ICL). We define an inductive derivation relation, which characterizes which hypot... 详细信息
来源: 评论