Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Shigeyuki Atarashi |
An Alternative Reformulation of the Transformation Rules in the Beta Part of Peirce's Existential Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 187-201, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | José David García Cruz, Yessica Espinoza Ramos |
Opposition Relations Between Prophecies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 394-401, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Visokolskis, Evelyn Vargas, Gonzalo Carrión |
Transductive Reconstruction of Hippocrates' Dynamical Geometrical Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 10-25, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Kozak |
The Diagram Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 216-224, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Engelhardt, Clive Richards |
The DNA Framework of Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 534-538, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Ideno, Masahiro Morii, Kazuhisa Takemura, Mitsuhiro Okada |
On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 365-381, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Almas Baimagambetov, Gem Stapleton, Andrew Blake 0002, John Howse |
Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 323-331, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Verena Elisabeth Lechner |
Modality and Uncertainty in Data Visualizations: A Corpus Approach to the Use of Connecting Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 110-127, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michal Dobrzanski, Jens Lemanski |
Schopenhauer Diagrams for Conceptual Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 281-288, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Bautista López Aznar |
Syllogisms with Intermediate Quantifiers Solved in Marlo Logic Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 473-476, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Bautista López Aznar |
Marlo's Networks of Expectations in the Classroom: A Tool for Heterogeneous Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 503-506, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jens Lemanski, Ludger Jansen |
Calculus CL as a Formal System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 445-460, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sven Linker |
Intuitionistic Euler-Venn Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 264-280, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Haydon, Pawel Sobocinski 0001 |
Compositional Diagrammatic First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 402-418, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eisa Alharbi |
Truth Graph: A Novel Method for Minimizing Boolean Algebra Expressions by Using Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 461-469, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Kragh Sørensen, Mikkel Willum Johansen |
Counting Mathematical Diagrams with Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 26-33, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Reetu Bhattacharjee, Amirouche Moktefi |
Peirce's Inclusion Diagrams, with Application to Syllogisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 530-533, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maarja Kruusmaa, Amirouche Moktefi, Jeffrey A. Tuhtan |
On the Shoulders of Giants: Colourful Argument Trees for Academic Writing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 520-524, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng |
Dissecting Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 144-152, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Amirouche Moktefi, Jelena Druzinina |
Imagine a Round Square. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 539-543, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Bellucci |
Fregean Logical Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 436-444, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hannah Bratterud, Mac Burgess, Brittany Terese Fasy, David L. Millman, Troy Oster, Eunyoung (Christine) Sung |
The Sung Diagram: Revitalizing the Eisenhower Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 498-502, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Bautista López Aznar |
The Marlo Diagram in the Classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 490-493, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jade Master, Evan Patterson, Shahin Yousfi, Arquimedes Canedo |
String Diagrams for Assembly Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 167-183, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James E. Corter, Sven Linker (eds.) |
Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![Springer, 978-3-030-54248-1 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Blaszczyk, Anna Petiurenko |
Modes of Diagrammatic Reasoning in Euclid's Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 50-65, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Bautista López Aznar |
The Indemonstrables of Chrysippus of Soli in Marlo Logical Diagrams. Could Propositional Calculus Be Nothing but Syllogisms? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 477-480, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Valérie Lynn Therrien |
A Diagram of Choice: The Curious Case of Wallis's Attempted Proof of the Parallel Postulate and the Axiom of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 74-90, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Boucheix, Richard K. Lowe |
'Tokenized' Dynamic Diagrams: An Approach for Improving Mental Model Construction? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 481-484, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Soeren Nickel, Martin Nöllenburg |
Towards Data-Driven Multilinear Metro Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 153-161, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | José L. Besada |
Visualizing Sound, Hearing Diagrams: On the Creative Process of Syrmos by Iannis Xenakis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 162-166, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dong-Bach Vo, Kristina Lazarova, Helen C. Purchase, Mark McCann |
Visual Causality: Investigating Graph Layouts for Understanding Causal Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 332-347, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ahti-Veikko Pietarinen, Francesco Bellucci, Angelina Bobrova, Nathan Haydon, Mohammad Shafiei |
The Blot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 225-238, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Sasaki |
Typical Cases Showing the Efficiency of Existential Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 494-497, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Richard K. Lowe, Jean-Michel Boucheix |
Event Unit Analysis: A Methodology for Anticipating Processing Demands of Complex Animated Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 307-322, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Amirouche Moktefi |
Historio-Graphy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 511-514, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Shimojima, Dave Barker-Plummer |
Channel-Theoretic Account of the Semantic Potentials of False Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 128-143, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hiroaki Ayabe, Emmanuel Manalo, Noriko Hanaki |
Elucidating the Effects of Diagram Use Training for Math Word Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 548-552, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen |
Beta Assertive Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 525-529, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ryo Takemura |
Euler Diagrams for Defeasible Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 289-304, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gem Stapleton, Peter J. Rodgers, Anestis Touloumis, Andrew Blake 0002 |
Well-Matchedness in Euler and Linear Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 247-263, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michal Sochanski |
Experimenting with Diagrams in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 507-510, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gregg De Young |
On "Overspecification" in Medieval Mathematical Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 3-9, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Sato 0001, Koji Mineshima |
Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 485-489, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Angelina Bobrova, Ahti-Veikko Pietarinen |
Two Implications and Dual-Process Theories of Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 239-243, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Leonie Bosveld-de Smet, Daniël Houben |
Map or Gantt? Which Diagram Helps Viewers Best in Spatio-Temporal Data Exploration Tasks? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 357-364, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter C.-H. Cheng |
A Sketch of a Theory and Modelling Notation for Elucidating the Structure of Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 93-109, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hans Smessaert, Atsushi Shimojima, Lorenz Demey |
Free Rides in Logical Space Diagrams Versus Aristotelian Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 419-435, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Bellucci, Jim Burton 0001 |
Observational Advantages and Occurrence Referentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings, pp. 202-215, 2020, Springer, 978-3-030-54248-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Mirzapour, Christian Retoré |
Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 716-720, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zohreh Shams, Yuri Sato 0001, Mateja Jamnik, Gem Stapleton |
Accessible Reasoning with Diagrams: From Cognition to Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 247-263, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Sasaki |
Multiple Readings of Existential Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 598-604, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Martín Castro-Manzano |
Syllogistic with Jigsaw Puzzle Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 657-671, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Javier Legris, Cassiano Terra Rodrigues |
Peirce on Diagrammatic Reasoning and Semeiotic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 24-27, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shan Chen, Aidan J. Delaney |
Diagrammatically Formalising Constraints of a Privacy Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 672-679, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peter B. Lloyd, Peter Rodgers 0001, Maxwell J. Roberts |
Metro Map Colour-Coding: Effect on Usability in Route Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 411-428, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Javier Legris |
Existential Graphs as a Basis for Structural Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 590-597, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Martín Castro-Manzano, José Roberto Pacheco-Montes |
Moded Diagrams for Moded Syllogisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 757-760, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chayanika Deka Nath, Shyamanta M. Hazarika |
'Diagrams': A Hybrid Visual Information Representation and Reasoning Paradigm Towards Video Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 336-345, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amirouche Moktefi |
Carroll Diagrams: Design and Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 32-35, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thora Tenbrink |
Using Verbal Protocols to Support Diagram Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 20-23, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ahti-Veikko Pietarinen, Daniele Chiffi |
Assertive and Existential Graphs: A Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 565-581, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Sugio |
The Role of Top-Down Knowledge in Spatial Cueing Using Hierarchical Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 500-508, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shigeyuki Atarashi |
On the Transformation Rules of Erasure and Insertion in the Beta Part of Peirce's Existential Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 582-589, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Shimojima, Dave Barker-Plummer |
Operations on Single Feature Indicator Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 296-312, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Erika Rita Ortiz |
Wallis's Use of Innovative Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 712-715, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mikkel Willum Johansen, Morten Misfeldt, Josefine Lomholt Pallavicini |
A Typology of Mathematical Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 105-119, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vinícius Jonas de Aguiar |
Diagrams, Musical Notation, and the Semiotics of Musical Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 748-751, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | William Bechtel, Adele Abrahamsen, Benjamin Sheredos |
Using Diagrams to Reason About Biological Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 264-279, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | James E. Corter |
Euler Box Diagrams to Represent Independent and Non-independent Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 734-738, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Sloman |
What Sort of Information-Processing Machinery Could Ancient Geometers Have Used? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 164-171, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Brink Allsopp |
Arcform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 355-362, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Günther Schreder, Nicole Hynek, Florian Windhager, Eva Mayr |
Rediscovering Isotype from a Cognitive Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 458-469, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Daniel Schulze, Nis Wechselberg, Reinhard von Hanxleden |
Edge Label Placement in Layered Graph Drawing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 71-78, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke, Aleks Kissinger |
Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 28-31, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lorenz Demey, Hans Smessaert |
Aristotelian and Duality Relations Beyond the Square of Opposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 640-656, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michal Sochanski |
Interpreting Diagrammatic Reasoning - Between Empiricism and Realism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 172-179, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Timm Lampert |
Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 624-639, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Juliette C. Désiron, Mireille Bétrancourt, Erica de Vries |
How Cross-Representational Signaling Affects Learning from Text and Picture: An Eye-Tracking Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 725-728, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dean McHugh |
Diagrammatic Definitions of Causal Claims. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 346-354, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amy Rae Fox, James D. Hollan |
Read It This Way: Scaffolding Comprehension for Unconventional Statistical Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 441-457, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bryan J. Matlen, Lindsey E. Richland, Ellen C. Klostermann, Emily McLaughlin Lyons |
Impact and Prevalence of Diagrammatic Supports in Mathematics Classrooms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 148-163, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sumanta Sarathi Sharma |
Depicting the Redundancy of Fourth Figure Using Venn-Peirce Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 689-696, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sven Linker |
Sequent Calculus for Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 399-407, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Waszek |
Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 382-389, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Erwig, Karl Smeltzer |
Variational Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 55-70, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roman Klapaukh, Stuart Marshall, David J. Pearce 0001 |
A Symmetry Metric for Graphs and Line Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 739-742, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gem Stapleton, Atsushi Shimojima, Mateja Jamnik |
The Observational Advantages of Euler Diagrams with Existential Import. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 313-329, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jens Lemanski, Amirouche Moktefi |
Making Sense of Schopenhauer's Diagram of Good and Evil. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 721-724, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Wood, Susan Stocklmayer |
Exploring the Relationship Between Visual Context and Affect in Diagram Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 509-516, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Elena-Teodora Miron, Christian Muck, Dimitris Karagiannis, David Götzinger |
Transforming Storyboards into Diagrammatic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 770-773, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Rüegg, Reinhard von Hanxleden |
Wrapping Layered Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 743-747, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Richard K. Lowe, Jean-Michel Boucheix, Marilyne Menant |
Perceptual Processing and the Comprehension of Relational Information in Dynamic Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 470-483, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima |
On Diagrams and General Model Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 680-688, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jens Lemanski |
Calculus CL as Ontology Editor and Inference Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 752-756, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Minghui Ma, Ahti-Veikko Pietarinen |
A Weakening of Alpha Graphs: Quasi-Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 549-564, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ryo Takemura |
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 607-623, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Keith Stenning |
Diagrams and Nonmonotonic Logic: What Is the Cognitive Relation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 3-8, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer G. Cromley, Kyle Mara |
Comparing and Contrasting Within Diagrams: An Effective Study Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 492-499, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Engelhardt, Clive Richards |
A Framework for Analyzing and Designing Diagrams and Graphics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings, pp. 201-209, 2018, Springer, 978-3-319-91375-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|