Domain theory meets default logic

被引：0
|
作者：
机构：
来源：
J Logic Comput | / 1卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Temporalizing epistemic default logic
    Van Der Hoek W.
    Meyer J.-J.
    Treur J.
    Journal of Logic, Language and Information, 1998, 7 (3) : 341 - 367
  • [42] DEFAULT REASONING IN A TERMINOLOGICAL LOGIC
    SEBASTIANI, F
    STRACCIA, U
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (03): : 225 - 251
  • [43] Expressing preferences in default logic
    Delgrande, JP
    Schaub, T
    ARTIFICIAL INTELLIGENCE, 2000, 123 (1-2) : 41 - 87
  • [44] Default logic generalized and simplified
    Bochman, Alexander
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2008, 53 (1-4) : 21 - 49
  • [45] Priorities in default logic revisited
    Antoniou, G
    TOPICS IN ARTIFICIAL INTELLIGENCE, 1995, 992 : 152 - 162
  • [46] A new research into default logic
    Zhang, MY
    INFORMATION AND COMPUTATION, 1996, 129 (02) : 73 - 85
  • [47] Default Logic About Assertions
    苏开乐
    丁德成
    ScienceinChina,SerA., 1994, Ser.A.1994 (11) : 1399 - 1408
  • [48] The extended default description logic
    Cao, Cungen
    Sui, Yuefei
    Sun, Yu
    PROCEEDINGS OF 2006 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE: 50 YEARS' ACHIEVEMENTS, FUTURE DIRECTIONS AND SOCIAL IMPACTS, 2006, : 129 - 133
  • [49] Default logic as a query language
    Cadoli, M
    Eiter, T
    Gottlob, G
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1997, 9 (03) : 448 - 463
  • [50] Strong Backdoors for Default Logic
    Fichte, Johannes Klaus
    Meier, Arne
    Schindler, Irena
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (03)
12345