04025nam 22007575 450 991034943740332120200705041628.03-319-91376-X10.1007/978-3-319-91376-6(CKB)3810000000358640(DE-He213)978-3-319-91376-6(MiAaPQ)EBC6286212(PPN)229494110(EXLCZ)99381000000035864020180516d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierDiagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings /edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XVI, 831 p. 379 illus.) Lecture Notes in Artificial Intelligence ;10871Includes index.3-319-91375-1 This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and drawing Euler diagrams; diagrams in mathematics; diagram design, principles and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; Peirce and existential graphs; and logic and diagrams.Lecture Notes in Artificial Intelligence ;10871User interfaces (Computer systems)Mathematical logicArtificial intelligenceApplication softwareSoftware engineeringOptical data processingUser Interfaces and Human Computer Interactionhttps://scigraph.springernature.com/ontologies/product-market-codes/I18067Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Image Processing and Computer Visionhttps://scigraph.springernature.com/ontologies/product-market-codes/I22021User interfaces (Computer systems).Mathematical logic.Artificial intelligence.Application software.Software engineering.Optical data processing.User Interfaces and Human Computer Interaction.Mathematical Logic and Formal Languages.Artificial Intelligence.Information Systems Applications (incl. Internet).Software Engineering.Image Processing and Computer Vision.006.6Chapman Peteredthttp://id.loc.gov/vocabulary/relators/edtStapleton Gemedthttp://id.loc.gov/vocabulary/relators/edtMoktefi Amiroucheedthttp://id.loc.gov/vocabulary/relators/edtPerez-Kriz Sarahedthttp://id.loc.gov/vocabulary/relators/edtBellucci Francescoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349437403321Diagrammatic Representation and Inference772658UNINA