A diagrammatic reasoning system for the description logic ALC
Journal of Visual Languages and Computing
An Introduction to Conceptual Graphs
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Constants and Functions in Peirce's Existential Graphs
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
The semantics of augmented constraint diagrams
Journal of Visual Languages and Computing
Communicative rationality, logic, and mathematics
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Fragments of spider diagrams of order and their relative expressiveness
Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Mathematics: presenting, reflecting, judging
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Local negation in concept graphs
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Enhancing the initial requirements capture of multi-agent systems through conceptual graphs
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
From formal concept analysis to contextual logic
Formal Concept Analysis
Transaction agent modelling: from experts to concepts to multi-agent systems
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Simple conceptual graphs with atomic negation and difference
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Improving AOSE with an enriched modelling framework
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Complete subalgebras of semiconcept algebras and protoconcept algebras
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Two instances of peirce's reduction thesis
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Hi-index | 0.00 |