Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
International Journal of Man-Machine Studies
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Logic and Visual Information
Two FOL Semantics for Simple and Nested Conceptual Graphs
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
A Simulation of Co-identity with Rules in Simple and Nested Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Negations in Simple Concept Graphs
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Knowledge Representation and Reasonings Based on Graph Homomorphism
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
Simple Semiconcept Graphs: A Boolean Logic Approach
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Semiconcept Graphs with Variables
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
On the Completeness and Expressiveness of Spider Diagram Systems
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
An introduction to description logics
The description logic handbook
VENNFS: A Venn-Diagram File Manager
IV '03 Proceedings of the Seventh International Conference on Information Visualization
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
Collaborative knowledge capture in ontologies
Proceedings of the 3rd international conference on Knowledge capture
The Expressiveness of Spider Diagrams
Journal of Logic and Computation
On querying simple conceptual graphs with negation
Data & Knowledge Engineering
Automated Theorem Proving in Euler Diagram Systems
Journal of Automated Reasoning
A diagrammatic reasoning system for the description logic ALC
Journal of Visual Languages and Computing
Extensions of simple conceptual graphs: the complexity of rules and constraints
Journal of Artificial Intelligence Research
An interactive visual language for term subsumption languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Failure Mode Modular De-Composition Using Spider Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
Electronic Notes in Theoretical Computer Science (ENTCS)
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
RDF entailment as a graph homomorphism
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
RDF as graph-based, diagrammatic logic
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Simple conceptual graphs and simple concept graphs
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Fixing shin's reading algorithm for peirce's existential graphs
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Journal of Logic, Language and Information
| Hi-index | 0.00 |
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a valuable aid to intuition and help to convey ideas and information in a clear way. On the other side, logicians have viewed diagrams as informal tools, but which cannot be used in the manner of formal argumentation. Instead, logicians focused on symbolic representations of logics. Recently, this perception was overturned in the mid 1990s, first with seminal work by Shin on an extended version of Venn diagrams. Since then, certainly a growth in the research field of formal reasoning with diagrams can be witnessed. This paper discusses the evolution of formal diagrammatic logics, focusing on those systems which are based on Euler and Venn-Peirce diagrams, and Peirces existential graphs. Also discussed are some challenges faced in the area, some of which are specifically related to diagrams.