CLOSED-WORLD DATABASES AND CIRCUMSCRIPTION

被引：41
|
作者：
LIFSCHITZ, V [1 ]
机构：
[1] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305
来源：
ARTIFICIAL INTELLIGENCE | 1985年 / 27卷 / 02期
关键词：
D O I：
10.1016/0004-3702(85)90055-4
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：229 / 235
页数：7
相关论文
共 50 条
  • [1] PROPOSITIONAL CIRCUMSCRIPTION AND EXTENDED CLOSED-WORLD REASONING ARE PI-P2-COMPLETE
    EITER, T
    GOTTLOB, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1993, 114 (02) : 231 - 245
  • [2] 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
  • [3] Fusion under the closed-world assumption
    Grégoire, E
    [J]. SENSOR FUSION: ARCHITECTURES, ALGORITHMS AND APPLICATIONS V, 2001, 4385 : 197 - 204
  • [4] 3 THEORIES OF CLOSED-WORLD REASONING
    LIFSCHITZ, V
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 848 - 848
  • [5] PROPOSITIONAL CIRCUMSCRIPTION AND EXTENDED CLOSED-WORLD REASONING ARE PI(P)(2)-COMPLETE (VOL 114, PG 231, 1993)
    EITER, T
    GOTTLOB, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1993, 118 (02) : 315 - 315
  • [6] 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
  • [7] Evaluation of queries under closed-world assumption
    Suchenek, MA
    [J]. JOURNAL OF AUTOMATED REASONING, 1997, 18 (03) : 357 - 398
  • [8] Sound and efficient closed-world reasoning for planning
    Etzioni, O
    Golden, K
    Weld, DS
    [J]. ARTIFICIAL INTELLIGENCE, 1997, 89 (1-2) : 113 - 148
  • [9] BREAKING THE CLOSED-WORLD ASSUMPTION IN STYLOMETRIC AUTHORSHIP ATTRIBUTION
    Stolerman, Ariel
    Overdorf, Rebekah
    Afroz, Sadia
    Greenstadt, Rachel
    [J]. ADVANCES IN DIGITAL FORENSICS X, 2014, 433 : 185 - 205
  • [10] Real-time closed-world tracking
    Intille, SS
    Davis, JW
    Bobick, AF
    [J]. 1997 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, 1997, : 697 - 703
12345