메뉴 건너뛰기




Volumn 215, Issue , 2010, Pages 1097-1098

Semi-automatic revision of formalized knowledge

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

EID: 77956032964     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-1097     Document Type: Conference Paper
Times cited : (5)

References (5)
  • 3
    • 85167424416 scopus 로고    scopus 로고
    • Supporting manual mapping revision using logical reasoning
    • Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin, 'Supporting manual mapping revision using logical reasoning', in AAAI, pp. 1213-1218, (2008).
    • (2008) AAAI , pp. 1213-1218
    • Meilicke, C.1    Stuckenschmidt, H.2    Tamilin, A.3
  • 4
    • 85182304442 scopus 로고    scopus 로고
    • Semi-automatic verification of ontology compatibility supported by reasoning
    • KIT, Karlsruhe, February
    • Nadejda Nikitina, 'Semi-automatic verification of ontology compatibility supported by reasoning', Technical report, Institute AIFB, KIT, Karlsruhe, (February 2010).
    • (2010) Technical Report, Institute AIFB
    • Nikitina, N.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.