Author of the publication

A Survey and Evaluation of Diagrams for Navya-Nyāya.

, , and . Diagrams, volume 10871 of Lecture Notes in Computer Science, page 280-295. Springer, (2018)

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)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)Properties of euler diagrams and graphs in combination., , , and . VL/HCC, page 217-218. IEEE Computer Society, (2014)Completeness Proofs for Diagrammatic Logics., , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 318-320. Springer, (2012)Completeness Proof Strategies for Euler Diagram Logics., , and . ED@Diagrams, volume 854 of CEUR Workshop Proceedings, page 2-16. CEUR-WS.org, (2012)