咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
Strong Equivalence of logic Programs with Abstract Constraint Atoms
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Liu, Guohua Goebel, Randy Janhunen, Tomi Niemela, Ilkka You, Jia-Huai Aalto Univ Dept Informat & Comp Sci Helsinki Finland Univ Alberta Dept Informat & Comp Sci Edmonton AB T6G 2M7 Canada
logic programs with abstract constraint atoms provide a unifying framework for studying logic programs with various kinds of constraints. Establishing strong equivalence between logic programs is a key property for pr... 详细信息
来源: 评论
Foundations and Extensions of Answer Set programming: the logical Approach
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Pearce, David Univ Politecn Madrid Dept Inteligencia Artificial E-28040 Madrid Spain
Answer Set programming, or ASP, is now becoming well-established as a declarative approach to problem-solving in AI and in an increasing number of practical, application domains. While a significant part of ASP resear... 详细信息
来源: 评论
Cluster-Based ASP Solving with claspar
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Gebser, Martin Kaminski, Roland Kaufmann, Benjamin Schaub, Torsten Schnor, Bettina Univ Potsdam Inst Informat Potsdam Germany
We report on three recent advances in the distributed ASP solver claspar. First, we describe its flexible architecture supporting various search strategies, including competitive search using a portfolio of solver con... 详细信息
来源: 评论
ASPIDE: Integrated Development Environment for Answer Set programming
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Febbraro, Onofrio Reale, Kristian Ricca, Francesco DLVSystem Srl Polo Tecnol Pzza Vermicelli I-87036 Arcavacata Di Rende Italy Univ Calabria Dipartimento Matemat I-87030 Arcavacata Di Rende Italy
Answer Set programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, several tools for ASP-program development have bee... 详细信息
来源: 评论
Partial Preferences and Ambiguity Resolution in Contextual Defeasible logic
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Bikakis, Antonis Antoniou, Grigoris Univ Luxembourg Luxembourg Luxembourg FORTH Inst Comp Sci Iraklion Greece
Domains, such as Ambient Intelligence and Social Networks, are characterized by some common features including distribution of the available knowledge, entities with different backgrounds, viewpoints and operational e... 详细信息
来源: 评论
Causal reasoning for Planning and Coordination of Multiple Housekeeping Robots
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Aker, Erdi Erdogan, Ahmetcan Erdem, Esra Patoglu, Volkan Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey
We consider a housekeeping domain with multiple cleaning robots and represent it in the action language C+. With such a formalization of the domain, a plan can be computed using the causal reasoner CCALC for each robo... 详细信息
来源: 评论
Symmetry Breaking for Distributed Multi-Context Systems
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Drescher, Christian Eiter, thomas Fink, Michael Krennwallner, thomas Walsh, Toby NICTA Locked Bag 6016 Sydney NSW 1466 Australia Techn Univ Wien Inst Informat Syst A-1040 Vienna Austria
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry detection and symmetry breaking in s... 详细信息
来源: 评论
STeLP - A Tool for Temporal Answer Set programming
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Cabalar, Pedro Dieguez, Martin Univ A Coruna Dept Comp Sci A Corunna Spain
In this paper we present STeLP, a solver for Answer Set programming with temporal operators. Taking as an input a particular kind of logic program with modal operators (called Splitable Temporal logic Program), STeLP ... 详细信息
来源: 评论
Transaction logic with External Actions
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Gomes, Ana Sofia Alferes, Jose Julio Univ Nova Lisboa Fac Ciencias & Tecnol Dept Informat P-2829516 Caparica Portugal
We propose External Transaction logic (or ET R), an extension of Transaction logic able to represent updates in internal and external domains whilst ensuring a relaxed transaction model. With this aim, ETR deals with ... 详细信息
来源: 评论
Loop Formulas for Splitable Temporal logic Programs
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Aguado, Felicidad Cabalar, Pedro Perez, Gilberto Vidal, Concepcion Univ A Coruna Dept Comp Sci La Coruna Spain
In this paper, we study a method for computing temporal equilibrium models, a generalisation of stable models for logic programs with temporal operators, as in Linear Temporal logic (LTL). To this aim, we focus on a s... 详细信息
来源: 评论