Diagrammatic representation and inference. Third international conference, Diagrams 2004, Cambridge, UK, March 22--24, 2004. Proceedings. (Q1883989): Difference between revisions

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0992.00057). Indexed articles: \textit{Hegarty, Mary}, Diagrams in the mind and in the world: Relations between internal and external visualizations, 1-13 [Zbl 1091.68641] \textit{Norman, Jesse}, Can diagrams have epistemic value? The case of Euclid, 14-17 [Zbl 1091.03500] \textit{Shimojima, Atsushi}, Inferential and expressive capacities of graphical representations: Survey and some generalizations, 18-21 [Zbl 1091.68656] \textit{Toader, Iulian D.}, On Frege's logical diagrams, 22-25 [Zbl 1092.03500] \textit{Veres, Csaba; Mansson, Gittan}, Psychological foundations for concept modeling, 26-28 [Zbl 1091.68663] \textit{Winterstein, Daniel; Bundy, Alan; Jamnik, Mateja}, On differences between the real and physical plane, 29-31 [Zbl 1091.68666] \textit{Dau, Frithjof}, Query graphs with cuts: Mathematical foundations, 32-50 [Zbl 1091.68606] \textit{Fish, Andrew; Howse, John}, Towards a default reading for constraint diagrams, 51-65 [Zbl 1091.68601] \textit{Mutton, Paul; Rodgers, Peter; Flower, Jean}, Drawing graphs in Euler diagrams, 66-81 [Zbl 1091.68650] \textit{Nagy, Benedek; Allwein, Gerard}, Diagrams and non-monotonicity in puzzles, 82-96 [Zbl 1091.68604] \textit{Pietarinen, Ahti-Veikko}, Peirce's diagrammatic logic in IF perspective, 97-111 [Zbl 1091.68605] \textit{Stapleton, Gem; Howse, John; Taylor, John; Thompson, Simon}, What can spider diagrams say?, 112-127 [Zbl 1091.68658] \textit{Verroust, Anne; Viaud, Marie-Luce}, Ensuring the drawability of extended Euler diagrams for up to 8 sets, 128-141 [Zbl 1091.68664] \textit{Choudhury, L.; Chakraborty, M. K.}, On extending Venn diagram by augmenting names of individuals, 142-146 [Zbl 1091.68632] \textit{John, Chris}, Reasoning with projected contours, 147-150 [Zbl 1091.68645] \textit{Chandrasekaran, B.; Kurup, Unmesh; Banerjee, Bonny; Josephson, John R.; Winkler, Robert}, An architecture for problem solving with diagrams, 151-165 [Zbl 1091.68599] \textit{Flower, Jean; Masthoff, Judith; Stapleton, Gem}, Generating readable proofs: A heuristic approach to theorem proving with spider diagrams, 166-181 [Zbl 1091.68592] \textit{de Lara, Juan; Taentzer, Gabriele}, Automated model transformation and its validation using AToM\({}^{3}\) and AGG, 182-198 [Zbl 1091.68667] \textit{McCartney, Robert; El-Kafrawy, Passent}, Inter-diagrammatic reasoning and digital geometry, 199-215 [Zbl 1091.68649] \textit{Pfeiffer, Joseph J. jun.}, A prototype inference engine for rule-based geometric reasoning, 216-226 [Zbl 1091.68651] \textit{Bosworth, Richard}, Automatic proofs for scalecharts, 227-230 [Zbl 1091.68591] \textit{Futrelle, Robert P.}, Diagram schemas: What, why, how, 231-234 [Zbl 1091.68637] \textit{Murata, Tsuyoshi}, Roles of diagrammatic information for the discovery of geometrical theorems, 235-238 [Zbl 1091.68595] \textit{Smith, Neil; Thomas, Pete; Waugh, Kevin}, Interpreting imprecise diagrams, 239-241 [Zbl 1091.68657] \textit{Cheng, Peter C-H.}, Why diagrams are (sometimes) six times easier than words: Benefits beyond locational indexing, 242-254 [Zbl 1091.68630] \textit{Elzer, Stephanie; Green, Nancy; Carberry, Sandra; Hoffman, James}, Incorporating perceptual task effort into the recognition of intention in information graphics, 255-270 [Zbl 1091.68634] \textit{Feeney, Aidan; Adams, John; Webber, Lara; Ewbank, Michael}, Individual differences in graphical reasoning, 271-285 [Zbl 1091.68636] \textit{Healey, Patrick G. T.; King, James; Swoboda, Nik}, Co-ordinating conventions in graphical dialogue: Effects of repetition and interaction, 286-300 [Zbl 1091.68640] \textit{Yoon, Daesub; Narayanan, N. Hari}, Predictors of success in diagrammatic problem solving, 301-315 [Zbl 1091.68600] \textit{Umata, Ichiro; Shimojima, Atsushi; Katagiri, Yasuhiro}, Speech and graphical interaction in multimodal communication, 316-328 [Zbl 1091.68662] \textit{Adèr, Herman J.; Pasman, H. Roeline W.; The, B. Anne-Mei}, Generating new research hypotheses from a result diagram of qualitative research, 329-332 [Zbl 1091.68621] \textit{Barone, Rossano; Cheng, Peter C.-H.}, Interpreting lines in graphs: Do graph users construe fictive motion?, 333-336 [Zbl 1091.68623] \textit{Butcher, Kirsten R.; Kintsch, Walter}, Learning with diagrams: Effects on inferences and the integration of information, 337-340 [Zbl 1091.68629] \textit{Burns, Kevin}, Making TRACS: The diagrammatic design of a double-sided deck, 341-343 [Zbl 1091.68626] \textit{Cox, Richard; Romero, Pablo; du Boulay, Benedict; Lutz, Rudi}, A cognitive processing perspective on student programmers' `graphicacy', 344-346 [Zbl 1091.68633] \textit{Fay, Nicolas; Swoboda, Nik; Fukaya, Takugo; Umata, Ichiro; Katagiri, Yasuhiro}, Using graphics to communicate across cultures, 347-350 [Zbl 1091.68635] \textit{Grawemeyer, Beate; Cox, Richard}, The effect of knowledge-of-external-representations upon performance and representational choice in a database query task, 351-354 [Zbl 1091.68638] \textit{Lowe, Richard}, User-controllable animated diagrams: The solution for learning dynamic content?, 355-359 [Zbl 1091.68648] \textit{Price, Sara}, Processing animation: Integrating information from animated diagrams, 360-364 [Zbl 1091.68652] \textit{Suwa, Masaki}, A training program to be perceptually sensitive and conceptually productive through meta-cognition: A case study, 365-367 [Zbl 1091.68659] \textit{Thomas, Lynda; Ratcliffe, Mark; Thomasson, Benjy}, Can object (instance) diagrams help first year students understand program behaviour?, 368-371 [Zbl 1091.68660] \textit{Trickett, Susan Bell; Trafton, J. Gregory}, Spatial transformations in graph comprehension, 372-375 [Zbl 1091.68661] \textit{Banerjee, Bonny; Chandrasekaran, B.}, Constructing diagrams representing group motions, 376-378 [Zbl 1091.68622] \textit{Burns, Kevin}, Bar-gain boxes: An informative illustration of the pairing problem, 379-381 [Zbl 1091.68627] \textit{Burns, Kevin}, Bayesian boxes: A colored calculator for picturing posteriors, 382-384 [Zbl 1091.68628] \textit{Cheng, Peter C-H.; Barone, Rossano}, Representing rosters: Conceptual integration counteracts visual complexity, 385-387 [Zbl 1091.68631] \textit{Jarratt, Timothy; Keller, René; Nair, Seena; Eckert, Claudia; Clarkson, P. John}, Visualization techniques for product change and product modelling in complex design, 388-391 [Zbl 1091.68644] \textit{Kleiweg, Peter; Nerbonne, John; Bosveld, Leonie}, Geographic projection of cluster composites, 392-394 [Zbl 1091.68646] \textit{Mues, Christophe; Baesens, Bart; Files, Craig M.; Vanthienen, Jan}, Decision diagrams in machine learning: An empirical study on real-life credit-risk data, 395-397 [Zbl 1091.68574] \textit{Salting, Don}, Feature diagrams in phonology, 398-401 [Zbl 1091.68620] \textit{Vinyard, Rick L.; Pfeiffer, Joseph J.}, Using color component overlays for result visualization in a classification by sketch system, 402-406 [Zbl 1091.68665] \textit{Green, T. R. G.; Harrop, Andrew G.; Dimitrova, Vania}, Teaching children brackets by manipulating trees: Is easier harder?, 407-414 [Zbl 1091.68639] \textit{Jansen, Anthony R.; Marriott, Kim; Meyer, Bernd}, Cider: A component-based toolkit for creating smart diagram environments, 415-419 [Zbl 1091.68643] \textit{Le, Truong Lan; Kulpa, Zenon}, Diagrammatic spreadsheet: An overview, 420-423 [Zbl 1091.68647] \textit{Saund, Eric; Mahoney, James}, Perceptual support of diagram creation and editing, 424-427 [Zbl 1091.68653] \textit{Saund, Eric; Mahoney, James}, ScanScribe: Perceptually supported diagram image editing, 428-431 [Zbl 1091.68654] \textit{Winterstein, Daniel; Bundy, Alan; Gurr, Corin; Jamnik, Mateja}, An experimental comparison of diagrammatic and algebraic logics, 432-434 [Zbl 1091.68597] \textit{Bienvenido, J. Fernando; Flores-Parra, Isabel M.}, Automatic generation of the behavior definition of distributed design tools from task method diagrams and method flux diagrams by diagram composition, 435-437 [Zbl 1091.68624] \textit{Bobkowska, Anna E.}, Selected aspects of customization of cognitive dimensions for evaluation of visual modeling languages, 438-440 [Zbl 1091.68625] \textit{Irani, Pourang}, Notations for software engineering class structures, 441-445 [Zbl 1091.68642]