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 条
  • [1] Issues of decidability for description logics in the framework of resolution
    Hustadt, U
    Schmidt, RA
    AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 191 - 205
  • [2] How do developers meet users? Attitudes and processes in software development
    Gulliksen, Jan
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2007, 4323 : 1 - 10
  • [3] Trends and Issues in Description Logics Frameworks for Image Interpretation
    Dasiopoulou, Stamatia
    Kompatsiaris, Ioannis
    ARTIFICIAL INTELLIGENCE: THEORIES, MODELS AND APPLICATIONS, PROCEEDINGS, 2010, 6040 : 61 - 70
  • [4] Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules
    Mugnier, Marie-Laure
    KUNSTLICHE INTELLIGENZ, 2020, 34 (04): : 475 - 489
  • [5] Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules
    Marie-Laure Mugnier
    KI - Künstliche Intelligenz, 2020, 34 : 475 - 489
  • [6] IRAF users and developers
    Fitzpatrick, Michael
    Valdes, Frank
    Seaman, Rob
    Zarate, Nelson
    ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS XVI, 2007, 376 : 688 - +
  • [7] Transforming fuzzy description logics into classical description logics
    Straccia, U
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 385 - 399
  • [8] Guidance for Developers and Users
    AMERICAN PSYCHOLOGIST, 2015, 70 (09) : 823 - 831
  • [9] Description logics
    不详
    PART-WHOLE REASONING IN AN OBJECT-CENTERED FRAMWORK, 2000, 1771 : 11 - 20
  • [10] Description Logics
    Baader, Franz
    REASONING WEB: SEMANTIC TECHNOLOGIES FOR INFORMATION SYSTEMS, 2009, 5689 : 1 - 39
12345