咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
A Sequential Model for reasoning about Bargaining in logic Programs
A Sequential Model for Reasoning about Bargaining in Logic P...
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Chen, Wu Zhang, Dongmo Wu, Maonian Southwest Univ Coll Comp & Informat Sci Chongqing Peoples R China Univ Western Sydney Sydney NSW Australia Guizhou Univ Guizhou Peoples R China
this paper presents a sequential model of bargaining based on abductive reasoning in ASP. We assume that each agent is represented by a logic program that encodes the background knowledge of the agent. Each agent has ... 详细信息
来源: 评论
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Preliminary Report)
On Equivalent Transformations of Infinitary Formulas under t...
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Harrison, Amelia Lifschitz, Vladimir Truszczynski, Miroslaw Univ Texas Austin Austin TX 78712 USA Univ Kentucky Lexington KY USA
It has been known for a long time that intuitionistically equivalent formulas have the same stable models. We extend this theorem to propositional formulas with infinitely long conjunctions and disjunctions and show h... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Graph operations and monadic second-order logic: A survey  7th
收藏 引用
7th international conference on logic for programming and Automated reasoning
作者: Courcelle, B Univ Bordeaux 1 LaBRI CNRS UMR 5800 F-33405 Talence France
We handle finite graphs in two ways, as relational structures on the one hand, and as algebraic objects, i.e., as elements of algebras, based on graph operations on the other.
来源: 评论
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... 详细信息
来源: 评论
nonmonotonic inductive logic programming
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Sakama, Chiaki Department of Computer and Communication Sciences Wakayama University Sakaedani Wakayama 640 8510 Japan
nonmonotonic logic programming (NMLP) and inductive logic programming (ILP) are two important extensions of logic programming. the former aims at representing incomplete knowledge and reasoning with commonsense, while... 详细信息
来源: 评论
C-ASP: Continuous ASP-Based reasoning over RDF Streams  15th
C-ASP: Continuous ASP-Based Reasoning over RDF Streams
收藏 引用
15th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Pham, thu-Le Ali, Muhammad Intizar Mileo, Alessandra Natl Univ Ireland Insight Ctr Data Analyt Galway Ireland IDA Bussiness Pk Galway Ireland Dublin City Univ Insight Ctr Data Analyt Dublin 9 Ireland
the ability to perform complex reasoning over data streams has recently become an important area of research in the Semantic Web community. Most of SPARQL-inspired engines have limitations in capturing sophisticated u... 详细信息
来源: 评论
Minimal founded semantics for disjunctive logic programming  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Greco, S Univ Calabria DEIS I-87030 Rende Italy
In this paper, we propose a new semantics for disjunctive logic programming and deductive databases. the semantics, called minimal founded, generalizes stable model semantics for normal (i.e. non disjunctive) programs... 详细信息
来源: 评论
logic programming and nonmonotonic reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: James P. Delgrande Wolfgang Faber
this volume contains the refereed proceedings of the 11th international conference on logic programming and nonmonotonic reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada.the 16 revised full papers (13 tech... 详细信息
来源: 评论
Representing Multi-agent Planning in CLP
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Dovier, Agostino Formisano, Andrea Pontelli, Enrico Univ Udine I-33100 Udine Italy Univ Perugia I-06100 Perugia Italy New Mexico State Univ Las Cruces NM 88003 USA
We explore the use, of Constraint;Lopic programming (CLP) as a platform for experimenting with planning domains ill presence of multiple interacting agents. We develop a novel constraint-based action language B-MAP th... 详细信息
来源: 评论