Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Conceptual structures
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
Conceptual Graphs and Formal Concept Analysis
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
Simple Concept Graphs: A Logic Approach
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
The Lattice of Concept Graphs of a Relationally Scaled Context
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
On the Contextual Logic of Ordinal Data
ICCS '00 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
Nested Concept Graphs and Triadic Power Context Families
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Concept Graphs and Predicate Logic
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Simple Semiconcept Graphs: A Boolean Logic Approach
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Existential Concept Graphs of Power Context Families
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Semiconcept Graphs with Variables
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
The Logic System of Concept Graphs With Negation: And Its Relationship to Predicate Logic
The Logic System of Concept Graphs With Negation: And Its Relationship to Predicate Logic
Communicative rationality, logic, and mathematics
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
A mapping from conceptual graphs to formal concept analysis
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Formal concept analysis for qualitative data analysis over triple stores
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
The teridentity and peircean algebraic logic
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Publication analysis of the formal concept analysis community
ICFCA'12 Proceedings of the 10th international conference on Formal Concept Analysis
Hi-index | 0.00 |
A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in the understanding of mathematics as a science which should encompass both its philosophical basis and its social consequences. This can be achieved by a process named ‘restructuring'. This approach shall be extended to logic, which is based on the doctrines of concepts, judgments, and conclusions. The program of restructuring logic is named Contextual Logic (CL). A main idea of CL is to combine Formal Concept Analysis and Concept Graphs (which are mathematical structures derived from conceptual graphs). Concept graphs mathematize judgments which combine concepts, and conclusions can be drawn by inferring concept graphs from others. So we see that concept graphs can be understood as a crucial part of the mathematical implementation of CL, based on Formal Concept Analysis as the mathematization of the doctrine of concepts.