Concept Graphs and Predicate Logic

Frithjof Dau. Concept Graphs and Predicate Logic. In Harry S. Delugach, Gerd Stumme, editors, Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings. Volume 2120 of Lecture Notes in Computer Science, pages 72-86, Springer, 2001. [doi]

@inproceedings{Dau01,
  title = {Concept Graphs and Predicate Logic},
  author = {Frithjof Dau},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2120/21200072.htm},
  tags = {graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/Dau01},
  cites = {0},
  citedby = {0},
  pages = {72-86},
  booktitle = {Conceptual Structures: Broadening the Base, 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings},
  editor = {Harry S. Delugach and Gerd Stumme},
  volume = {2120},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42344-3},
}