메뉴 건너뛰기




Volumn 2120, Issue , 2001, Pages 216-230

Refinement of conceptual graphs

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS; SEMANTICS;

EID: 84974719119     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44583-8_16     Document Type: Conference Paper
Times cited : (5)

References (22)
  • 4
    • 0028412928 scopus 로고
    • A state of the art in automated validation of knowledge-based systems
    • A. Preece and N. P. Zlatareva. A state of the art in automated validation of knowledge-based systems. Expert Systems with Applications, 7(2):151-167, 1994.
    • (1994) Expert Systems with Applications , vol.7 , Issue.2 , pp. 151-167
    • Preece, A.1    Zlatareva, N.P.2
  • 8
    • 84974723382 scopus 로고    scopus 로고
    • Modeling and verifying complex objects: A declarative approach based on description logics
    • P. Hors and M.C. Rousset. Modeling and verifying complex objects: A declarative approach based on description logics. European Conference of Artificial Intelligence, ECAI’96, pages 328-332, 1996.
    • (1996) European Conference of Artificial Intelligence, ECAI’96 , pp. 328-332
    • Hors, P.1    Rousset, M.C.2
  • 9
    • 0027066011 scopus 로고
    • Verifying expert systems: A logical framework and a pratical tool
    • A. D. Preece, R. Shinghal, and A. Batarekh. Verifying expert systems: a logical framework and a pratical tool. Expert Systems with Applications, 5(3/4):421-436, 1992.
    • (1992) Expert Systems with Applications , vol.5 , Issue.3-4 , pp. 421-436
    • Preece, A.D.1    Shinghal, R.2    Batarekh, A.3
  • 12
    • 0030365252 scopus 로고    scopus 로고
    • Représenter des connaissances et raisonner avec des graphes
    • M.L. Mugnier and M. Chein. Représenter des connaissances et raisonner avec des graphes. Revue d’Intelligence Artificielle, 10(1):7-56, 1996.
    • (1996) Revue d’Intelligence Artificielle , vol.10 , Issue.1 , pp. 7-56
    • Mugnier, M.L.1    Chein, M.2
  • 15
    • 0343565999 scopus 로고    scopus 로고
    • The representation of semantic constraints in conceptual graph systems
    • Lecture Notes in Artificial Intelligenc, Seattle, U.S.A, Springer Verlag
    • G. W. Mineau and R. Missaoui. The representation of semantic constraints in conceptual graph systems. In Proceedings of the 5th International Conference on Conceptual Structures, ICCS’97, Lecture Notes in Artificial Intelligence 1257, pages 138-152, Seattle, U.S.A., 1997. Springer Verlag.
    • (1997) Proceedings of the 5Th International Conference on Conceptual Structures, ICCS’97 , vol.1257 , pp. 138-152
    • Mineau, G.W.1    Missaoui, R.2
  • 18
    • 0023329093 scopus 로고
    • A theory of diagnosis from first principles
    • R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:5795, 1987.
    • (1987) Artificial Intelligence , vol.32 , pp. 5795
    • Reiter, R.1
  • 21
    • 0006931878 scopus 로고
    • Detecting and correcting errors in rule-based expert systems: An integration of empirical and explanation-based learning
    • M. J. Pazzani and C. A. Brunk. Detecting and correcting errors in rule-based expert systems: an integration of empirical and explanation-based learning. Knowledge Acquisition, 3:157-173, 1991.
    • (1991) Knowledge Acquisition , vol.3 , pp. 157-173
    • Pazzani, M.J.1    Brunk, C.A.2


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