메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 4068 LNAI, Issue , 2006, Pages 102-116
Rules dependencies in backward chaining of conceptual graphs rules
Author keywords

[No Author keywords available]
Indexed keywords

ALGORITHMS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; OPTIMIZATION;
EID: 33746595867     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787181_8     Document Type: Conference Paper
Times cited : (9)
References (13)
  • 2
    • 7044226608 scopus 로고    scopus 로고
    • Simple conceptual graphs revisited: Hypergraphs and conjunctive types for efficient projection algorithms
    • Proc. of ICCS'03, Springer
    • J.-F. Baget. Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms. In Proc. of ICCS'03, volume 2746 of LNAI. Springer, 2003.
    • (2003) LNAI , vol.2746
    • Baget, J.-F.1
  • 3
    • 26944480924 scopus 로고    scopus 로고
    • The complexity of rules and constraints
    • J.-F. Baget and M.-L. Mugnier. The Complexity of Rules and Constraints. JAIR, 16:425-465, 2002.
    • (2002) JAIR , vol.16 , pp. 425-465
    • Baget, J.-F.1    Mugnier, M.-L.2
  • 4
    • 33746619713 scopus 로고    scopus 로고
    • Improving the forward chaining algorithm for conceptual graphs rules
    • AAAI Press
    • Jean-François Baget. Improving the forward chaining algorithm for conceptual graphs rules. In Proc. of KR2004), pages 407-414. AAAI Press, 2004.
    • (2004) Proc. of KR2004 , pp. 407-414
    • Baget, J.-F.1
  • 6
    • 35048820155 scopus 로고    scopus 로고
    • Types and coreference in simple conceptual graphs
    • Proc. ICCS'04, Springer
    • M. Chein and M.-L. Mugnier. Types and Coreference in Simple Conceptual Graphs. In Proc. ICCS'04, volume 3127 of LNAI. Springer, 2004.
    • (2004) LNAI , vol.3127
    • Chein, M.1    Mugnier, M.-L.2
  • 7
    • 84957621531 scopus 로고    scopus 로고
    • Piece resolution: Towards larger perspectives
    • Proc. of ICCS'98, Springer
    • S. Coulondre and E. Salvat. Piece Resolution: Towards Larger Perspectives. In Proc. of ICCS'98, volume 1453 of LNAI, pages 179-193. Springer, 1998.
    • (1998) LNAI , vol.1453 , pp. 179-193
    • Coulondre, S.1    Salvat, E.2
  • 8
    • 84958655477 scopus 로고    scopus 로고
    • Knowledge representation and reasoning based on graph homomorphism
    • Proc. ICCS'00, Springer
    • M.-L. Mugnier. Knowledge Representation and Reasoning based on Graph Homomorphism. In Proc. ICCS'00, volume 1867 of LNAI, pages 172-192. Springer, 2000.
    • (2000) LNAI , vol.1867 , pp. 172-192
    • Mugnier, M.-L.1
  • 9
    • 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
  • 10
    • 26944483660 scopus 로고    scopus 로고
    • Theorem proving using graph operations in the conceptual graphs formalism
    • E. Salvat. Theorem proving using graph operations in the conceptual graphs formalism. In Proc. of ECAI'98, pages 356-360, 1998.
    • (1998) Proc. of ECAI'98 , pp. 356-360
    • Salvat, E.1
  • 11
    • 84955569247 scopus 로고    scopus 로고
    • Sound and complete forward and backward chainings of graph rules
    • Proc. of ICCS'96, Springer
    • E. Salvat and M.-L. Mugnier. Sound and Complete Forward and Backward Chainings of Graph Rules. In Proc. of ICCS'96, volume 1115 of LNAI, pages 248-262. Springer, 1996.
    • (1996) LNAI , vol.1115 , pp. 248-262
    • Salvat, E.1    Mugnier, M.-L.2

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