001449411 000__ 05643cam\a2200709\a\4500
001449411 001__ 1449411
001449411 003__ OCoLC
001449411 005__ 20230310004359.0
001449411 006__ m\\\\\o\\d\\\\\\\\
001449411 007__ cr\un\nnnunnun
001449411 008__ 220910s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001449411 019__ $$a1343998785
001449411 020__ $$a9783031151460$$q(electronic bk.)
001449411 020__ $$a3031151461$$q(electronic bk.)
001449411 020__ $$z3031151453
001449411 020__ $$z9783031151453
001449411 0247_ $$a10.1007/978-3-031-15146-0$$2doi
001449411 035__ $$aSP(OCoLC)1344159213
001449411 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dEBLCP$$dOCLCQ$$dSFB$$dOCLCF$$dUKAHL$$dOCLCQ
001449411 049__ $$aISEA
001449411 050_4 $$aQA90$$b.D53 2022eb
001449411 08204 $$a006.6$$223/eng/20220914
001449411 1112_ $$aDiagrams (Conference)$$n(13th :$$d2022 :$$cRome, Italy)
001449411 24510 $$aDiagrammatic representation and inference :$$b13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings /$$cValeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana (eds.).
001449411 2463_ $$aDiagrams 2022
001449411 260__ $$aCham :$$bSpringer,$$c2022.
001449411 300__ $$a1 online resource (386 pages)
001449411 336__ $$atext$$btxt$$2rdacontent
001449411 337__ $$acomputer$$bc$$2rdamedia
001449411 338__ $$aonline resource$$bcr$$2rdacarrier
001449411 4901_ $$aLecture notes in artificial intelligence
001449411 4901_ $$aLecture notes in computer science ;$$v13462
001449411 4901_ $$aLNCS sublibrary, SL 7, Artificial intelligence
001449411 500__ $$a4 Geometric Division of the Pythagorean Tetraktys in Theory and Practice
001449411 500__ $$aIncludes author index.
001449411 5050_ $$aIntro -- Preface -- Organization -- Contents -- Theoretical Perspectives -- Introducing the Diagrammatic Semiotic Mode -- 1 Introduction -- 2 A Multimodal Perspective on Diagrams -- 3 Multimodal Diagram Corpora -- 3.1 The Allen Institute for Artificial Intelligence Diagrams Dataset -- 3.2 AI2D-RST -- A Multimodally-Motivated Annotation Schema -- 3.3 Next Step: Adding Discourse-Driven Decomposition to AI2D-RST -- 4 Discussion -- 5 Conclusion -- References -- On Computing Optimal Linear Diagrams -- 1 Introduction -- 2 Preliminaries -- 3 Complexity of Linear Diagrams -- 4 TSP Model
001449411 5058_ $$a4.1 Solving Linear Diagrams with TSP -- 4.2 Priorities for Sets -- 4.3 A Weighted Version -- 4.4 Hierarchical Constraints -- 5 Experiments -- 5.1 Setup and Test Data -- 5.2 Computing Optimal Linear Diagrams -- 5.3 Constraints -- 6 Conclusion -- References -- Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs? -- 1 Introduction -- 2 Azzouni's Counterexample to the Standard View -- 3 The Standard View of Mathematical Rigor and Proof -- 4 Mathematicians on Visual Proofs -- 5 Azzouni's Critique Towards the Standard View Revisited
001449411 5058_ $$a5.1 Figure1 and the Corresponding Epistemic Process -- 5.2 Visual Proofs as Counterexamples to the Standard View? -- 6 Conclusion -- References -- Representational Interpretive Structure: Theory and Notation -- 1 Introduction -- 2 Representation Interpretation Theory/Notation -- RIST/RISN -- 2.1 Four Schemas -- 2.2 Linking Schemas -- 3 Idioms: Higher-Order Structures -- 3.1 Collections -- 3.2 R-Dimension Idioms -- 3.3 Coordinate Systems -- 4 Diversity of Interpretations -- 5 Discussion -- References -- Mixing Colors, Mixing Logics -- 1 Introduction -- 2 Term Logics
001449411 5058_ $$a3 Mixing Colors, Mixing Logics -- 4 Conclusions -- References -- Normatively Determined Propositions -- 1 Introduction -- 2 Formal Setting -- 3 Geometrical Representations -- 4 Final Remarks -- References -- A Diagram Must Never Be Ten Thousand Words: Text-Based (Sentential) Approaches to Diagrams Accessibility Limit Users' Potential for Normative Agency -- 1 Introduction -- 2 Diagrammatic Representation and "Free Rides" -- 3 Accessibility Issues of Diagrams -- 4 Relationships of Constraints, Possibilities for Action, and Connections with Human Rights
001449411 5058_ $$a5 Providing Normative Agency with Accessible Diagram Design -- 6 Conclusion -- References -- History -- Combing Graphs and Eulerian Diagrams in Eristic -- 1 Introduction -- 2 Current Research Results and Problems -- 3 Graph Theory -- 4 Interpretations and Discussion -- 5 An Example of a Controversy -- 6 Summary and Outlook -- References -- Taming the Irrational Through Musical Diagrams -- from Boethius to Oresme and Nemorarius -- 1 Ratios, Measuring Intervals and Proportions -- 2 Epimoric Ratios as a Measure for Musical Intervals -- 3 Boethius Triangles and Nemorarius Webs
001449411 506__ $$aAccess limited to authorized users.
001449411 650_0 $$aGraphic methods$$vCongresses.
001449411 650_0 $$aVisual communication$$vCongresses.
001449411 650_0 $$aComputer graphics$$vCongresses.
001449411 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001449411 655_0 $$aElectronic books.
001449411 7001_ $$aGiardino, Valeria.
001449411 7001_ $$aLinker, Sven.
001449411 7001_ $$aBurns, Richard.
001449411 7001_ $$aBellucci, Francesco,$$d1983-
001449411 7001_ $$aBoucheix, Jean Michel.
001449411 7001_ $$aViana, Petrucio.
001449411 77608 $$iPrint version:$$aGiardino, Valeria.$$tDiagrammatic Representation and Inference.$$dCham : Springer International Publishing AG, ©2022$$z9783031151453
001449411 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.
001449411 830_0 $$aLecture notes in computer science ;$$v13462.
001449411 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence.
001449411 852__ $$bebk
001449411 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-15146-0$$zOnline Access$$91397441.1
001449411 909CO $$ooai:library.usi.edu:1449411$$pGLOBAL_SET
001449411 980__ $$aBIB
001449411 980__ $$aEBOOK
001449411 982__ $$aEbook
001449411 983__ $$aOnline
001449411 994__ $$a92$$bISE