The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic

Conceptual Structures: Common Semantics for Sharing Knowledge: 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings