3 THEORIES OF CLOSED-WORLD REASONING

被引：0
|
作者：
LIFSCHITZ, V
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：848 / 848
页数：1
相关论文
共 50 条
  • [1] Sound and efficient closed-world reasoning for planning
    Etzioni, O
    Golden, K
    Weld, DS
    [J]. ARTIFICIAL INTELLIGENCE, 1997, 89 (1-2) : 113 - 148
  • [2] SATURATION, NONMONOTONIC REASONING AND THE CLOSED-WORLD ASSUMPTION
    BOSSU, G
    SIEGEL, P
    [J]. ARTIFICIAL INTELLIGENCE, 1985, 25 (01) : 13 - 63
  • [3] Efficient reasoning using the local closed-world assumption
    Doherty, P
    Lukaszewicz, W
    Szalas, A
    [J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, 2000, 1904 : 49 - 58
  • [4] Semantic matchmaking of web resources with local closed-world reasoning
    Grimm, Stephan
    Hitzler, Pascal
    [J]. INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE, 2007, 12 (02) : 89 - 126
  • [5] Matching semantic service descriptions with local closed-world reasoning
    Grimm, Stephan
    Motik, Boris
    Preist, Chris
    [J]. SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS, 2006, 4011 : 575 - 589
  • [6] CLOSED-WORLD DATABASES AND CIRCUMSCRIPTION
    LIFSCHITZ, V
    [J]. ARTIFICIAL INTELLIGENCE, 1985, 27 (02) : 229 - 235
  • [7] A Logic for Closed-World Interaction
    Broersen, Jan
    Mastop, Rosja
    Meyer, John-Jules Ch
    Turrini, Paolo
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 89 - 99
  • [8] PROPOSITIONAL CIRCUMSCRIPTION AND EXTENDED CLOSED-WORLD REASONING ARE PI-P2-COMPLETE
    EITER, T
    GOTTLOB, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1993, 114 (02) : 231 - 245
  • [9] Fusion under the closed-world assumption
    Grégoire, E
    [J]. SENSOR FUSION: ARCHITECTURES, ALGORITHMS AND APPLICATIONS V, 2001, 4385 : 197 - 204
  • [10] Enhancing Existential Rules by Closed-World Variables
    Amendola, Giovanni
    Leone, Nicola
    Manna, Marco
    Veltri, Pierfrancesco
    [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 1676 - 1682
12345