咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是321-330 订阅
排序:
How to decide query containment under constraints using a description logic  7th
收藏 引用
7th international conference on logic for programming and Automated reasoning
作者: Horrocks, I Sattler, U Tessaris, S Tobies, S Univ Manchester Dept Comp Sci Manchester M13 9PL Lancs England Rhein Westfal TH Aachen LuFg Theoret Comp Sci Aachen Germany
We present a procedure for deciding (database) query containment under constraints. the technique is to extend the logic DLR with an ABox, and to transform query subsumption problems into DLR ABox satisfiability probl... 详细信息
来源: 评论
A BDI Agents programming Language Based Fuzzy Beliefs  7
A BDI Agents Programming Language Based Fuzzy Beliefs
收藏 引用
7th international conference on Intelligent Human-Machine Systems and Cybernetics (IHMSC)
作者: Chen, Mei Lanzhou Jiaotong Univ Sch Elect & Informat Engn Lanzhou 730070 Peoples R China
the Belief-Desire-Intention (BDI) model is well suited for describing an agent's mental state. To model human reasoning with uncertainty and imprecision, fuzzy logic have been employed to represent beliefs for BDI... 详细信息
来源: 评论
Nurse Scheduling via Answer Set programming  14th
Nurse Scheduling via Answer Set Programming
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Dodaro, Carmine Maratea, Marco Univ Genoa DIBRIS Genoa Italy
the Nurse Scheduling problem (NSP) is a combinatorial problem that consists of assigning nurses to shifts according to given practical constraints. In previous years, several approaches have been proposed to solve dif... 详细信息
来源: 评论
Computing the acceptability semantics  3rd
Computing the acceptability semantics
收藏 引用
3rd international conference on logic programming and nonmonotonic reasoning, LPNMR 1995
作者: Toni, Francesca Kakas, Antonios C. Department of Computing Imperial College 180 Queen’s Gate LondonSW7 2BZ United Kingdom Department of Computer Science University of Cyprus 75 Kallipoleos Street P.O. Box 537 Nicosia Cyprus
We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. these proof theory and procedure are def... 详细信息
来源: 评论
ArgueApply: A Mobile App for Argumentation  14th
ArgueApply: A Mobile App for Argumentation
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Puehrer, Joerg Univ Leipzig Inst Comp Sci Leipzig Germany
Formal models developed in the field of argumentation allow for analysing and evaluating problems that have previously been studied by philosophers on an informal level only. Importantly, they also give rise to the de... 详细信息
来源: 评论
Definitions in answer set programming  7
收藏 引用
7th international conference on logic programming and nonmonotonic reasoning , LPNMR 2004
作者: Erdoğan, Selim T. Lifschitz, Vladimir Department of Computar Sciences University of Texas Austin United States
In answer set programming, programs often contain auxiliary atoms, "defined" in terms of atoms introduced earlier. To prove that the answer sets of a program containing definitions correspond to the solution... 详细信息
来源: 评论
Interpretability and equivalence in quantified equilibrium logic
Interpretability and equivalence in quantified equilibrium l...
收藏 引用
Workshop on Correspondence and Equivalence for nonmonotonic theories, CENT 2007, Colocated with 9th international conference on logic programming and nonmonotonic reasoning, LPNMR 2007
作者: Pearce, David Valverde, Agustín Computing Science and Artificial Intelligence Univ. Rey Juan Carlos Móstoles Madrid Spain Dept. of Applied Mathematics Univ. of Malaga Spain
the study of synonymy among propositional theories in equilibrium logic, begun in [36], is extended to the first-order case.
来源: 评论
Semantics for dynamic logic programming:A principle-based approach*  7
收藏 引用
7th international conference on logic programming and nonmonotonic reasoning , LPNMR 2004
作者: Alferes, José J. Banti, Federico Brogi, Antonio Leite, João A. CENTRIA Universidade Nova de Lisboa Portugal Dipartimento di Informatica Università di Pisa Italy
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. the availability of different semantics naturally raises the question of which are most adequate to mo... 详细信息
来源: 评论
reasoning About Actions with EL Ontologies and Temporal Answer Sets for DLTL  16th
Reasoning About Actions with EL Ontologies and Temporal Answ...
收藏 引用
16th international conference on logic programming and Non-Monotonic reasoning (LPNMR)
作者: Giordano, Laura Martelli, Alberto Dupre, Daniele theseider Univ Piemonte Orientale DISIT Alessandria Italy Univ Torino Dipartimento Informat Turin Italy
We propose an approach for reasoning about actions with domain descriptions including an EL perpendicular to ontology in a temporal action theory. the action theory is based on a Dynamic Linear Time Temporal logic, wh... 详细信息
来源: 评论
Manifold Answer-Set Programs for Meta-reasoning
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Faber, Wolfgang Woltran, Stefan Univ Calabria I-87030 Commenda Di Rende Italy Vienna Univ Technol A-1040 Vienna Austria
In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple reasoning over answer sets is sometimes supported... 详细信息
来源: 评论