咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是281-290 订阅
排序:
Lookahead in Smodels compared to local consistencies in CSP
Lookahead in Smodels compared to local consistencies in CSP
收藏 引用
8th international conference on logic programming and nonmonotonic reasoning
作者: You, JH Liu, GH Yuan, LY Onuczko, C Univ Alberta Dept Comp Sci Edmonton AB Canada
In answer set programming systems like Smodels and some SAT solvers, constraint propagation is carried out by a mechanism called lookahead. the question arises as what is the pruning power of lookahead, and how such p... 详细信息
来源: 评论
Belief Change in nonmonotonic Multi-Context Systems
Belief Change in Nonmonotonic Multi-Context Systems
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Wang, Yisong Zhuang, Zhiqiang Wang, Kewen Guizhou Univ Dept Comp Sci Guiyang 550025 Peoples R China Griffith Univ Sch Informat & Communicat Technol Nathan Qld 4111 Australia
Brewka and Eiter's nonmonotonic multi-context system is an elegant knowledge representation framework to model heterogeneous and nonmonotonic multiple contexts. Belief change is a central problem in knowledge repr... 详细信息
来源: 评论
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Ishebabi, Harold Mahr, Philipp Bobda, Christophe Gebser, Martin Schaub, Torsten Univ Potsdam Inst Informat D-14482 Potsdam Germany
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility Of field-programmable devices to customize architectures for parallel programs, thereby alleviating technolo... 详细信息
来源: 评论
An abstract interpretation approach to termination of logic programs  7th
收藏 引用
7th international conference on logic for programming and Automated reasoning
作者: Gori, R Univ Pisa Dipartimento Informat I-56125 Pisa Italy
In this paper we define a semantic foundation for an abstract interpretation approach to universal termination and we develop a new abstract domain useful for termination analysis. Based on this approximation we defin... 详细信息
来源: 评论
Contextual reasoning: Usually Birds Can Abductively Fly  14th
Contextual Reasoning: Usually Birds Can Abductively Fly
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Saldanha, Emmanuelle-Anna Dietz Hoelldobler, Steffen Pereira, Luis Moniz Tech Univ Dresden Int Ctr Computat Log D-01062 Dresden Germany North Caucasus Fed Univ Stavropol Russia Univ Nova Lisboa NOVA Lab Comp Sci & Informat Dept Informat Fac Ciencias & Tecnol P-2829516 Caparica Portugal
We present a new logic programming approach to contextual reasoning, based on the Weak Completion Semantics (WCS), the latter of which has been successfully applied in the past to adequately model various human reason... 详细信息
来源: 评论
Adjudication of Coreference Annotations via Answer Set Optimization  14th
Adjudication of Coreference Annotations via Answer Set Optim...
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Schuller, Peter Marmara Univ Fac Engn Dept Comp Engn Istanbul Turkey
We describe the first automatic approach for merging coreference annotations obtained from multiple annotators into a single gold standard. Merging is subject to hard constraints (consistency) and optimization criteri... 详细信息
来源: 评论
Symmetry Breaking for Distributed Multi-Context Systems
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Drescher, Christian Eiter, thomas Fink, Michael Krennwallner, thomas Walsh, Toby NICTA Locked Bag 6016 Sydney NSW 1466 Australia Techn Univ Wien Inst Informat Syst A-1040 Vienna Austria
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry detection and symmetry breaking in s... 详细信息
来源: 评论
Game Semantics for Non-monotonic Intensional logic programming
Game Semantics for Non-monotonic Intensional Logic Programmi...
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Galanaki, Chrysida Nomikos, Christos Rondogiannis, Panos Univ Athens Dept Informat & Telecommun GR-10679 Athens Greece Univ Ioannina Dept Comp Sci & Engn GR-45110 Ioannina Greece
Intensional logic programming is an extension of logic programming based on intensional logic, which includes as special cases both temporal and modal logic programming. In [OW92], M. Orgun and W. W. Wadge provided a ... 详细信息
来源: 评论
Complexity Results for Checking Equivalence of Stratified logic Programs
Complexity Results for Checking Equivalence of Stratified Lo...
收藏 引用
20th international Joint conference on Artificial Intelligence
作者: Eiter, thomas Fink, Michael Tompits, Hans Woltran, Stefan Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria
Recent research in nonmonotonic logic programming under the answer-set semantics focuses on different notions of program equivalence. However, previous results do not address the important classes of stratified progra... 详细信息
来源: 评论
Internet Routing and Non-monotonic reasoning  15th
Internet Routing and Non-monotonic Reasoning
收藏 引用
15th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Wang, Anduo Chen, Zhijia Temple Univ Philadelphia PA 19122 USA
Internet routing is the process of selecting paths across the Internet to connect the communicating hosts, it is unique in that path selection is jointly determined by a network of independently operated networks, kno... 详细信息
来源: 评论