咨询与建议

限定检索结果

文献类型

  • 668 篇 会议
  • 32 篇 期刊文献
  • 6 册 图书

馆藏范围

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

日期分布

学科分类号

  • 648 篇 工学
    • 645 篇 计算机科学与技术...
    • 356 篇 软件工程
    • 28 篇 控制科学与工程
    • 22 篇 电气工程
    • 18 篇 信息与通信工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 建筑学
    • 3 篇 生物工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 农业工程
  • 129 篇 理学
    • 120 篇 数学
    • 5 篇 物理学
    • 5 篇 生物学
    • 5 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 33 篇 管理学
    • 23 篇 图书情报与档案管...
    • 13 篇 管理科学与工程(可...
    • 7 篇 工商管理
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学

主题

  • 247 篇 logic programmin...
  • 46 篇 answer set progr...
  • 44 篇 semantics
  • 22 篇 computer circuit...
  • 21 篇 knowledge repres...
  • 20 篇 formal logic
  • 18 篇 nonmonotonic rea...
  • 12 篇 calculations
  • 11 篇 artificial intel...
  • 9 篇 constraint progr...
  • 8 篇 answer-set progr...
  • 8 篇 atoms
  • 8 篇 inductive logic ...
  • 8 篇 ontology
  • 7 篇 knowledge repres...
  • 6 篇 data description
  • 6 篇 asp
  • 6 篇 description logi...
  • 6 篇 semantic web
  • 5 篇 belief revision

机构

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

作者

  • 35 篇 schaub torsten
  • 25 篇 gebser martin
  • 23 篇 ricca francesco
  • 19 篇 tompits hans
  • 18 篇 eiter thomas
  • 17 篇 woltran stefan
  • 16 篇 leone nicola
  • 14 篇 alviano mario
  • 12 篇 faber wolfgang
  • 12 篇 cabalar pedro
  • 11 篇 brain martin
  • 11 篇 de vos marina
  • 10 篇 calimeri frances...
  • 10 篇 fink michael
  • 10 篇 inoue katsumi
  • 9 篇 ianni giovambatt...
  • 9 篇 son tran cao
  • 8 篇 giordano laura
  • 8 篇 eiter t
  • 8 篇 lifschitz vladim...

语言

  • 700 篇 英文
  • 4 篇 中文
  • 2 篇 其他
检索条件"任意字段=7th International Conference on Logic Programming and Nonmonotonic Reasoning"
706 条 记 录,以下是41-50 订阅
排序:
Gradient-Based Supported Model Computation in Vector Spaces  16th
Gradient-Based Supported Model Computation in Vector Spaces
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Takemura, Akihiro Inoue, Katsumi Grad Univ Adv Studies Dept Informat SOKENDAI Tokyo Japan Natl Inst Informat Tokyo Japan
We propose a method for computing supported models of normal logic programs in vector spaces using gradient information. First, the program is translated into a definite program and embedded into a matrix representing... 详细信息
来源: 评论
Modal logic S5 in Answer Set programming with Lazy Creation of Worlds  16th
Modal Logic S5 in Answer Set Programming with Lazy Creation ...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Alviano, Mario Batsakis, Sotiris Baryannis, George Univ Calabria Arcavacata Di Rende Italy Tech Univ Crete Iraklion Greece Univ Huddersfield Sch Comp & Engn Huddersfield W Yorkshire England
Modal logic S5 is used extensively for representing knowledge that includes statements about necessity and possibility, owing to its simplicity in handling chained modal operators. Significant research effort has been... 详细信息
来源: 评论
A Qualitative Temporal Extension of Here-and-there logic  16th
A Qualitative Temporal Extension of Here-and-There Logic
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Eiter, thomas Schneider, Patrik TU Wien Inst Log & Computat Vienna Austria Siemens AG Munich Germany
Model-based Diagnosis (MBD) is an approach to diagnosis, where an (objective) model of a system is diagnosed to find a set of explanations revealing root causes for issues. Temporal behavioral models are prominent app... 详细信息
来源: 评论
A Practical Account into Counting Dung's Extensions by Dynamic programming  16th
A Practical Account into Counting Dung's Extensions by Dynam...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Dewoprabowo, Ridhwan Fichte, Johannes Klaus Gorczyca, Piotr Jerzy Hecher, Markus Tech Univ Dresden Dresden Germany TU Wien Vienna Austria
A Abstract argumentation and Dung's framework are popular for modeling and evaluating arguments in artificial intelligence. We consider various counting problems in abstract argumentation under practical aspects. ... 详细信息
来源: 评论
Statistical Statements in Probabilistic logic programming  16th
Statistical Statements in Probabilistic Logic Programming
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Azzolini, Damiano Bellodi, Elena Riguzzi, Fabrizio Univ Ferrara Dipartimento Matemat & Informat Via Saragat 1 I-44122 Ferrara Italy Univ Ferrara Dipartimento Ingn Via Saragat 1 I-44122 Ferrara Italy
Probabilistic logic Programs under the distribution semantics (PLPDS) do not allow statistical probabilistic statements of the form "90% of birds fly", which were defined "Type 1" statements by Hal... 详细信息
来源: 评论
Syntactic ASP Forgetting with Forks  16th
Syntactic ASP Forgetting with Forks
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Aguado, Felicidad Cabalar, Pedro Fandinno, Jorge Pearce, David Perez, Gilberto Vidal, Concepcion Univ A Coruna Corunna Spain Univ Nebraska Omaha NE 68182 USA Univ Politecn Madrid Madrid Spain
In this paper, we present a syntactic transformation, called the unfolding operator, that allows forgetting an atom in a logic program (under ASP semantics). the main advantage of unfolding is that, unlike other synta... 详细信息
来源: 评论
Enumeration of Minimal Models and MUSes in WASP  16th
Enumeration of Minimal Models and MUSes in WASP
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Alviano, Mario Dodaro, Carmine Fiorentino, Salvatore Previti, Alessandro Ricca, Francesco Dept Math & Comp Sci Arcavacata Di Rende Italy Ericsson Res Stockholm Sweden Univ Calabria Arcavacata Di Rende Italy
Several AI problems can be conveniently modelled in ASP, and many of them require to enumerate solutions characterized by an optimality property that can be expressed in terms of subset-minimality with respect to some... 详细信息
来源: 评论
Deep Learning for the Generation of Heuristics in Answer Set programming: A Case Study of Graph Coloring  16th
Deep Learning for the Generation of Heuristics in Answer Set...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Dodaro, Carmine Ilardi, Davide Oneto, Luca Ricca, Francesco Univ Calabria DeMaCS Arcavacata Di Rende Italy Univ Genoa DIBRIS Genoa Italy
Answer Set programming (ASP) is a well-established declarative AI formalism for knowledge representation and reasoning. ASP systems were successfully applied to both industrial and academic problems. Nonetheless, thei... 详细信息
来源: 评论
xASP: An Explanation Generation System for Answer Set programming  16th
xASP: An Explanation Generation System for Answer Set Progra...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Trieu, Ly Ly Son, Tran Cao Balduccini, Marcello New Mexico State Univ Las Cruces NM 88003 USA St Josephs Univ Philadelphia PA 19131 USA
In this paper, we present a system, called xASP, for generating explanations that explain why an atom belongs to (or does not belong to) an answer set of a given program. the system can generate all possible explanati... 详细信息
来源: 评论
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams  16th
Representing Abstract Dialectical Frameworks with Binary Dec...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Ellmauthaler, Stefan Gaggl, Sarah Alice Rusovac, Dominik Wallner, Johannes P. Tech Univ Dresden Cfaed Knowledge Based Syst Grp Dresden Germany Tech Univ Dresden Log Programming & Argumentat Grp Dresden Germany Graz Univ Technol Inst Software Technol Graz Austria
A Abstract dialectical frameworks (ADFs) are a well-studied generalisation of the prominent argumentation frameworks due to Phan Minh Dung. In this paper we propose to use reduced ordered binary decision diagrams (RoB... 详细信息
来源: 评论