咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是311-320 订阅
排序:
Concrete Results on Abstract Rules
Concrete Results on Abstract Rules
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Kroetzsch, Markus Magka, Despoina Horrocks, Ian Univ Oxford Dept Comp Sci Oxford OX1 2JD England
there are many different notions of "rule" in the literature. A key feature and main intuition of any such notion is that rules can be "applied" to derive conclusions from certain premises. More fo... 详细信息
来源: 评论
A General Approach to the Verification of Cryptographic Protocols Using Answer Set programming
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Delgrande, James P. Grote, Torsten Hunter, Aaron Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada
We introduce a general approach to cryptographic protocol verification based oil answer set programming. In our approach, cryptographic protocols are represented as extended logic programs where the answer Sets corres... 详细信息
来源: 评论
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... 详细信息
来源: 评论
On the role of negation in choice logic programs  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: De Vos, M Vermeir, D Free Univ Brussels Dept Comp Sci B-1050 Brussels Belgium
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally model decision problems where, depending ... 详细信息
来源: 评论
On the implementation of global abduction
收藏 引用
7th international Workshop on Computational logic in Multi-Agent Systems
作者: Christiansen, Henning Roskilde Univ Dept Comp Sci DK-4000 Roskilde Denmark
Global Abduction (GA) is a recently proposed logical formalism for agent oriented programming which allows an agent to collect information about the world and update this in a nonmonotonic: way when changes in the wor... 详细信息
来源: 评论
Symbolic System Synthesis Using Answer Set programming
Symbolic System Synthesis Using Answer Set Programming
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Andres, Benjamin Gebser, Martin Schaub, Torsten Haubelt, Christian Reimann, Felix Glass, Michael Univ Potsdam Inst Comp Sci Potsdam Germany Univ Rostock Inst Appl Microelect & Comp Rostock Germany Univ Erlangen Nurnberg Chair Hardware Software Co Design Nurnberg Germany
Recently, Boolean Satisfiability (SAT) solving has been proposed to tackle the increasing complexity in high-level system design. Working well for system specifications with a limited amount of routing options, they t... 详细信息
来源: 评论
Extending disjunctive logic programming by T-norms  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Mateis, C Vienna Univ Technol Dept Informat Syst A-1040 Vienna Austria
this paper proposes a new knowledge representation language, called QDLP, which extends DLP to deal with uncertain values. A certainty degree interval (a subinterval of [0, 1]) is assigned to each (quantitative) rule.... 详细信息
来源: 评论
Using criticalities as a heuristic for answer set programming  7
收藏 引用
7th international conference on logic programming and nonmonotonic reasoning , LPNMR 2004
作者: Sabuncu, Orkunt Alpaslan, Ferda N. Akman, Varol Department of Computer Engineering Middle East Technical University Ankara06531 Turkey Department of Computer Engineering Bilkent University Ankara06800 Turkey
Answer Set programming is a new paradigm based on logic programming. the main component of answer set programming is a system that finds the answer sets of logic programs. During the computation of an answer set, syst... 详细信息
来源: 评论
Unfounded sets for disjunctive logic programs with arbitrary aggregates
Unfounded sets for disjunctive logic programs with arbitrary...
收藏 引用
8th international conference on logic programming and nonmonotonic reasoning
作者: Faber, W Univ Calabria Dept Math I-87030 Arcavacata Di Rende CS Italy
Aggregates in answer set programming (ASP) have recently been studied quite intensively. the main focus of previous work has been on defining suitable semantics for programs with arbitrary, potentially recursive aggre... 详细信息
来源: 评论
A Bird's-Eye View of Forgetting in Answer-Set programming  14th
A Bird's-Eye View of Forgetting in Answer-Set Programming
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Leite, Joao Univ Nova Lisboa NOVA LINCS Lisbon Portugal Univ Nova Lisboa Dept Informat Lisbon Portugal
Forgetting is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant, while preserving all relationships (direct and indirect) between the remaining variables. When ... 详细信息
来源: 评论