咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
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... 详细信息
来源: 评论
Planning with preferences using logic programming  7
收藏 引用
7th international conference on logic programming and nonmonotonic reasoning , LPNMR 2004
作者: Son, Tran Cao Pontelli, Enrico Department of Computer Science New Mexico State University Las CrucesNM88003 United States
We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. this novel language allows users to elegantly express non-trivial, multi-... 详细信息
来源: 评论
Classifying semi-normal default logic on the basis of its expressive power  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Janhunen, T Helsinki Univ Technol Lab Theoret & Comp Sci FIN-02015 HUT Finland
this paper reports on systematic research which aims to classify non-monotonic logics by their expressive power. the classification is based on translation functions that satisfy three important criteria: polynomialit... 详细信息
来源: 评论
Non-monotonic Temporal Goals
Non-monotonic Temporal Goals
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Goncalves, Ricardo Knorr, Matthias Leite, Joao Slota, Martin Univ Nova Lisboa CENTRIA P-1200 Lisbon Portugal
In this paper we introduce a logic programming based framework which allows the representation of conditional non-monotonic temporal beliefs and goals in a declarative way. We endow it with stable model like semantics... 详细信息
来源: 评论
nonmonotonic reasoning in FLORID  4th
Nonmonotonic reasoning in FLORID
收藏 引用
4th international conference on logic programming and Non-Monotonic reasoning, LPNMR 1997
作者: Kandzia, Paul-th Institut füt Informatik Albert-Ludwigs-Universität FreiburgD-79110 Germany
the advantages of FLORID as a deductive object-oriented databaSe system are the rich object-oriented modeling facilities of its language Flogic. the focus of this paper is on FLORID’S multiple inheritance mechanism w... 详细信息
来源: 评论
Preference Handling for Belief-Based Rational Decisions
Preference Handling for Belief-Based Rational Decisions
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Sa, Samy Alcantara, Joao Univ Fed Ceara MDCC Fortaleza Ceara Brazil
We introduce an approach to preferences suitable for agents that base decisions on their beliefs. In our work, agents' preferences are perceived as a consequence of their beliefs, but at the same time are used to ... 详细信息
来源: 评论
An ID-logic formalization of the composition of autonomous databases
An ID-logic formalization of the composition of autonomous d...
收藏 引用
8th international conference on logic programming and nonmonotonic reasoning
作者: Van Nuffelen, B Arieli, O Cortés-Calabuig, A Bruynooghe, M Katholieke Univ Leuven Dept Comp Sci Louvain Belgium Acad Coll Tel Aviv Dept Comp Sci Tel Aviv Israel
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitions. We consider ID-logic theories that... 详细信息
来源: 评论
Conditional planning with external functions
Conditional planning with external functions
收藏 引用
9th international conference on logic programming and nonmonotonic reasoning
作者: Van Nieuwenborgh, Davy Eiter, thomas Vermeir, Dirk Vrije Univ Brussel Dept Comp Sci Pleinlaan 2 B-1050 Brussels Belgium Vienna Univ Technol Inst Informat Syst Vienna Austria
We introduce the logic-based planning language K-c as an extension of K [5]. K-c has two advantages upon K. First, the introduction of external function calls in the rules of a planning description allows the knowledg... 详细信息
来源: 评论
On Reductive Semantics of Aggregates in Answer Set programming
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Lee, Joohyung Meng, Yunsong Arizona State Univ Tempe AZ 85287 USA
Several proposals of the semantics of aggregates are based oil different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building upon a reductive approach to designin... 详细信息
来源: 评论
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... 详细信息
来源: 评论