咨询与建议

限定检索结果

文献类型

  • 668 篇 会议
  • 32 篇 期刊文献
  • 6 册 图书

馆藏范围

  • 705 篇 电子文献
  • 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...
  • 21 篇 knowledge repres...
  • 20 篇 formal logic
  • 18 篇 nonmonotonic rea...
  • 12 篇 calculations
  • 11 篇 artificial intel...
  • 9 篇 constraint progr...
  • 8 篇 answer-set progr...
  • 8 篇 atoms
  • 8 篇 inductive logic ...
  • 8 篇 ontology
  • 7 篇 knowledge repres...
  • 6 篇 data description
  • 6 篇 asp
  • 6 篇 description logi...
  • 6 篇 semantic web
  • 5 篇 belief revision

机构

  • 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 篇 inria rennes ren...
  • 6 篇 university of po...
  • 5 篇 univ potsdam ins...
  • 5 篇 univ a coruna la...
  • 5 篇 tu wien austria
  • 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...

语言

  • 700 篇 英文
  • 4 篇 中文
  • 2 篇 其他
检索条件"任意字段=7th International Conference on Logic Programming and Nonmonotonic Reasoning"
706 条 记 录,以下是581-590 订阅
排序:
An abductive approach for analysing event-based requirements specifications
收藏 引用
18th international conference on logic programming
作者: Russo, A Miller, R Nuseibeh, B Kramer, J Univ London Imperial Coll Sci Technol & Med London SW7 2BT England UCL London WC1E 6BT England Open Univ Milton Keynes MK7 6AA Bucks England
We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of, a system's reaction to events and safety properties. the approach uses a variant of ... 详细信息
来源: 评论
reasoning with infinite stable models II: Disjunctive programs
收藏 引用
18th international conference on logic programming
作者: Bonatti, PA Univ Milan Dip Tecnol Informaz I-26013 Crema Italy
the class of finitary normal logic programs-identified recently, [1]-makes it possible to reason effectively with function symbols, recursion, and infinite stable models. these features may lead to a full integration ... 详细信息
来源: 评论
Probabilistic finite domains: A brief overview  18th
收藏 引用
18th international conference on logic programming
作者: Angelopoulos, N Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England
We propose a new way of extending logic programming (LP) for reasoning with uncertainty. Probabilistic finite domains (Pfd) capitalise on ideas introduced by Constraint LP, on how to extend the reasoning capabilities ... 详细信息
来源: 评论
logic programming and nonmonotonic reasoning - 6th international conference, LPNMR 2001, Proceedings
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
the proceedings contain 39 papers. the topics discussed include: a computational logic approach to heterogeneous agent systems;on the complexity of model checking and inference in minimal models;data integration needs...
来源: 评论
nonmonotonic inductive logic programming
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Sakama, Chiaki Department of Computer and Communication Sciences Wakayama University Sakaedani Wakayama 640 8510 Japan
nonmonotonic logic programming (NMLP) and inductive logic programming (ILP) are two important extensions of logic programming. the former aims at representing incomplete knowledge and reasoning with commonsense, while... 详细信息
来源: 评论
reasoning with open logic programs
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Bonatti, Piero A. Dipartimento di Tecnologie dell'Informazione Università di Milano Italy
this paper motivates and introduces entailment problems over nonmonotonic theories some of whose predicates - called open predicates - are not (completely) specified. More precisely, we are interested in those inferen... 详细信息
来源: 评论
A computational logic approach to heterogenous agent systems
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Dix, Jürgen University of Manchester Dept. of CS Oxford Road Manchester M13 9PL United Kingdom
I report about a particular approach to heterogenous agent systems, IMPACT, which is strongly related to computational logic. the underlying methods and techniques stem from both non-monotonic reasoning and logic prog... 详细信息
来源: 评论
A comparative study of well-founded semantics for disjunctive logic programs
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Wang, Kewen Institut für Informatik Universität Potsdam Postfach 60 15 53 D-14415 Potsdam Germany
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reached about which semantics is the most... 详细信息
来源: 评论
New generation systems for non-monotonic reasoning
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Nicolas, Pascal Saubion, Frédéric Stéphan, Igor LERIA Université d'Angers 2 Bd Lavoisier F-49045 Angers Cedex 01 France
Default logic is recognized as a powerful framework for knowledge representation and incomplete information management. Its expressive power is suitable for non monotonic reasoning, but the counterpart is its very hig... 详细信息
来源: 评论
Ε-RES: reasoning about actions, events and observations
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Kakas, Antonis Miller, Rob Toni, Francesca Department of Computer Science University of Cyprus Cyprus School of Library Archive and Information Studies University College London United Kingdom Department of Computing Imperial College of Science Technology and Medicine London United Kingdom
the language Ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from a... 详细信息
来源: 评论