咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 696 篇 工学
    • 693 篇 计算机科学与技术...
    • 366 篇 软件工程
    • 21 篇 电气工程
    • 20 篇 信息与通信工程
    • 19 篇 控制科学与工程
    • 4 篇 生物工程
    • 3 篇 交通运输工程
    • 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...
  • 19 篇 nonmonotonic rea...
  • 15 篇 formal logic
  • 11 篇 knowledge repres...
  • 10 篇 artificial intel...
  • 9 篇 atoms
  • 9 篇 ontology
  • 8 篇 answer-set progr...
  • 8 篇 stream reasoning
  • 8 篇 semantic web
  • 8 篇 constraint progr...
  • 7 篇 model checking
  • 7 篇 asp
  • 6 篇 description logi...
  • 6 篇 inductive logic ...
  • 5 篇 knowledge based ...

机构

  • 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 篇 univ minho ctr a...
  • 6 篇 university of po...
  • 6 篇 institut für inf...
  • 6 篇 univ calabria ar...
  • 5 篇 univ manchester ...
  • 5 篇 tu wien austria
  • 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

语言

  • 745 篇 英文
  • 6 篇 中文
  • 4 篇 其他
检索条件"任意字段=9th International Conference on Logic Programming and Nonmonotonic Reasoning"
755 条 记 录,以下是1-10 订阅
排序:
Datalog-2.0 2024 - Proceedings 5th international Workshop on the Resurgence of Datalog in Academia and Industry, co-located with the 17th international conference on logic programming and nonmonotonic reasoning, LPNMR 2024
Datalog-2.0 2024 - Proceedings 5th International Workshop on...
收藏 引用
5th international Workshop on the Resurgence of Datalog in Academia and Industry, Datalog-2.0 2024
the proceedings contain 8 papers. the topics discussed include: explaining answers to datalog queries;DatalogMTL: datalog with metric temporal logic operators;incremental evaluation of dynamic datalog programs as a hi...
来源: 评论
16th international conference on logic programming and nonmonotonic reasoning, LPNMR 2022
16th International Conference on Logic Programming and Nonmo...
收藏 引用
16th international conference on logic programming and nonmonotonic reasoning, LPNMR 2022
the proceedings contain 39 papers. the special focus in this conference is on logic programming and nonmonotonic reasoning. the topics include: Deep Learning for the Generation of Heuristics in Answer Set programming:...
来源: 评论
Datalog-2.0 2022 - Proceedings of the 4th international Workshop on the Resurgence of Datalog in Academia and Industry, co-located with the 16th international conference on logic programming and nonmonotonic reasoning, LPNMR 2022
Datalog-2.0 2022 - Proceedings of the 4th International Work...
收藏 引用
4th international Workshop on the Resurgence of Datalog in Academia and Industry, Datalog-2.0 2022
the proceedings contain 21 papers. the topics discussed include: novel techniques in datalog optimization;certain answers of extensions of conjunctive queries by datalog and first-order rewriting;querying data exchang...
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
A Fixpoint Characterisation of Temporal Equilibrium logic  17th
A Fixpoint Characterisation of Temporal Equilibrium Logic
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Cabalar, Pedro Dieguez, Martin Laferrriere, Francois Schaub, Torsten Stephan, Igor Univ A Coruna La Coruna Spain Univ Angers LERIA Angers France Univ Potsdam Potsdam Germany
Connections of intuitionistic and intermediate logics with logic programming have been extensively studied in the literature. Among the different results in the literature we find equilibrium logic (Pearce, 1996) and ... 详细信息
来源: 评论
A Semantical Approach to Abstraction in Answer Set programming and Assumption-Based Argumentation  17th
A Semantical Approach to Abstraction in Answer Set Programmi...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Apostolakis, Iosif Saribatur, Zeynep G. Wallner, Johannes P. Graz Univ Technol Graz Austria TU Wien Vienna Austria
Recently forms of abstraction have been proposed for both logic programs (LPs) under the answer set semantics (ASP) and for the related formalism of assumption-based argumentation (ABA), e.g., via clustering of atoms ... 详细信息
来源: 评论
An ILASP-Based Approach to Repair Petri Nets  17th
An ILASP-Based Approach to Repair Petri Nets
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Chiariello, Francesco Ielo, Antonio Tarzariol, Alice Univ Toulouse IRIT ANITI Toulouse France Univ Calabria Arcavacata Di Rende Italy Univ Klagenfurt Klagenfurt Austria
Petri nets are a class of models of computation used to compactly represent discrete event systems. Among many application domains, they have now become the most prominent formalism to express process models in Proces... 详细信息
来源: 评论
Semantic-Based Arguments Using logic programming Rewriting Systems  17th
Semantic-Based Arguments Using Logic Programming Rewriting S...
收藏 引用
17th international conference on logic programming and Non-monotonic reasoning
作者: Guerrero, Esteban Nieves, Juan Carlos Umea Univ Dept Comp Sci Umea Sweden
Traditionally, in the argumentation theory literature structured arguments are constructed from rules interpretations aiming to build well-supported deductive evidence. Different from other approaches, we emphasize th... 详细信息
来源: 评论