咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
Prolog and ASP Inference under One Roof
Prolog and ASP Inference under One Roof
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Balduccini, Marcello Lierler, Yuliya Schuller, Peter Eastman Kodak Co Rochester NY 14650 USA Univ Nebraska Omaha NE USA Sabancuy Univ Istanbul Turkey
Answer set programming (ASP) is a declarative programming paradigm stemming from logic programming that has been successfully applied in various domains. Despite amazing advancements in ASP solving, many applications ... 详细信息
来源: 评论
A Causal logic of logic programming  9
A Causal Logic of Logic Programming
收藏 引用
9th international conference on Principles of Knowledge Representation and reasoning, KR 2004
作者: Bochman, Alexander Computer Science Department Holon Academic Institute of Technology Israel
the causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal theory satisfying the Negation As Defa... 详细信息
来源: 评论
A Tractable logic for Molecular Biology  35
A Tractable Logic for Molecular Biology
收藏 引用
35th international conference on logic programming (ICLP)
作者: Husson, Adrien Krivine, Jean Univ Paris IRIF CNRS F-75013 Paris France
We introduce a logic for knowledge representation and reasoning on protein-protein interactions. Modulo a theory, formulas describe protein structures and dynamic changes. they can be composed in order to add or remov... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Uniform evaluation of nonmonotonic DL-programs
Uniform evaluation of nonmonotonic DL-programs
收藏 引用
7th international Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012
作者: Eiter, thomas Krennwallner, thomas Schneider, Patrik Xiao, Guohui Institut für Informationssysteme Technische Universität Wien Favoritenstraße 9-11 A-1040 Vienna Austria
nonmonotonic description logic programs are a major formalism for a loose coupling of rules and ontologies, formalized in logic programming and description logics, respectively. While this approach is attractive for c... 详细信息
来源: 评论
Towards Algorithmic Cut-Introduction
Towards Algorithmic Cut-Introduction
收藏 引用
18th international conference on logic for programming, Artificial Intelligence, and reasoning (LPAR)
作者: Hetzl, Stefan Leitsch, Alexander Weller, Daniel Vienna Univ Technol Inst Diskrete Math & Geometrie Vienna Austria Vienna Univ Technol Inst Computersprachen Vienna Austria
We describe a method for abbreviating an analytic classical first-order logic by the introduction of a lemma. Our is based on first computing a compressed representation of present in the analytic proof and then a cut... 详细信息
来源: 评论
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... 详细信息
来源: 评论
logic programming and nonmonotonic reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Pedro Cabalar Tran Cao Son
this volume contains the refereed proceedings of the 12th international conference on logic programming and nonmonotonic reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. the 34 revised full papers (22 ... 详细信息
来源: 评论
Making contextual intensional logic nonmonotonic
Making contextual intensional logic nonmonotonic
收藏 引用
5th international and Interdisciplinary conference CONTEXT 2005 - Modeling and Using Context
作者: thomason, Richmond H. Philosophy Department University of Michigan Ann Arbor MI 48109-2110 United States
this paper motivates and presents a nonmonotonic version of Contextual Intensional logic, a type-theoretic logic intended as a general formalism for reasoning about context. In developing this logic, it is necessary t... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论