default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th Diagrams 2018: Edinburgh, UK
- Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Pérez-Kriz, Francesco Bellucci:
Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Lecture Notes in Computer Science 10871, Springer 2018, ISBN 978-3-319-91375-9
Keynote Contributions
- Keith Stenning:
Diagrams and Nonmonotonic Logic: What Is the Cognitive Relation? 3-8 - Ahti-Veikko Pietarinen
:
The Beauty of Graphs. 9-12
Tutorials
- Aaron Sloman:
Were "Super-Turing" Diagrammatic Reasoning Mechanisms Ancient Products of Biological Evolution? 15-19 - Thora Tenbrink:
Using Verbal Protocols to Support Diagram Design. 20-23 - Javier Legris, Cassiano Terra Rodrigues:
Peirce on Diagrammatic Reasoning and Semeiotic. 24-27 - Bob Coecke, Aleks Kissinger:
Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. 28-31 - Amirouche Moktefi:
Carroll Diagrams: Design and Manipulation. 32-35
Generating and Drawing Euler Diagrams
- Almas Baimagambetov, John Howse, Gem Stapleton, Aidan J. Delaney:
Generating Effective Euler Diagrams. 39-54 - Martin Erwig, Karl Smeltzer:
Variational Pictures. 55-70 - Christoph Daniel Schulze, Nis Wechselberg, Reinhard von Hanxleden:
Edge Label Placement in Layered Graph Drawing. 71-78 - Ibrahim Venkat, Robinson Thamburaj, K. G. Subramanian, Philippe De Wilde:
Generation of Kolam-Designs Based on Contextual Array P Systems. 79-86
Diagrams in Mathematics
- Andrew Fish, Alexei Lisitsa, Alexei Vernitski:
Visual Algebraic Proofs for Unknot Detection. 89-104 - Mikkel Willum Johansen, Morten Misfeldt, Josefine Lomholt Pallavicini:
A Typology of Mathematical Diagrams. 105-119 - Christophe Eckes, Valeria Giardino:
The Classificatory Function of Diagrams: Two Examples from Mathematics. 120-136 - Axel Arturo Barceló-Aspeitia:
Mathematical Pictures. 137-147 - Bryan J. Matlen, Lindsey E. Richland, Ellen C. Klostermann, Emily McLaughlin Lyons:
Impact and Prevalence of Diagrammatic Supports in Mathematics Classrooms. 148-163 - Aaron Sloman:
What Sort of Information-Processing Machinery Could Ancient Geometers Have Used? 164-171 - Michal Sochanski:
Interpreting Diagrammatic Reasoning - Between Empiricism and Realism. 172-179
Diagram Design, Principles and Classification
- Jessica Hullman, Benjamin Bach:
Picturing Science: Design Patterns in Graphical Abstracts. 183-200 - Yuri Engelhardt, Clive Richards:
A Framework for Analyzing and Designing Diagrams and Graphics. 201-209 - Helen C. Purchase, Katherine Isaacs, Thomas Bueti, Ben Hastings, Aadam Kassam, Allen Kim, Steffan van Hoesen:
A Classification of Infographics. 210-218 - Peter B. Lloyd:
Diagrammatic Maps of the New York Subway: An Historical Perspective. 219-227 - Peter W. Coppin, Richard C. Windeyer:
Sonifying Napoleon's March by Identifying Auditory Correlates of the Graphic-Linguistic Distinction. 228-235 - Hans Smessaert, Lorenz Demey:
Towards a Typology of Diagrams in Linguistics. 236-244
Reasoning with Diagrams
- Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton:
Accessible Reasoning with Diagrams: From Cognition to Automation. 247-263 - William Bechtel, Adele Abrahamsen, Benjamin Sheredos:
Using Diagrams to Reason About Biological Mechanisms. 264-279 - Jim Burton, Lopamudra Choudhury, Mihir K. Chakraborty:
A Survey and Evaluation of Diagrams for Navya-Nyāya. 280-295 - Atsushi Shimojima, Dave Barker-Plummer:
Operations on Single Feature Indicator Systems. 296-312 - Gem Stapleton, Atsushi Shimojima, Mateja Jamnik:
The Observational Advantages of Euler Diagrams with Existential Import. 313-329 - Francesco Bellucci:
Observational Advantages: A Philosophical Discussion. 330-335 - Chayanika Deka Nath, Shyamanta M. Hazarika:
'Diagrams': A Hybrid Visual Information Representation and Reasoning Paradigm Towards Video Analysis. 336-345 - Dean McHugh:
Diagrammatic Definitions of Causal Claims. 346-354 - Benjamin Brink Allsopp:
Arcform. 355-362
Euler and Venn Diagrams
- Gem Stapleton, Amirouche Moktefi, John Howse, Jim Burton:
Euler Diagrams Through the Looking Glass: From Extent to Intent. 365-381 - David Waszek:
Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams. 382-389 - Duo Wang, Mateja Jamnik, Pietro Liò:
Investigating Diagrammatic Reasoning with Deep Neural Networks. 390-398 - Sven Linker:
Sequent Calculus for Euler Diagrams. 399-407
Empirical Studies and Cognition
- Peter B. Lloyd, Peter Rodgers, Maxwell J. Roberts:
Metro Map Colour-Coding: Effect on Usability in Route Tracing. 411-428 - Nadia Ali, David Peebles:
The Effect of Graphical Format and Instruction on the Interpretation of Three-Variable Bar and Line Graphs. 429-440 - Amy Rae Fox, James D. Hollan:
Read It This Way: Scaffolding Comprehension for Unconventional Statistical Graphs. 441-457 - Günther Schreder, Nicole Hynek, Florian Windhager, Eva Mayr:
Rediscovering Isotype from a Cognitive Perspective. 458-469 - Richard K. Lowe, Jean-Michel Boucheix, Marilyne Menant:
Perceptual Processing and the Comprehension of Relational Information in Dynamic Diagrams. 470-483 - Leonie Bosveld-de Smet, Anne-Roos Bakker:
Visualizing Conversational Structure: Effects of Conversation-Analytical Knowledge and Social Media Experience. 484-491 - Jennifer G. Cromley, Kyle Mara:
Comparing and Contrasting Within Diagrams: An Effective Study Strategy. 492-499 - Takeshi Sugio:
The Role of Top-Down Knowledge in Spatial Cueing Using Hierarchical Diagrams. 500-508 - Matthew Wood, Susan Stocklmayer:
Exploring the Relationship Between Visual Context and Affect in Diagram Interpretation. 509-516 - Ana Semrov, Alan F. Blackwell, Advait Sarkar:
Visualising Latent Semantic Spaces for Sense-Making of Natural Language Text. 517-525 - Simone Kriglstein, Margit Pohl, Johanna Doppler Haider:
How Users Transform Node-Link Diagrams to Matrices and Vice Versa. 526-534
Peirce and Existential Graphs
- Dave Beisecker:
Peirce and Proof: A View from the Trees. 537-548 - Minghui Ma, Ahti-Veikko Pietarinen:
A Weakening of Alpha Graphs: Quasi-Boolean Algebras. 549-564 - Ahti-Veikko Pietarinen, Daniele Chiffi:
Assertive and Existential Graphs: A Comparison. 565-581 - Shigeyuki Atarashi:
On the Transformation Rules of Erasure and Insertion in the Beta Part of Peirce's Existential Graphs. 582-589 - Javier Legris:
Existential Graphs as a Basis for Structural Reasoning. 590-597 - Takashi Sasaki:
Multiple Readings of Existential Graphs. 598-604
Logic and Diagrams
- Ryo Takemura:
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams. 607-623 - Timm Lampert:
Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach. 624-639 - Lorenz Demey, Hans Smessaert:
Aristotelian and Duality Relations Beyond the Square of Opposition. 640-656 - José Martín Castro-Manzano:
Syllogistic with Jigsaw Puzzle Diagrams. 657-671 - Shan Chen, Aidan J. Delaney:
Diagrammatically Formalising Constraints of a Privacy Ontology. 672-679 - Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima:
On Diagrams and General Model Checkers. 680-688 - Sumanta Sarathi Sharma:
Depicting the Redundancy of Fourth Figure Using Venn-Peirce Framework. 689-696
Posters
- Peter Chapman, William Roberts:
Towards Diagram-Based Editing of Ontologies. 699-703 - Friederike Brockhaus, Peter Sedlmeier:
Diagrams Including Pictograms Increase Stock-Flow Performance. 704-707 - Frank Thomas Sautter, Gisele Dalva Secco:
A Simple Decision Method for Syllogistic. 708-711 - Erika Rita Ortiz:
Wallis's Use of Innovative Diagrams. 712-715 - Mehdi Mirzapour, Christian Retoré:
Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm. 716-720 - Jens Lemanski, Amirouche Moktefi:
Making Sense of Schopenhauer's Diagram of Good and Evil. 721-724 - Juliette C. Désiron, Mireille Bétrancourt, Erica de Vries:
How Cross-Representational Signaling Affects Learning from Text and Picture: An Eye-Tracking Study. 725-728 - Gunta Krumina, Jurgis Skilters, Annija Gulbe, Vsevolod Lyakhovetskii:
Effect of Handedness on Mental Rotation. 729-733 - James E. Corter:
Euler Box Diagrams to Represent Independent and Non-independent Events. 734-738 - Roman Klapaukh, Stuart Marshall, David J. Pearce:
A Symmetry Metric for Graphs and Line Diagrams. 739-742 - Ulf Rüegg, Reinhard von Hanxleden:
Wrapping Layered Graphs. 743-747 - Vinícius Jonas de Aguiar:
Diagrams, Musical Notation, and the Semiotics of Musical Composition. 748-751 - Jens Lemanski:
Calculus CL as Ontology Editor and Inference Engine. 752-756 - José Martín Castro-Manzano, José Roberto Pacheco-Montes:
Moded Diagrams for Moded Syllogisms. 757-760 - José Martín Castro-Manzano, Jorge Medina-Delgadillo, Juan Manuel Campos Benítez:
A Review of Murner's Cards for Syllogistic. 761-764 - Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson:
Towards Executable Representations of Social Machines. 765-769 - Elena-Teodora Miron, Christian Muck, Dimitris Karagiannis, David Götzinger:
Transforming Storyboards into Diagrammatic Models. 770-773 - Khanh-Hoang Doan, Martin Gogolla:
Logical Reasoning with Object Diagrams in a UML and OCL Tool. 774-778 - Javier Anta:
Scanning the Invisible: Framing Diagrammatic Cognition in Experimental Particle Physics. 779-782 - Marc Champagne:
Teaching Argument Diagrams to a Student Who Is Blind. 783-786
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-11 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
