Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Conceptual Graphs for Knowledge Representation: Proceedings of the First International Conference on Conceptual Structures, ICCS 93, Quebec, Canada, August 4-7, 1993
Proceedings of the Second International Conference on Conceptual Structures: Current Practices
ICCS '94 Proceedings of the Second International Conference on Conceptual Structures: Current Practices
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
ICCS '96 Proceedings of the 4th International Conference on Conceptual Structures: Knowledge Representation as Interlingua
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Knowledge Representation and Reasonings Based on Graph Homomorphism
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
| Hi-index | 0.04 |
The concept of labelled stratified graph (LSG) was introduced in Tandareanu (Knowledge Inform. Syst. 2(4) (2000) 438) in connection with that of knowledge base with output (KBO). The aim of this paper is to present a distinct facet of this concept. We prove several algebraic properties for LSGs and we conclude that a LSG can be used independently of a KBO. In order to realize this aim we define a partial order =