Well-Matchedness in Euler and Linear Diagrams

von Stapleton, Gem
Veröffentlicht in Diagrams (11. : 2020 : Tallinn; Online) Diagrammatic representation and inference (2020)

iCon: A Diagrammatic Theorem Prover for Ontologies

von Shams, Zohreh
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs

von Baimagambetov, Almas
Veröffentlicht in Diagrams (11. : 2020 : Tallinn; Online) Diagrammatic representation and inference (2020)

Diagrammatic representation and inference : 5th international conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008 ; proceedings

Veröffentlicht 2008

Graph structures for knowledge representation and reasoning : 4th international workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015 : revised selected papers

Veröffentlicht 2015

Diagrammatic representation and inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings

Veröffentlicht 2018

Evaluating Colour in Concept Diagrams

von McGrath, Sean
Veröffentlicht in Diagrams (13. : 2022 : Rom) Diagrammatic representation and inference (2022)

Graph structures for knowledge representation and reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017 : revised selected papers

Veröffentlicht 2018

19th International Conference on Distributed Multimedia Systems (DMS 2013) : Seafront, United Kingdom, 8-10 August 2013

Veröffentlicht 2017