咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 718 篇 电子文献
  • 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...
  • 22 篇 artificial intel...
  • 21 篇 knowledge repres...
  • 20 篇 formal logic
  • 18 篇 nonmonotonic rea...
  • 12 篇 calculations
  • 11 篇 mathematical log...
  • 11 篇 logics and meani...
  • 9 篇 constraint progr...
  • 8 篇 answer-set progr...
  • 8 篇 atoms
  • 8 篇 inductive logic ...
  • 8 篇 ontology
  • 7 篇 knowledge repres...
  • 7 篇 programming tech...
  • 6 篇 software enginee...
  • 6 篇 data description

机构

  • 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 篇 tu wien austria
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 5 篇 univ potsdam ins...
  • 5 篇 univ a coruna la...
  • 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...

语言

  • 713 篇 英文
  • 4 篇 中文
  • 2 篇 其他
检索条件"任意字段=7th International Conference on Logic Programming and Nonmonotonic Reasoning"
719 条 记 录,以下是281-290 订阅
排序:
Parametrized Equilibrium logic
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Goncalves, Ricardo Alferes, Jose Julio Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal
Equilibrium logic provides a logical foundation for the stable model semantics of logic programs. Recently, parametrized logic programming was introduced with the aim of presenting the syntax and natural semantics for... 详细信息
来源: 评论
On Influence and Contractions in Defeasible logic programming
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Garcia, Diego R. Gottifredi, Sebastian Kruempelmann, Patrick thimm, Matthias Kern-Isberner, Gabriele Falappa, Marcelo A. Garcia, Alejandro J. Univ Nacl Sur RA-8000 Bahia Blanca Buenos Aires Argentina Tech Univ Dortmund D-44221 Dortmund Germany
In this paper, we investigate the problem of contraction in Defeasible logic programming (DeLP), a logic-based approach for defeasible argumentation. We develop different notions of contraction based on both, the diff... 详细信息
来源: 评论
cmMUS: A Tool for Circumscription-Based MUS Membership Testing
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Janota, Mikolas Marques-Silva, Joao INESC ID Lisbon Portugal
this article presents cmMUS-a tool for deciding whether a clause belongs to some minimal unsatisfiable subset (MUS) of a given formula. While MUS-membership has a number of practical applications, related with underst... 详细信息
来源: 评论
Splitting and updating hybrid knowledge bases
收藏 引用
thEORY AND PRACTICE OF logic programming 2011年 第4-5期11卷 801-819页
作者: Slota, Martin Leite, Joao Swift, Terrance Univ Nova Lisboa CENTRIA P-2829516 Caparica Portugal Univ Nova Lisboa Dept Informat P-2829516 Caparica Portugal
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. they have recently been used to complement the expressive power of Description logics (DLs), leading... 详细信息
来源: 评论
What Are the Necessity Rules in Defeasible reasoning?
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Lam, Ho-Pun Governatori, Guido Univ Queensland Sch Informat Technol & Elect Engn Brisbane Qld Australia NICTA Queensland Res Lab Brisbane Qld Australia
this paper investigates a new approach for computing the inference of defeasible logic. the algorithm proposed can substantially reduced the theory size increase due to transformations while preserving the representat... 详细信息
来源: 评论
A Portfolio Solver for Answer Set programming: Preliminary Report
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Gebser, Martin Kaminski, Roland Kaufmann, Benjamin Schaub, Torsten Schneider, Marius thomas Ziller, Stefan Univ Potsdam Inst Informat Potsdam Germany
We propose a portfolio-based solving approach to Answer Set programming (ASP). Our approach is homogeneous in considering several configurations of the ASP solver clasp. the selection among the configurations is reali... 详细信息
来源: 评论
programming mental state abduction
Programming mental state abduction
收藏 引用
10th international conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011
作者: Sindlar, Michal Dastani, Mehdi Meyer, John-Jules Intelligent Systems Group University of Utrecht Netherlands
Many multi-agent system applications involve software agents that reason about the behavior of other agents with which they interact in cooperation or competition. In order to design and develop those systems, the emp... 详细信息
来源: 评论
Itemset Mining as a Challenge Application for Answer Set Enumeration
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Jarvisalo, Matti Univ Helsinki Dept Comp Sci FIN-00014 Helsinki Finland
We present an initial exploration into the possibilities of applying current state-of-the-art answer set programming (ASP) tools-esp. conflict-driven answer set enumeration-for mining itemsets in 0-1 data. We evaluate... 详细信息
来源: 评论
logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Poole, David Univ British Columbia Dept Comp Sci Vancouver BC V6T 1Z4 Canada
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) statistical relational artificial intell... 详细信息
来源: 评论
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Lierler, Yuliya Lifschitz, Vladimir Univ Kentucky Lexington KY 40506 USA Univ Texas Austin Austin TX 78712 USA
the operation of a typical answer set solver begins with grounding-replacing the given program with a program without variables that has the same answer sets. When the given program contains function symbols, the proc... 详细信息
来源: 评论