咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是201-210 订阅
排序:
Two applications of the ASP-Prolog system: Decomposable programs and multi-context systems
收藏 引用
15th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014
作者: Son, Tran Cao Pontelli, Enrico Le, Tiep Department of Computer Science New Mexico State University United States
this paper presents two applications of the ASP-Prolog system, one of the earliest modular logic programming frameworks for integrating ASP and traditional Prolog/CLP reasoning. Both applications represent significant... 详细信息
来源: 评论
Belief Change and Base Dependence  14
Belief Change and Base Dependence
收藏 引用
14th international conference on the Principles of Knowledge Representation and reasoning
作者: Oveisi, Mehrdad Delgrande, James P. Pelletier, Francis Jeffry Popowich, Fred Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada Univ Alberta Dept Philosophy Edmonton AB T6G 2E7 Canada
A strong intuition for AGM belief change operations, Gardenfors suggests, is that formulas that are independent of a change should remain intact. Based on this intuition, Farias and Herzig axiomatize a dependence rela...
来源: 评论
StreamRule: A nonmonotonic stream reasoning system for the semantic web
StreamRule: A nonmonotonic stream reasoning system for the s...
收藏 引用
7th international conference on Web reasoning and Rule Systems, RR 2013
作者: Mileo, Alessandra Abdelrahman, Ahmed Policarpio, Sean Hauswirth, Manfred DERI National University of Ireland Galway Ireland
Stream reasoning is an emerging research field focused on dynamic processing and continuous reasoning over huge volumes of streaming data. Finding the right trade-off between scalability and expressivity is a key chal... 详细信息
来源: 评论
Turner's logic of Universal Causation, Propositional logic, and logic programming
Turner's Logic of Universal Causation, Propositional Logic, ...
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Ji, Jianmin Lin, Fangzhen Univ Sci & Technol China Sch Comp Sci & Technol Hefei 230026 Peoples R China Hong Kong Univ Sci & Technol Dept Comp Sci & Engn Hong Kong Hong Kong Peoples R China
Turner's logic of universal causation is a general logic for nonmonotonic reasoning. It has its origin in McCain and Turner's causal action theories which have been translated to propositional logic and logic ... 详细信息
来源: 评论
Experience Based nonmonotonic reasoning
Experience Based Nonmonotonic Reasoning
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Borchmann, Daniel Tech Univ Dresden Dresden Germany
Within everyday reasoning we often use argumentation patterns that employ the rather vague notion of something being normally true. this form of reasoning is usually captured using Reiter's Default logic. However,... 详细信息
来源: 评论
Web reasoning and Rule Systems - 7th international conference, RR 2013, Proceedings
Web Reasoning and Rule Systems - 7th International Conferenc...
收藏 引用
7th international conference on Web reasoning and Rule Systems, RR 2013
the proceedings contain 26 papers. the topics discussed include: inconsistency management for description logic programs and beyond;reasoning about pattern-based XML queries;answer set programming: language, applicati...
来源: 评论
Decidability and Implementation of Parametrized logic Programs
Decidability and Implementation of Parametrized Logic Progra...
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Goncalves, Ricardo Alferes, Jose Julio Univ Nova Lisboa Fac Ciencias & Tecnol CENTRIA Dept Informat P-1200 Lisbon Portugal
Parametrized logic programs are very expressive logic programs that generalize normal logic programs under the stable model semantics, by allowing complex formulas of a parameter logic to appear in the body and head o... 详细信息
来源: 评论
Negation as a Resource: A Novel View on Answer Set Semantics
Negation as a Resource: A Novel View on Answer Set Semantics
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Costantini, Stefania Formisano, Andrea Univ Aquila DISIM I-67100 Laquila Italy Univ Perugia DMI Perugia Italy
In recent work, we provided a formulation of ASP programs in terms of linear logic theories. Based on this work, in this paper we propose and discuss a modified Answer Set Semantics, "Resource-based Answer Set Se... 详细信息
来源: 评论
Combining Equilibrium logic and Dynamic logic
Combining Equilibrium Logic and Dynamic Logic
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: del Cerro, Luis Farinas Herzig, Andreas Su, Ezgi Iraz Univ Toulouse CNRS IRIT Toulouse France
We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. these atomic programs are combined by... 详细信息
来源: 评论
logic-Based Techniques for Data Cleaning: An Application to the Italian National Healthcare System
Logic-Based Techniques for Data Cleaning: An Application to ...
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Terracina, Giorgio Martello, Alessandra Leone, Nicola Univ Calabria I-87030 Commenda Di Rende Italy DLVSyst Srl Arcavacata Di Rende Italy
In this paper we present a technique based on logic programming for data cleaning, and its application to a real use case from the Italian Healthcare System. the use case is part of a more complex project developing a... 详细信息
来源: 评论