Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs

Tru H. Cao, Peter N. Creasy, Vilas Wuwongse. Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs. In Dickson Lukose, Harry S. Delugach, Mary Keeler, Leroy Searle, John F. Sowa, editors, Conceptual Structures: Fulfilling Peirce s Dream, Fifth International Conference on Conceptual Structures, ICCS 97, Seattle, Washington, USA, August 3-8, 1997, Proceedings. Volume 1257 of Lecture Notes in Computer Science, pages 386-400, Springer, 1997.

@inproceedings{CaoCW97,
  title = {Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs},
  author = {Tru H. Cao and Peter N. Creasy and Vilas Wuwongse},
  year = {1997},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/CaoCW97},
  cites = {0},
  citedby = {0},
  pages = {386-400},
  booktitle = {Conceptual Structures: Fulfilling Peirce s Dream, Fifth International Conference on Conceptual Structures, ICCS  97, Seattle, Washington, USA, August 3-8, 1997, Proceedings},
  editor = {Dickson Lukose and Harry S. Delugach and Mary Keeler and Leroy Searle and John F. Sowa},
  volume = {1257},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63308-1},
}