咨询与建议

限定检索结果

文献类型

  • 1,425 篇 会议
  • 69 册 图书
  • 55 篇 期刊文献

馆藏范围

  • 1,548 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 1,260 篇 工学
    • 1,245 篇 计算机科学与技术...
    • 663 篇 软件工程
    • 83 篇 控制科学与工程
    • 62 篇 电气工程
    • 48 篇 信息与通信工程
    • 10 篇 生物工程
    • 9 篇 生物医学工程(可授...
    • 6 篇 交通运输工程
    • 5 篇 化学工程与技术
    • 4 篇 材料科学与工程(可...
    • 4 篇 电子科学与技术(可...
    • 4 篇 安全科学与工程
    • 3 篇 机械工程
    • 3 篇 建筑学
  • 360 篇 理学
    • 337 篇 数学
    • 23 篇 统计学(可授理学、...
    • 17 篇 系统科学
    • 14 篇 生物学
    • 10 篇 物理学
    • 5 篇 化学
  • 86 篇 管理学
    • 53 篇 图书情报与档案管...
    • 37 篇 管理科学与工程(可...
    • 17 篇 工商管理
  • 10 篇 法学
    • 7 篇 法学
    • 3 篇 社会学
  • 9 篇 医学
    • 9 篇 临床医学
    • 7 篇 基础医学(可授医学...
    • 6 篇 药学(可授医学、理...
  • 7 篇 教育学
    • 7 篇 教育学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学

主题

  • 387 篇 logic programmin...
  • 141 篇 artificial intel...
  • 63 篇 semantics
  • 52 篇 answer set progr...
  • 48 篇 mathematical log...
  • 43 篇 computer circuit...
  • 42 篇 formal logic
  • 40 篇 knowledge repres...
  • 34 篇 logics and meani...
  • 28 篇 programming tech...
  • 25 篇 knowledge repres...
  • 25 篇 calculations
  • 21 篇 programming lang...
  • 18 篇 software enginee...
  • 16 篇 fuzzy logic
  • 15 篇 inductive logic ...
  • 13 篇 constraint progr...
  • 12 篇 programming
  • 12 篇 data description
  • 12 篇 temporal logic

机构

  • 15 篇 vienna univ tech...
  • 13 篇 univ minho ctr a...
  • 11 篇 univ potsdam pot...
  • 10 篇 tu wien austria
  • 8 篇 univ evora escol...
  • 8 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 6 篇 imperial coll lo...
  • 6 篇 univ kentucky de...
  • 6 篇 univ minho dept ...
  • 5 篇 univ potsdam ins...
  • 5 篇 katholieke univ ...
  • 5 篇 univ genoa dibri...
  • 5 篇 natl inst inform...
  • 5 篇 natl univ irelan...
  • 5 篇 suny stony brook...
  • 5 篇 mediclin arabian...
  • 5 篇 carnegie mellon ...

作者

  • 31 篇 schaub torsten
  • 30 篇 ricca francesco
  • 24 篇 eiter thomas
  • 20 篇 vicente henrique
  • 19 篇 gebser martin
  • 18 篇 neves jose
  • 17 篇 alviano mario
  • 17 篇 tompits hans
  • 16 篇 leone nicola
  • 16 篇 woltran stefan
  • 13 篇 faber wolfgang
  • 13 篇 cabalar pedro
  • 13 篇 dodaro carmine
  • 12 篇 son tran cao
  • 12 篇 baral chitta
  • 11 篇 voronkov andrei
  • 11 篇 maratea marco
  • 11 篇 inoue katsumi
  • 10 篇 fink michael
  • 10 篇 neves joao

语言

  • 1,537 篇 英文
  • 8 篇 中文
  • 4 篇 其他
检索条件"任意字段=15th International Conference on Logic for Programming Artificial Intelligence and Reasoning"
1549 条 记 录,以下是1541-1550 订阅
排序:
Advances in Case-Based reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this volume contains the papers presented at the 9th European conference on Case-Based reasoning (ECCBR 2008). Case-based reasoning (CBR) is an arti?cial intelligence approach whereby new problems are solved by rememb... 详细信息
来源: 评论
Automated reasoning with Analytic Tableaux and Related Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Didier Galmiche Dominique Larchey-Wendling
this book constitutes the refereed proceedings of the 22th international conference on Automated reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. the 20 re... 详细信息
来源: 评论
Conceptual Structures: From Information to intelligence  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Madalina Croitoru Sébastien Ferré Dickson Lukose
th the 18 international conference on Conceptual Structures (ICCS 2010) was the latest in a series of annual conferences that have been held in Europe, A- tralia, and North America since 1993. the focus of the confere... 详细信息
来源: 评论
Inductive logic programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Paolo Frasconi Francesca A. Lisi
this book constitutes the thoroughly refereed post-proceedings of the 20th international conference on Inductive logic programming, ILP 2010, held in Florence, Italy in June 2010.the 11 revised full papers and 15 revi... 详细信息
来源: 评论
Deontic logic in Computer Science  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: thomas Ågotnes Dag Elgesem Jan Broersen
this volume presents the refereed proceedings of the 11th international conference on Deontic logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. the 14 revised papers included in the volume we... 详细信息
来源: 评论
Conceptual Structures: Knowledge Visualization and reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book constitutes the refereed proceedings of the 16th international conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. the 19 revised full papers presented together with 2 inv... 详细信息
来源: 评论
Automated Deduction—CADE-18  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Andrei Voronkov
the First CADE in the third Millennium this volume contains the papers presented at the Eighteenth international C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen... 详细信息
来源: 评论
Automated reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Didier Galmiche Stephan Schulz Roberto Sebastiani
this book constitutes the refereed proceedings of the 9th international Joint conference on Automated reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated logic conference, FLo... 详细信息
来源: 评论
logic programming and Nonmonotonic reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Francesco Calimeri Giovambattista Ianni Miroslaw Truszczynski
this volume contains the refereed proceedings of the 13th international conference on logic programming and Nonmonotonic reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa... 详细信息
来源: 评论