咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是561-570 订阅
排序:
nonmonotonic reasoning by inhibition nets II
收藏 引用
international JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS 2003年 第Nov2003_sup期11卷 105-135页
作者: Leitgeb, H Salzburg Univ Dept Philosophy A-5020 Salzburg Austria
this paper is a sequel to Leitgeb(7). We show that certain networks called 'inhibition nets' may be regarded as mechanisms drawing nonmonotonic inferences if only an interpretation of net states as states of b... 详细信息
来源: 评论
Enhancing disjunctive logic programming systems by SAT checkers
收藏 引用
ARTIFICIAL INTELLIGENCE 2003年 第1-2期151卷 177-212页
作者: Koch, C Leone, N Pfeifer, G Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria Univ Calabria Dept Math I-87030 Arcavacata Di Rende CS Italy
Disjunctive logic programming (DLP) with stable model semantics is a powerful nonmonotonic formalism for knowledge representation and reasoning. reasoning with DLP is harder than with normal (boolean OR-free) logic pr... 详细信息
来源: 评论
Computing preferred answer sets in answer set programming  1
收藏 引用
10th international conference on logic for programming, Artificial Intelligence, and reasoning (LPAR2003)
作者: Wakaki, T Inoue, K Sakama, C Nitta, K Shibaura Inst Technol Dept Elect Informat Syst Minuma Ku Saitama City Saitama 3378570 Japan Kobe Univ Dept Elect & Elect Engn Kobe Hyogo 6578501 Japan Wakayama Univ Ctr Informat Sci Wakayama 6408510 Japan Tokyo Inst Technol Dept Computat Intelligence & Syst Sci Midori Ku Yokohama Kanagawa 2268502 Japan
Prioritized logic programs (PLPs) have a mechanism of representing priority knowledge in logic programs. the declarative semantics of a PLP is given as preferred answer sets which are used for representing nonmonotoni... 详细信息
来源: 评论
On the relation between reiter's default logic and its (major) variants
收藏 引用
7th European conference, ECSQARU 2003
作者: Delgrande, James P. Schaub, Torsten School of Computing Science Simon Fraser University Burnaby BC V5A 1S6 Canada Institut für Informatik Universität Potsdam D-14415 Potsdam Germany
Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to give systems with properties differing from th... 详细信息
来源: 评论
Implementation of an Arabic Morphological Analyzer within constraint logic programming framework
Implementation of an Arabic Morphological Analyzer within co...
收藏 引用
7th international conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2003)
作者: Zidoum, H SQU Univ Dept Comp Sci Al Khoud 132 PC Oman
this paper presents an Arabic Morphological Analyzer and its implementation in clp(FD), a constraint logic programming language. the Morphological Analyzer (MA) represents a component of an architecture which can proc... 详细信息
来源: 评论
Efficient evaluation of logic programs for querying data integration systems
收藏 引用
19th international conference on logic programming
作者: Eiter, T Fink, M Greco, G Lembo, D Vienna Tech Univ A-1040 Vienna Austria Univ Calabria DEIS I-87036 Arcavacata Di Rende Italy Univ Roma La Sapienza Dipartimento Informat & Sistemist I-00198 Rome Italy
Many data integration systems provide transparent access to heterogeneous data sources through a unified view of all data in terms of a global schema, which may be equipped with integrity constraints on the data. Sinc... 详细信息
来源: 评论
From tableaux to automata for Description logics  1
收藏 引用
10th international conference on logic for programming, Artificial Intelligence, and reasoning (LPAR2003)
作者: Baader, F Hladik, J Lutz, C Wolter, F Tech Univ Dresden D-01062 Dresden Germany Univ Liverpool Dept Comp Sci Liverpool L69 7ZF Merseyside England
this paper investigates the relationship between automata-and tableau-based inference procedures for Description logics. To be more precise, we develop an abstract notion of what a tableau-based algorithm is, and then... 详细信息
来源: 评论
Handling equality in monodic temporal resolution  1
收藏 引用
10th international conference on logic for programming, Artificial Intelligence, and reasoning (LPAR2003)
作者: Konev, B Degtyarev, A Fisher, M Univ Liverpool Dept Comp Sci Liverpool L69 7ZF Merseyside England Kings Coll London Dept Comp Sci London WC2R 2LS England
First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic firs... 详细信息
来源: 评论
logic programming and knowledge representation - the A-Prolog perspective
收藏 引用
ARTIFICIAL INTELLIGENCE 2002年 第1-2期138卷 3-38页
作者: Gelfond, M Leone, N Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA Univ Calabria Dept Math I-87030 Arcavacata Di Rende CS Italy
In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. the intention is to help the reader to develop a 'feel' for the field's history and some ... 详细信息
来源: 评论
Answer set programming and plan generation
收藏 引用
ARTIFICIAL INTELLIGENCE 2002年 第1-2期138卷 39-54页
作者: Lifschitz, V Univ Texas Austin TX 78712 USA
the idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answ... 详细信息
来源: 评论