咨询与建议

限定检索结果

文献类型

  • 708 篇 会议
  • 39 篇 期刊文献
  • 24 册 图书

馆藏范围

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

日期分布

学科分类号

  • 696 篇 工学
    • 693 篇 计算机科学与技术...
    • 367 篇 软件工程
    • 21 篇 电气工程
    • 20 篇 信息与通信工程
    • 19 篇 控制科学与工程
    • 4 篇 交通运输工程
    • 4 篇 生物工程
    • 3 篇 生物医学工程(可授...
    • 2 篇 材料科学与工程(可...
    • 2 篇 电子科学与技术(可...
    • 2 篇 化学工程与技术
    • 2 篇 石油与天然气工程
    • 2 篇 农业工程
    • 2 篇 环境科学与工程(可...
    • 2 篇 安全科学与工程
    • 2 篇 网络空间安全
  • 148 篇 理学
    • 135 篇 数学
    • 7 篇 生物学
    • 7 篇 统计学(可授理学、...
    • 6 篇 物理学
    • 4 篇 系统科学
  • 34 篇 管理学
    • 25 篇 图书情报与档案管...
    • 12 篇 管理科学与工程(可...
    • 4 篇 工商管理
  • 5 篇 法学
    • 5 篇 社会学
  • 4 篇 医学
    • 4 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 2 篇 教育学
    • 2 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 2 篇 军事学
  • 1 篇 文学

主题

  • 270 篇 logic programmin...
  • 51 篇 answer set progr...
  • 49 篇 semantics
  • 28 篇 knowledge repres...
  • 25 篇 computer circuit...
  • 24 篇 artificial intel...
  • 19 篇 nonmonotonic rea...
  • 15 篇 formal logic
  • 12 篇 mathematical log...
  • 11 篇 knowledge repres...
  • 10 篇 logics and meani...
  • 9 篇 atoms
  • 9 篇 ontology
  • 8 篇 answer-set progr...
  • 8 篇 stream reasoning
  • 8 篇 semantic web
  • 8 篇 programming tech...
  • 8 篇 constraint progr...
  • 7 篇 model checking
  • 7 篇 software enginee...

机构

  • 19 篇 vienna univ tech...
  • 15 篇 univ potsdam pot...
  • 10 篇 univ kentucky de...
  • 10 篇 vienna univ tech...
  • 8 篇 inria rennes ren...
  • 7 篇 new mexico state...
  • 7 篇 univ a coruna la...
  • 7 篇 univ potsdam ins...
  • 7 篇 univ texas dept ...
  • 6 篇 tech univ wien i...
  • 6 篇 tu wien austria
  • 6 篇 univ minho ctr a...
  • 6 篇 university of po...
  • 6 篇 institut für inf...
  • 6 篇 univ calabria ar...
  • 5 篇 univ manchester ...
  • 5 篇 univ genoa dibri...
  • 5 篇 institut für inf...
  • 5 篇 univ calabria de...
  • 5 篇 univ alberta dep...

作者

  • 41 篇 eiter thomas
  • 40 篇 schaub torsten
  • 26 篇 gebser martin
  • 26 篇 tompits hans
  • 23 篇 ricca francesco
  • 20 篇 woltran stefan
  • 17 篇 leone nicola
  • 16 篇 ianni giovambatt...
  • 16 篇 fink michael
  • 16 篇 cabalar pedro
  • 15 篇 faber wolfgang
  • 15 篇 alviano mario
  • 12 篇 calimeri frances...
  • 11 篇 oetsch johannes
  • 10 篇 kaminski roland
  • 10 篇 redl christoph
  • 10 篇 janhunen tomi
  • 9 篇 krennwallner tho...
  • 9 篇 leite joao
  • 8 篇 eiter t

语言

  • 761 篇 英文
  • 6 篇 中文
  • 4 篇 其他
检索条件"任意字段=9th International Conference on Logic Programming and Nonmonotonic Reasoning"
771 条 记 录,以下是771-780 订阅
排序:
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) 2010年 6397 LNCS卷
作者: Fermüller, Christian G. Voronkov, Andrei TUWien Institut für Computersprachen 185.2 Theory and Logic Group Favoritenstraße 9-11 ViennaA-1040 Austria University of Manchester School of Computer Science Kilburn Building Oxford Road ManchesterM13 9PL United Kingdom
来源: 评论