咨询与建议

限定检索结果

文献类型

  • 572 篇 会议
  • 34 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 625 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 549 篇 工学
    • 545 篇 计算机科学与技术...
    • 304 篇 软件工程
    • 16 篇 电气工程
    • 13 篇 信息与通信工程
    • 13 篇 控制科学与工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 农业工程
    • 1 篇 建筑学
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 环境科学与工程(可...
    • 1 篇 食品科学与工程(可...
  • 97 篇 理学
    • 90 篇 数学
    • 5 篇 物理学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 生物学
  • 26 篇 管理学
    • 19 篇 图书情报与档案管...
    • 8 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 221 篇 logic programmin...
  • 45 篇 answer set progr...
  • 39 篇 semantics
  • 23 篇 computer circuit...
  • 21 篇 knowledge repres...
  • 19 篇 nonmonotonic rea...
  • 18 篇 artificial intel...
  • 15 篇 formal logic
  • 11 篇 mathematical log...
  • 10 篇 logics and meani...
  • 8 篇 answer-set progr...
  • 8 篇 description logi...
  • 8 篇 atoms
  • 8 篇 programming tech...
  • 7 篇 inductive logic ...
  • 6 篇 software enginee...
  • 6 篇 asp
  • 6 篇 knowledge repres...
  • 6 篇 semantic web
  • 6 篇 stable models

机构

  • 20 篇 vienna univ tech...
  • 10 篇 univ potsdam pot...
  • 10 篇 univ kentucky de...
  • 7 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 6 篇 univ potsdam ins...
  • 5 篇 univ a coruna la...
  • 5 篇 tu wien austria
  • 5 篇 univ genoa dibri...
  • 5 篇 univ calabria ar...
  • 5 篇 univ calabria de...
  • 5 篇 univ calabria de...
  • 5 篇 univ alberta dep...
  • 5 篇 vienna univ tech...
  • 4 篇 vienna universit...
  • 4 篇 univ potsdam ins...
  • 4 篇 university of ca...
  • 4 篇 simon fraser uni...

作者

  • 32 篇 schaub torsten
  • 24 篇 gebser martin
  • 22 篇 ricca francesco
  • 18 篇 leone nicola
  • 18 篇 tompits hans
  • 17 篇 eiter thomas
  • 16 篇 woltran stefan
  • 16 篇 alviano mario
  • 13 篇 faber wolfgang
  • 13 篇 cabalar pedro
  • 10 篇 ianni giovambatt...
  • 9 篇 lifschitz vladim...
  • 9 篇 calimeri frances...
  • 9 篇 fink michael
  • 9 篇 pearce david
  • 9 篇 you jia-huai
  • 8 篇 eiter t
  • 8 篇 leite joao
  • 8 篇 leone n
  • 8 篇 son tran cao

语言

  • 618 篇 英文
  • 4 篇 其他
  • 3 篇 中文
检索条件"任意字段=10th International Conference on Logic Programming and Nonmonotonic Reasoning"
625 条 记 录,以下是91-100 订阅
排序:
Here's the Beef: Answer Set programming!
Here's the Beef: Answer Set Programming!
收藏 引用
24th international conference on logic programming (ICLP)
作者: Schaub, Torsten Univ Potsdam Inst Informat D-14482 Potsdam Germany
At the occasion of the third international conference on Principles of Knowledge Representation and reasoning [1] in 1992, Ray Reiter delivered an invited talk entitled "Twelve Years of nonmonotonic reasoning Res... 详细信息
来源: 评论
Four-Valued Semantics for Granular reasoning towards Frame Problem  10
Four-Valued Semantics for Granular Reasoning towards Frame P...
收藏 引用
Joint 10th international conference on Soft Computing and Intelligent Systems (SCIS) / 19th international Symposium on Advanced Intelligent Systems (ISIS)
作者: Nakayama, Yotaro Akama, Seiki Murai, Tetsuya Nihon Unisys Ltd Technol Res & Innovat Koto Ku Tokyo Japan C Republic Inc Kawasaki Kanagawa Japan Chitose Inst Sci & Technol Dept Informat Syst Engn Chitose Hokkaido Japan
Four-valued semantics is applied to a deduction basis for granular reasoning with zooming operation. this enables the granular reasoning useful for the foundation of reasoning for incomplete and inconsistent informati... 详细信息
来源: 评论
SMODELSA -: A system for computing answer sets of logic programs
SMODELS<i><SUP>A</SUP></i> -: A system for computing answer ...
收藏 引用
8th international conference on logic programming and nonmonotonic reasoning
作者: Elkabani, I Pontelli, E Son, TC New Mexico State Univ Las Cruces NM 88003 USA
No abstract available
来源: 评论
A comparison of sceptical NAF-free logic programming approaches  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Antoniou, G Maher, MJ Billington Governatori, G Griffith Univ CIT Nathan Qld 4111 Australia
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, default reasoning is modelled by rules and ... 详细信息
来源: 评论
Towards a systematic approach to representing knowledge in declarative logic programming (invited talk)  4th
Towards a systematic approach to representing knowledge in d...
收藏 引用
4th international conference on logic programming and nonmonotonic reasoning (LPNMR 97)
作者: Gelfond, M Univ Texas Dept Comp Sci El Paso TX 79968 USA
来源: 评论
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... 详细信息
来源: 评论
Probabilistic reasoning with answer sets  7
收藏 引用
7th international conference on logic programming and nonmonotonic reasoning
作者: Baral, C Gelfond, M Rushton, N Arizona State Univ Dept Comp Sci & Engn Tempe AZ 85287 USA Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA
We give a logic programming based account of probability and describe a declarative language P-log capable of reasoning which combines both logical and probabilistic arguments. Several non-trivial examples illustrate ... 详细信息
来源: 评论
Relevance-Driven Evaluation of Modular nonmonotonic logic Programs
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Dao-Tran, Minh Eiter, thomas Fink, Michael Krennwallner, thomas Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input from other modules, while allowing (mutu... 详细信息
来源: 评论
Partial equilibrium logic
收藏 引用
ANNALS OF MAthEMATICS AND ARTIFICIAL INTELLIGENCE 2007年 第3-4期50卷 305-331页
作者: Cabalar, Pedro Odintsov, Sergei Pearce, David Valverde, Agustin Univ A Coruna Corunna Spain Sobolev Inst Math Novosibirsk Russia Rey Juan Carlos Univ Madrid Spain Univ Malaga Dept Math Appl E-29071 Malaga Spain
Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In particular it provides a logical foundation fo... 详细信息
来源: 评论
A Revised Concept of Safety for General Answer Set Programs
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Cabalar, Pedro Pearce, David Valverde, Agustin Univ A Coruna La Coruna Spain Univ Politecn Madrid Madrid Spain Univ Malaga E-29071 Malaga Spain
To ensure a close relation between the answer sets of a program and those of its ground version, some answer set solvers deal with variables by requiring a safety condition on program rules. If we go beyond the syntax... 详细信息
来源: 评论