메뉴 건너뛰기




Volumn , Issue , 2004, Pages 407-414

Improving the Forward Chaining Algorithm for Conceptual Graphs Rules

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

EID: 33746619713     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (28)

References (15)
  • 2
    • 26944480924 scopus 로고    scopus 로고
    • Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints
    • Baget, J.-F., and Mugnier, M.-L. 2002. Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. Journal of Artificial Intelligence Research 16:425-465. http://www.cs.washington.edu/research/jair/contents/v16.html.
    • (2002) Journal of Artificial Intelligence Research , vol.16 , pp. 425-465
    • Baget, J.-F.1    Mugnier, M.-L.2
  • 3
    • 77949688078 scopus 로고    scopus 로고
    • Knowledge Acquisition with a Pure Graph-Based Knowledge Representation Model - Application to the SISYPHUS-I Case Study
    • Gaines, B. R.; Musen, M. A.; and Kremer, R. C., eds., Banff, Alberta, Canada, October 16-21, 1999. Online proceedings at
    • Baget, J.-F.; Genest, D.; and Mugnier, M.-L. 1999. Knowledge Acquisition with a Pure Graph-Based Knowledge Representation Model - Application to the SISYPHUS-I Case Study. In Gaines, B. R.; Musen, M. A.; and Kremer, R. C., eds., Twelfth Workshop on Knowledge Acquisition, Modeling and Management, Banff, Alberta, Canada, October 16-21, 1999. Online proceedings at http://sern.ucalgary.ca/KSI/KAW/KAW99/papers.html.
    • (1999) Twelfth Workshop on Knowledge Acquisition, Modeling and Management
    • Baget, J.-F.1    Genest, D.2    Mugnier, M.-L.3
  • 7
    • 84957621531 scopus 로고    scopus 로고
    • Piece Resolution: Towards Larger Perspectives
    • (1998)
    • Coulondre, S., and Salvat, Éric. 1998. Piece Resolution: Towards Larger Perspectives. In Mugnier and Chein (1998), 179-193.
    • (1998) Mugnier and Chein , pp. 179-193
    • Coulondre, S.1    Salvat, Éric2
  • 8
    • 22044446412 scopus 로고    scopus 로고
    • A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT
    • (1998)
    • Genest, D., and Salvat, Éric. 1998. A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT. In Mugnier and Chein (1998), 154-161.
    • (1998) Mugnier and Chein , pp. 154-161
    • Genest, D.1    Salvat, Éric2
  • 14
    • 26944483660 scopus 로고    scopus 로고
    • Theorem Proving Using Graph Operations in the Conceptual Graph Formalism
    • Prade, H., ed., Brighton, UK, August 23-28 1998, Proceedings, John Wiley and Sons
    • Salvat, Éric. 1998. Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. In Prade, H., ed., 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings, 356-360. John Wiley and Sons.
    • (1998) 13th European Conference on Artificial Intelligence , pp. 356-360
    • Salvat, Éric1


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