咨询与建议

限定检索结果

文献类型

  • 254 篇 会议
  • 24 篇 期刊文献
  • 4 册 图书

馆藏范围

  • 282 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 235 篇 工学
    • 230 篇 计算机科学与技术...
    • 146 篇 软件工程
    • 11 篇 电气工程
    • 9 篇 控制科学与工程
    • 8 篇 信息与通信工程
    • 3 篇 建筑学
    • 2 篇 材料科学与工程(可...
    • 2 篇 电子科学与技术(可...
    • 2 篇 土木工程
    • 2 篇 化学工程与技术
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
    • 1 篇 交通运输工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 网络空间安全
  • 77 篇 理学
    • 73 篇 数学
    • 6 篇 统计学(可授理学、...
    • 2 篇 化学
    • 2 篇 生物学
    • 2 篇 系统科学
  • 11 篇 管理学
    • 9 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 1 篇 法学
    • 1 篇 法学
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 60 篇 logic programmin...
  • 34 篇 answer set progr...
  • 18 篇 non-monotonic re...
  • 15 篇 knowledge repres...
  • 9 篇 semantics
  • 7 篇 inductive logic ...
  • 6 篇 computer circuit...
  • 5 篇 fuzzy logic
  • 5 篇 formal logic
  • 5 篇 programming
  • 4 篇 belief revision
  • 4 篇 epistemic logic ...
  • 4 篇 non-monotonic lo...
  • 4 篇 model checking
  • 4 篇 ontologies
  • 4 篇 defeasible logic
  • 4 篇 knowledge repres...
  • 4 篇 machine learning
  • 3 篇 equilibrium logi...
  • 3 篇 abduction

机构

  • 9 篇 univ potsdam pot...
  • 6 篇 univ calabria ar...
  • 5 篇 univ a coruna la...
  • 4 篇 new mexico state...
  • 4 篇 vrije univ bruss...
  • 4 篇 imperial coll lo...
  • 4 篇 univ milano bico...
  • 4 篇 univ angers leri...
  • 3 篇 tu wien austria
  • 3 篇 univ genoa dibri...
  • 3 篇 univ calabria de...
  • 3 篇 vienna univ tech...
  • 3 篇 tech univ dresde...
  • 2 篇 university of ma...
  • 2 篇 univ torino dipa...
  • 2 篇 katholieke univ ...
  • 2 篇 univ calabria di...
  • 2 篇 univ hasselt has...
  • 2 篇 univ politecn ma...
  • 2 篇 univ ferrara dip...

作者

  • 16 篇 ricca francesco
  • 9 篇 cabalar pedro
  • 8 篇 alviano mario
  • 7 篇 fandinno jorge
  • 6 篇 schaub torsten
  • 6 篇 maratea marco
  • 5 篇 maher michael j.
  • 5 篇 gebser martin
  • 4 篇 eiter thomas
  • 4 篇 son tran cao
  • 3 篇 akbar siami nami...
  • 3 篇 governatori guid...
  • 3 篇 gaggl sarah alic...
  • 3 篇 perez gilberto
  • 3 篇 riguzzi fabrizio
  • 3 篇 penaloza rafael
  • 3 篇 formisano andrea
  • 3 篇 aguado felicidad
  • 3 篇 russo alessandra
  • 3 篇 ielo antonio

语言

  • 282 篇 英文
检索条件"任意字段=17th International Conference on Logic Programming and Non-monotonic Reasoning"
282 条 记 录,以下是281-290 订阅
排序: