Theory and application of diagrams. 1st international conference, Diagrams 2000, Edinburgh, Scotland, GB, September 1--3, 2000. Proceedings (Q1582973)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Gil, Joseph; Howse, John; Tulchinsky, Elena}, Positive semantics of projections in Venn-Euler diagrams, 7-25 [Zbl 0973.03066] \textit{Howse, John; Molina, Fernando; Taylor, John}, On the completeness and expressiveness of spider diagram systems, 26-41 [Zbl 0973.03065] \textit{Marriott, Kim; Meyer, Bernd}, Non-standard logics for diagram interpretation, 42-57 [Zbl 0973.03042] \textit{Shin, Sun-Joo}, Riviving the iconicity of beta graphs, 58-73 [Zbl 0973.03044] \textit{von Klopp Lemon, Ana; von Klopp Lemon, Oliver}, Constraint matching for diagram design: Qualitative visual languages, 74-88 [Zbl 0973.68594] \textit{Drewes, Frank; Klempien-Hinrichs, Renate}, Picking knots from trees. The syntactic structure of Celtic knotwork, 89-104 [Zbl 0973.68240] \textit{Norman, Jesse}, Differentiating diagrams: A new approach, 105-116 [Zbl 0973.03502] \textit{di Luzio, Patrick Scotto}, Logical systems and formality, 117-131 [Zbl 0973.03043] \textit{Stenning, Keith}, Distinctions with differences: Comparing criteria for distinguishing diagrammatic from sentential systems, 132-148 [Zbl 0973.03513] \textit{Feeney, Aidan; Hola, Ala K. W.; Liversedge, Simon P.; Findlay, John M.; Metcalf, Robert}, How people extract information from graphs: Evidence from a sentence-graph verification paradigm, 149-161 [Zbl 0973.91569] \textit{Blackwell, Alan F.; Jansen, Anthony R.; Marriott, Kim}, Restricted focus viewer: A tool for tracking visual attention, 162-177 [Zbl 0973.68608] \textit{Narayanan, N. Hari; Hegarty, Mary}, Communicating dynamic behaviors: Are interactive multimedia presentations better than static mixed-mode presentations?, 178-193 [Zbl 0973.68624] \textit{Hegarty, Mary}, Capacity limits in diagrammatic reasoning, 194-206 [Zbl 0973.68591] \textit{Clink, Stuart; Newman, Julian}, Recording the future: Some diagrammatic aspects of time management, 207-220 [Zbl 0973.68607] \textit{Tversky, Barbara; Zacks, Jeff; Lee, Paul; Heiser, Julie}, Lines, blobs, crosses and arrows: Diagrammatic communication with schematic figures, 221-230 [Zbl 0973.68633] \textit{Jones, Sara; Scaife, Mike}, Animated diagrams: An investigation into the cognitive effects of using animation to illustrate dynamic processes, 231-244 [Zbl 0973.68630] \textit{Healey, Patrick G. T.; McCabe, Rosemarie; Katagiri, Yasuhiro}, A comparison of graphics and speech in a task-oriented interaction, 245-256 [Zbl 0973.68581] \textit{Sawamura, Hajime; Kiyozuka, Kensuke}, JVenn: A visual reasoning system with diagrams and sentences, 271-285 [Zbl 0973.68545] \textit{Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja}, A proposal for automating diagrammatic reasoning in continuous domains, 286-299 [Zbl 0973.68544] \textit{Lindsay, Robert K.}, Playing with diagrams, 300-313 [Zbl 0973.68546] \textit{Furnas, George; Qu, Yan; Shrivastava, Sanjeev; Peters, Gregory}, The use of intermediate graphical constructions in problem solving with dynamic, pixel-level diagrams, 314-329 [Zbl 0973.68632] \textit{Blostein, Dorothea; Lank, Edward; Zanibbi, Richard}, Treatment of diagrams in document image analysis, 330-344 [Zbl 0973.68617] \textit{Diskin, Zinovy; Kadish, Boris; Piessens, Frank; Johnson, Michael}, Universal arrow foundations for visual modeling, 345-360 [Zbl 0973.68576] \textit{Felfernig, Alexander; Zanker, Markus}, Diagrammatic acquisition of functional knowledge for product configuration systems with the unified modeling language, 361-375 [Zbl 0973.68629] \textit{Britton, Carol; Jones, Sara; Kutar, Maria; Loomes, Martin; Robinson, Brian}, Evaluating the intelligibility of diagrammatic languages used in the specification of software, 376-391 [Zbl 0973.68631] \textit{Thurbon, Joseph}, Executing diagram sequences, 392-406 [Zbl 0973.68599] \textit{Ferguson, Robert Ian; Hunter, Andrew; Hardy, Colin}, MetaBuilder: The diagrammer's diagrammer, 407-421 [Zbl 0973.68604] \textit{Gruner, Stefan; Kurt, Murat}, Diagrammatic control of diagrammatic structure generation, 422-436 [Zbl 0973.68530] \textit{Takada, Shingo; Yamamoto, Yasuhiro; Nakakoji, Kumiyo}, Two-dimensional positioning as visual thinking, 437-452 [Zbl 0973.68618] \textit{Mäkinen, Erkki; Siirtola, Harri}, Reordering the reorderable matrix as an algorithmic problem, 453-467 [Zbl 0973.68528] \textit{Pereira, Francisco Câmara; Cardoso, Amílcar}, Clouds: A module for automatic learning of concept maps, 468-470 [Zbl 0973.68593] \textit{Kulpa, Zenon}, A diagrammatic notation for interval algebra, 471-474 [Zbl 0973.68550] \textit{Klippel, Alexander; Kulik, Lars}, Using grids in maps, 486-489 [Zbl 0973.68620] \textit{Miller, Nathaniel}, Case analysis in Euclidean geometry: An overview, 490-493 [Zbl 0973.68571] \textit{Zhou, Yan Ping; Tan, Chew Lim}, Bar charts recognition using Hough based syntactic segmentation, 494-497 [Zbl 0973.68590] \textit{Purchase, Helen C.; Carrington, David; Allder, Jo-Anne}, Experimenting with aesthetics-based graph layout, 498-501 [Zbl 0973.68600]