메뉴 건너뛰기




Volumn 2070, Issue , 2001, Pages 113-118

A new approach in object-based knowledge representation: The AROM system

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT SYSTEMS; INTELLIGENT SYSTEMS; MODELING LANGUAGES;

EID: 23044526600     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45517-5_14     Document Type: Conference Paper
Times cited : (22)

References (12)
  • 1
    • 84947584678 scopus 로고
    • An Overview of the KL-ONE Knowledge Representation System
    • Brachman, R.J., Schmolze, J.G.: An Overview of the KL-ONE Knowledge Representation System. Communications of the ACM, 31 (1988) 382–401
    • (1988) Communications of the ACM , vol.31 , pp. 382-401
    • Brachman, R.J.1    Schmolze, J.G.2
  • 2
    • 0017629312 scopus 로고
    • An Overview of KRL, Knowledge Representation Language
    • Bobrow, D., Winograd, T.: An Overview of KRL, Knowledge Representation Language. Cognitive Science, 1 (1977) 3–46
    • (1977) Cognitive Science , vol.1 , pp. 3-46
    • Bobrow, D.1    Winograd, T.2
  • 3
    • 84947562296 scopus 로고
    • Reasoning with worlds and truth maintenance in a knowledge-based programming environment
    • Filman, R.E.: Reasoning with worlds and truth maintenance in a knowledge-based programming environment, Cognitive Science, 9 (1985) 171–216
    • (1985) Cognitive Science , vol.9 , pp. 171-216
    • Filman, R.E.1
  • 5
    • 84947561184 scopus 로고
    • SMECI: Ref. manual. ILOG S.A., 2 av. Galliéni, 94253 Gentilly Cédex, France
    • SMECI: Ref. manual. ILOG S.A., 2 av. Galliéni, 94253 Gentilly Cédex, France (1991)
    • (1991)
  • 6
    • 0029255167 scopus 로고
    • Remarks on object-oriented modeling of associations
    • Tanzer, C.: Remarks on object-oriented modeling of associations. Journal of Object- Oriented Programming, 7 (1995) 43–46.
    • (1995) Journal of Object- Oriented Programming , vol.7 , pp. 43-46
    • Tanzer, C.1
  • 8
    • 0001415052 scopus 로고
    • A Modeling Language for Mathematical Programming
    • Fourer, R., Gay, D., Kernighan, B.: A Modeling Language for Mathematical Programming. Management Science, 36 (1990) 519–554
    • (1990) Management Science , vol.36 , pp. 519-554
    • Fourer, R.1    Gay, D.2    Kernighan, B.3
  • 11
    • 35248814948 scopus 로고    scopus 로고
    • A Description Logic with Transitive and Inverse Roles and Role Hierarchies
    • Trento, Italy
    • Horrocks, I., Sattler, U.: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. International Workshop on Description Logics, Trento, Italy (1998)
    • (1998) International Workshop on Description Logics
    • Horrocks, I.1    Sattler, U.2


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