Author of the publication

Completeness Proofs for Diagrammatic Logics.

, , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 318-320. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Euler Diagrams Through the Looking Glass: From Extent to Intent., , , and . Diagrams, volume 10871 of Lecture Notes in Computer Science, page 365-381. Springer, (2018)Evaluating the effects of size in linesets., , , and . VINCI, page 121-128. ACM, (2017)Observational Advantages and Occurrence Referentiality., and . Diagrams, volume 12169 of Lecture Notes in Computer Science, page 202-215. Springer, (2020)A Vision for Diagrammatic Ontology Engineering., , , and . VISUAL@EKAW, volume 1299 of CEUR Workshop Proceedings, page 1-13. CEUR-WS.org, (2014)Completeness Proofs for Diagrammatic Logics., , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 318-320. Springer, (2012)Visualizing Concepts with Euler Diagrams., , , and . Diagrams, volume 8578 of Lecture Notes in Computer Science, page 54-56. Springer, (2014)Completeness Proof Strategies for Euler Diagram Logics., , and . ED@Diagrams, volume 854 of CEUR Workshop Proceedings, page 2-16. CEUR-WS.org, (2012)An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs., , and . Diagrams, volume 6170 of Lecture Notes in Computer Science, page 271-278. Springer, (2010)Minimizing Clutter Using Absence in Venn-ie., , , and . Diagrams, volume 9781 of Lecture Notes in Computer Science, page 107-122. Springer, (2016)Picturing Problems: Solving Logic Puzzles Diagrammatically., , , and . SetVR@Diagrams, volume 2116 of CEUR Workshop Proceedings, page 12-27. CEUR-WS.org, (2018)