咨询与建议

限定检索结果

文献类型

  • 572 篇 会议
  • 34 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 549 篇 工学
    • 545 篇 计算机科学与技术...
    • 304 篇 软件工程
    • 16 篇 电气工程
    • 13 篇 信息与通信工程
    • 13 篇 控制科学与工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 农业工程
    • 1 篇 建筑学
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 环境科学与工程(可...
    • 1 篇 食品科学与工程(可...
  • 97 篇 理学
    • 90 篇 数学
    • 5 篇 物理学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 生物学
  • 26 篇 管理学
    • 19 篇 图书情报与档案管...
    • 8 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 221 篇 logic programmin...
  • 45 篇 answer set progr...
  • 39 篇 semantics
  • 23 篇 computer circuit...
  • 21 篇 knowledge repres...
  • 19 篇 nonmonotonic rea...
  • 18 篇 artificial intel...
  • 15 篇 formal logic
  • 11 篇 mathematical log...
  • 10 篇 logics and meani...
  • 8 篇 answer-set progr...
  • 8 篇 description logi...
  • 8 篇 atoms
  • 8 篇 programming tech...
  • 7 篇 inductive logic ...
  • 6 篇 software enginee...
  • 6 篇 asp
  • 6 篇 knowledge repres...
  • 6 篇 semantic web
  • 6 篇 stable models

机构

  • 20 篇 vienna univ tech...
  • 10 篇 univ potsdam pot...
  • 10 篇 univ kentucky de...
  • 7 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 6 篇 univ potsdam ins...
  • 5 篇 univ a coruna la...
  • 5 篇 tu wien austria
  • 5 篇 univ genoa dibri...
  • 5 篇 univ calabria ar...
  • 5 篇 univ calabria de...
  • 5 篇 univ calabria de...
  • 5 篇 univ alberta dep...
  • 5 篇 vienna univ tech...
  • 4 篇 vienna universit...
  • 4 篇 univ potsdam ins...
  • 4 篇 university of ca...
  • 4 篇 simon fraser uni...

作者

  • 32 篇 schaub torsten
  • 24 篇 gebser martin
  • 22 篇 ricca francesco
  • 18 篇 leone nicola
  • 18 篇 tompits hans
  • 17 篇 eiter thomas
  • 16 篇 woltran stefan
  • 16 篇 alviano mario
  • 13 篇 faber wolfgang
  • 13 篇 cabalar pedro
  • 10 篇 ianni giovambatt...
  • 9 篇 lifschitz vladim...
  • 9 篇 calimeri frances...
  • 9 篇 fink michael
  • 9 篇 pearce david
  • 9 篇 you jia-huai
  • 8 篇 eiter t
  • 8 篇 leite joao
  • 8 篇 leone n
  • 8 篇 son tran cao

语言

  • 618 篇 英文
  • 4 篇 其他
  • 3 篇 中文
检索条件"任意字段=10th International Conference on Logic Programming and Nonmonotonic Reasoning"
625 条 记 录,以下是11-20 订阅
排序:
Multi-paradigm logic programming in the ErgoAI System  17th
Multi-paradigm Logic Programming in the ErgoAI System
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Swift, theresa Kifer, Michael Coherent Knowledge Mercer Isl WA 98040 USA SUNY Stony Brook Stony Brook NY USA
ErgoAI (abbr. Ergo) is a high level, multi-paradigm logic programming language and system developed by Coherent Knowledge Systems as an enhancement of and a successor to the popular Flora-2 system. Ergo is oriented to... 详细信息
来源: 评论
logic programming and nonmonotonic reasoning - 6th international conference, LPNMR 2001, Proceedings
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
the proceedings contain 39 papers. the topics discussed include: a computational logic approach to heterogeneous agent systems;on the complexity of model checking and inference in minimal models;data integration needs...
来源: 评论
13th international conference on logic programming and nonmonotonic reasoning, LPNMR 2015
13th International Conference on Logic Programming and Nonmo...
收藏 引用
13th international conference on logic programming and nonmonotonic reasoning, LPNMR 2015
the proceedings contain 48 papers. the special focus in this conference is on logic programming and nonmonotonic reasoning. the topics include: Stable models for temporal theories;algorithmic decision theory meets log...
来源: 评论
14th international conference on logic programming and nonmonotonic reasoning, LPNMR 2017
14th International Conference on Logic Programming and Nonmo...
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning, LPNMR 2017
the proceedings contain 31 papers. the special focus in this conference is on logic programming and nonmonotonic reasoning. the topics include: the design of the seventh answer set programming competition;from logic p...
来源: 评论
4th international conference on logic programming and nonmonotonic reasoning, LPNMR 1997
4th International Conference on Logic Programming and Nonmon...
收藏 引用
4th international conference on logic programming and Non-Monotonic reasoning, LPNMR 1997
the proceedings contain 34 papers. the special focus in this conference is on logic programming and nonmonotonic reasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasonin...
来源: 评论
Deductive Systems for logic Programs with Counting: Preliminary Report  17th
Deductive Systems for Logic Programs with Counting: Prelimin...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Fandinno, Jorge Lifschitz, Vladimir Univ Nebraska Omaha Omaha NE 68182 USA Univ Texas Austin Austin TX 78712 USA
In answer set programming, two groups of rules are considered strongly equivalent if they have the same meaning in any context. Strong equivalence of two programs can be sometimes established by deriving rules of each... 详细信息
来源: 评论
Log-IC 2011 - Proceedings of the 2nd Workshop on logic-Based Interpretation of Context: Modelling and Applications, Held in Conjunction with the 11th international conference on logic programming and nonmonotonic reasoning, LPNMR 2011
Log-IC 2011 - Proceedings of the 2nd Workshop on Logic-Based...
收藏 引用
2nd Workshop on logic-Based Interpretation of Context: Modelling and Applications, Log-IC 2011 - Held in Conjunction with the 11th international conference on logic programming and nonmonotonic reasoning, LPNMR 2011
the proceedings contain 4 papers. the topics discussed include: model streaming for distributed multi-context systems*;lightweight communication platform for heterogeneous multi-context systems: a preliminary report*;...
来源: 评论
15th international conference on logic programming and nonmonotonic reasoning, LPNMR 2019
15th International Conference on Logic Programming and Nonmo...
收藏 引用
15th international conference on logic programming and nonmonotonic reasoning, LPNMR 2019
the proceedings contain 25 papers. the special focus in this conference is on logic programming and nonmonotonic reasoning. the topics include: Founded World Views with Autoepistemic Equilibrium logic;towards Dynamic ...
来源: 评论
11th international conference on logic programming and nonmonotonic reasoning, LPNMR 2011
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning, LPNMR 2011
the proceedings contain 46 papers. the special focus in this conference is on logic programming and nonmonotonic reasoning. the topics include: Approximations for Explanations of Inconsistency in Partially Known Multi...
来源: 评论
A Generalisation of Epistemic Splitting Property  17th
A Generalisation of Epistemic Splitting Property
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Su, Ezgi Iraz Sinop Univ Dept Comp Engn Sinop Turkiye Univ Milano Bicocca Milan Italy
Answer-set programming (ASP) is a declarative logic programming paradigm that provides an efficient problem-solving approach in logic-based artificial intelligence (AI). While it has proven successful, ASP encounters ... 详细信息
来源: 评论