MARC details
| 000 -LIDER |
|---|
| fixed length control field |
07609nam a22007215i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-3-031-71291-3 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250516160135.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
240909s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783031712913 |
| -- |
978-3-031-71291-3 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
Q334-342 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TA347.A78 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM004000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
006.3 |
| Edition number |
23 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Diagrammatic Representation and Inference |
| Medium |
[electronic resource] : |
| Remainder of title |
14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings / |
| Statement of responsibility, etc. |
edited by Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee, Richard Burns. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
1st ed. 2024. |
| 264 #1 - |
|---|
| -- |
Cham : |
| -- |
Springer Nature Switzerland : |
| -- |
Imprint: Springer, |
| -- |
2024. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XV, 492 p. 272 illus., 107 illus. in color. |
| Other physical details |
online resource. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Artificial Intelligence, |
| International Standard Serial Number |
2945-9141 ; |
| Volume/sequential designation |
14981 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
-- Keynote Talks. -- How can we make trustworthy AI?. -- A dialogical account of diagrams in mathematical proofs. -- Where Diagrams Come From. -- Analysis of Diagrams. -- Diagrams and their role in economics as problem-solving devices and knowledge-improving tools. The case of the Phillip Machine. -- Why Feynman Diagrams Are Worth 10,000 formulas: A Representational Epistemic Analysis. -- 12 questions, 19 visual encoding techniques, and 101 types of visualization - each described by a systematically generated sentence. -- Domain-Specific Rules Override Aesthetic Graph Drawing Criteria: An Exploration of User-Generated Diagrams. -- Generating Qualitative Descriptions of Diagrams with a Transformer-based Language Model. -- Diagram Control and Model Order for Sugiyama Layouts. -- B42: the Geometry of 4-Valued Contradiction. -- A Way Diagrams Explain: Analysis Based on Consequence Matching. -- Euler Diagrams, Aristotelian Diagrams and Syllogistics. -- What Does it Mean that Diagrams Represent Constructions?. -- The Topology of Assertion: A Diagrammatic Rationale for Our Enduring Love of Truth. -- Schopenhauer's Sorites Diagram. -- Category Theory for Aristotelian Diagrams: The Debate on Singular Propositions. -- Euler and Venn Diagrams. -- Rectangular Euler Diagrams and Order Theory. -- Reference by Occurrence. -- EulerMerge: Simplifying Euler Diagrams Through Set Merges. -- Representing uncertainty with expanded Ueberweg diagrams. -- Indeterminate set space diagrams. -- Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models?. -- Diagrams in Logic. -- Mozi's Square of Opposition and Logemes as New Logical Approach. -- Implicational Existential Graphs. -- Aristotelian Diagrams as Logic Diagrams. -- Sentence Negation and Term Negation as Syntactic Operations in Diagram Logic. -- Playing Games with Diagrams: Truth Diagrams and Game Semantics. -- Peirce's extended Euler diagrams and the system Atl based on Ladd-Franklin's exclusion relations. -- Diagrams and Applications. -- Anxiety Moderates the Effects of Drawing Support on Drawing Accuracy in Mathematical Modeling. -- Learning magnitude of energy consumption with symbolic or iconic representations. -- Designing a Mind-Mapping-Assisted Comparative Literature Course in Chinese Academic Settings. -- Integration of Learning Through the Use of Self-Constructed Diagrams: Opportunities and Challenges. -- Chinese Children' Drawing in Science Class. -- Diagram Tools. -- Hoop Diagrams: A Set Visualization Method. -- Building a large dataset of human-generated captions for science diagrams. -- KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems. -- Historical Aspects of Diagrams. -- Drawing Technology: Sketches of Isambard Kingdom Brunel. -- On the Expressivity of Byzantine Diagrams in Logic. -- Posters. -- An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page. -- Codifying Visual Representations. -- A diagram helping the mathematical problem solving procedure. -- Collaborative Graph-Document Composition Is Easy and Enhances Critical-Thinking Skills without Extra Cost. -- An eye-tracking study on the effects of using highlighted multi-attribute tables: A preliminary report. -- Spoiled Games: Mimesis & Phenomenology. -- The Region Connection Calculus, Euler Diagrams and Aristotelian Diagrams. -- Between pro/con-lists and argument graphs: Finding the right level of complexity in argumentation representation. -- Diagrammatic analogical reasoning. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27-October 1, 2024. The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Keynote Talks; Analysis of Diagrams; Euler and Venn Diagrams; Diagrams in Logic; Diagrams and Applications; Diagram Tools; Historical Aspects of Diagrams; and Posters. |
| 541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Owner |
UABC ; |
| Method of acquisition |
Perpetuidad |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
User interfaces (Computer systems). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Human-computer interaction. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Data structures (Computer science). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Information theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Computer programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Compilers (Computer programs). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Computer science. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Artificial Intelligence. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
User Interfaces and Human Computer Interaction. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Data Structures and Information Theory. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Programming Techniques. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Compilers and Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Theory of Computation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Lemanski, Jens. |
| Relator term |
editor. |
| -- |
(orcid)0000-0003-3661-4752 |
| -- |
https://orcid.org/0000-0003-3661-4752 |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Johansen, Mikkel Willum. |
| Relator term |
editor. |
| -- |
(orcid)0000-0003-0454-2678 |
| -- |
https://orcid.org/0000-0003-0454-2678 |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Manalo, Emmanuel. |
| Relator term |
editor. |
| -- |
(orcid)0000-0001-6470-4021 |
| -- |
https://orcid.org/0000-0001-6470-4021 |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Viana, Petrucio. |
| Relator term |
editor. |
| -- |
(orcid)0000-0002-3517-6706 |
| -- |
https://orcid.org/0000-0002-3517-6706 |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bhattacharjee, Reetu. |
| Relator term |
editor. |
| -- |
(orcid)0000-0003-0720-4973 |
| -- |
https://orcid.org/0000-0003-0720-4973 |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Burns, Richard. |
| Relator term |
editor. |
| -- |
(orcid)0000-0002-3961-438X |
| -- |
https://orcid.org/0000-0002-3961-438X |
| Relator code |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783031712906 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783031712920 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture Notes in Artificial Intelligence, |
| -- |
2945-9141 ; |
| Volume number/sequential designation |
14981 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Public note |
Libro electrónico |
| Uniform Resource Identifier |
http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-71291-3 |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
| 912 ## - |
|---|
| -- |
ZDB-2-SXCS |
| 912 ## - |
|---|
| -- |
ZDB-2-LNC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Libro Electrónico |
