咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是631-640 订阅
排序:
Towards first-order nonmonotonic reasoning  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Rosati, R Univ Roma La Sapienza Dipartimento Informat & Sistemist I-00198 Rome Italy
We investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in first-order MKNF, the modal logic of minimal knowledge and negation as failure introduced b... 详细信息
来源: 评论
Practical nonmonotonic reasoning: Extending inheritance techniques to solve real-world problems  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Morgenstern, L IBM TJ Watson Res Hawthorne NY 10532 USA
Despite the obvious relevance of plausible reasoning to real-world problem solving, nonmonotonic logics are rarely used in commercial applications or large- scale commonsense reasoning systems. this is largely because...
来源: 评论
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 ... 详细信息
来源: 评论
Representing transition systems by logic programs  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Lifschitz, V Turner, H Univ Texas Dept Comp Sci Austin TX 78712 USA Univ Minnesota Dept Comp Sci Duluth MN 55812 USA
this paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action language C. We show here that many of the i... 详细信息
来源: 评论
Fixed-parameter complexity in AI and nonmonotonic reasoning  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Gottlob, G Scarcello, F Sideri, M Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria Athens Univ Econ & Business Dept Comp Sci Athens Greece
We study the fixed-parameter complexity of various problems in Al and nonmonotonic reasoning. We show that a number of relevant parameterized problems in these areas are fixed-parameter tractable. Among these problems... 详细信息
来源: 评论
Transformations of logic programs related to causality and planning  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Erdem, E Lifschitz, V Univ Texas Dept Comp Sci Austin TX 78712 USA
We prove two properties of logic programs under the answer set semantics that may be useful in connection with applications of logic programming to representing causality and to planning. One theorem is about the use ... 详细信息
来源: 评论
An argumentation framework for reasoning about actions and change  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Kakas, A Miller, R Toni, F Univ Cyprus Dept Comp Sci Nicosia Cyprus UCL Sch Lib Archive & Informat Studies London England Univ London Imperial Coll Sci Technol & Med Dept Comp London England
We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and. change, can be translated into the argumentation framework of logic programming without Nega... 详细信息
来源: 评论
Default reasoning via blocking sets  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Linke, T Schaub, T Univ Potsdam Inst Informat D-14415 Potsdam Germany
We present a new approach to reasoning with default logic that aims at Reiter's original approach, whenever there is no source for incoherence. We accomplish this by shifting the emphasis from the application of i... 详细信息
来源: 评论
Precedent, deontic logic, and inheritance  99
Precedent, deontic logic, and inheritance
收藏 引用
7th international conference on Artificial Intelligence and Law
作者: Horty, John F. Univ of Maryland College Park MD United States
the purpose of this paper is to establish some connections between precedent-based reasoning as it is studied in the field of Artificial Intelligence and Law, particularly in the work of Ashley, and two other fields: ... 详细信息
来源: 评论
Locally determined logic programs  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Cenzer, D Remmel, JB Vanderbilt, A Univ Florida Dept Math Gainesville FL 32611 USA Univ Calif San Diego Dept Math La Jolla CA 92093 USA
In general, the set of stable models of a recursive propositional logic program can be quite complex. For example, it follows from results of Marek, Nerode, and Remmel [8] that there exists finite predicate logic prog... 详细信息
来源: 评论