ISSUES IN DESCRIPTION LOGICS - USERS MEET DEVELOPERS

被引：0
|
作者：
MAYS, E
MCGUINNESS, D
RUSS, T
机构：
[1] AT&T BELL LABS,MURRAY HILL,NJ 07974
[2] USC,INST INFORMAT SCI,LOS ANGELES,CA 90089
来源：
AI MAGAZINE | 1993年 / 14卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：12 / &
相关论文
共 50 条
  • [21] Autoepistemic Description Logics
    Donini, FM
    Nardi, D
    Rosati, R
    IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 136 - 141
  • [22] Description logics and planning
    Gil, YL
    AI MAGAZINE, 2005, 26 (02) : 73 - 84
  • [23] Matching in description logics
    Baader, F
    Kusters, R
    Borgida, A
    McGuinness, DL
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (03) : 411 - 447
  • [24] On bisimulations for description logics
    Divroodi, Ali Rezaei
    Linh Anh Nguyen
    INFORMATION SCIENCES, 2015, 295 : 465 - 493
  • [25] Autoepistemic Description Logics
    Rosati, R
    AI COMMUNICATIONS, 1998, 11 (3-4) : 219 - 221
  • [26] Description logics for ontologies
    Sattler, U
    CONCEPTUAL STRUCTURES FOR KNOWLEDGE CREATION AND COMMUNICATION, 2003, 2746 : 96 - 116
  • [27] Defeasible description logics
    Governatori, G
    RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 98 - 112
  • [28] Defeasible Description Logics
    Varzinczak, Ivan
    KUNSTLICHE INTELLIGENZ, 2020, 34 (04): : 539 - 542
  • [29] Preferential description logics
    Giordano, Laura
    Gliozzi, Valentina
    Olivetti, Nicola
    Pozzato, Gian Luca
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 257 - +
  • [30] An Introduction to Description Logics
    Yargan, Dilek
    BEYTULHIKME-AN INTERNATIONAL JOURNAL OF PHILOSOPHY, 2020, 10 (04): : 1303 - 1324
12345