Integration of automated reasoners: a progress report

被引：0
|
作者：
Armando, A [1 ]
Ranise, S [1 ]
Zini, D [1 ]
机构：
[1] Univ Genoa, DIST, Genoa, Italy
来源：
SYMBOLIC COMPUTATION AND AUTOMATED REASONING | 2001年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：237 / 238
页数：2
相关论文
共 50 条
  • [1] On Automated Testing of Description Logic Reasoners
    Babik, Marian
    Hluchy, Ladislav
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2008, 5375 : 13 - 25
  • [2] AUTOMATED RESEARCH - PROGRESS REPORT
    GOODMAN, H
    JOURNAL OF ACCOUNTANCY, 1973, 36 (02): : 75 - 78
  • [3] THE AUTOMATED FACTORY - A PROGRESS REPORT
    HEGLAND, DE
    PRODUCTION ENGINEERING, 1983, 30 (06): : 40 - 46
  • [4] Framework for an automated comparison of description logic reasoners
    Gardiner, Tom
    Tsarkov, Dmitry
    Horrocks, Ian
    SEMANTIC WEB - ISEC 2006, PROCEEDINGS, 2006, 4273 : 654 - +
  • [5] DFL -: a dialog based integration of concept and rule reasoners
    Balaban, M
    Eyal, A
    DATA & KNOWLEDGE ENGINEERING, 2001, 38 (03) : 301 - 334
  • [6] AUTOMATED MASS SCREENING FOR CARIES - PROGRESS REPORT
    SHAPIRO, M
    SUN, HH
    JOURNAL OF DENTAL RESEARCH, 1973, 52 : 266 - &
  • [7] CERVIFIP AUTOMATED CYTOLOGY PRESCREENER - A PROGRESS REPORT
    TUCKER, JH
    SHIPPEY, GA
    STARK, M
    EASON, P
    BAYLEY, R
    FARROW, S
    RUTOVITZ, D
    ANALYTICAL AND QUANTITATIVE CYTOLOGY AND HISTOLOGY, 1983, 5 (03): : 224 - 224
  • [8] PROGRESS REPORT ON MSU AUTOMATED PLATE SCANNER
    ROBERTSO.RG
    NOLEN, JA
    BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1973, 18 (10): : 1423 - 1423
  • [9] Self-Organizing Integration of Competing Reasoners for Information Matching
    Brueckner, Sven
    Downs, Elizabeth
    Hilscher, Rainer
    Yinger, Andrew
    SASOW 2008: SECOND IEEE INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS, PROCEEDINGS, 2008, : 7 - 12
  • [10] Semantic knowledge source integration:: A progress report
    Masters, J
    Güngördü, Z
    INTERNATIONAL CONFERENCE ON INTEGRATION OF KNOWLEDGE INTENSIVE MULTI-AGENT SYSTEMS: KIMAS'03: MODELING, EXPLORATION, AND ENGINEERING, 2003, : 562 - 566
12345