Diagrammatic Representation and Inference [[electronic resource] ] : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / / edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 831 p. 379 illus.) |
Disciplina | 006.6 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
User 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 |
ISBN | 3-319-91376-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466032303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Diagrammatic 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 Bellucci |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 831 p. 379 illus.) |
Disciplina | 006.6 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
User 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 |
ISBN | 3-319-91376-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349437403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Visual reasoning with diagrams / / Amirouche Moktefi, Sun-Joo Shin, editors |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Heidleberg ; ; New York, : Birkhauser, 2013 |
Descrizione fisica | 1 online resource (210 p.) |
Disciplina | 511.3 |
Altri autori (Persone) |
MoktefiAmirouche
ShinSun-Joo |
Collana | Studies in universal logic |
Soggetto topico |
Logic diagrams
Visual reasoning Reasoning |
ISBN | 3-0348-0600-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- 1. What is a logical diagram? (Catherine Legg) -- 2. The geometry of diagrams and the logic of syllogisms (Richard Bosley).- 3. A diagrammatic calculus of syllogisms (Ruggero Pagnan) -- 4. Beyond syllogisms: Carroll’s (marked) quadriliteral diagram (Amirouche Moktefi) -- 5. A diagrammatic bridge between classical and fuzzy logics (Ferdinando Cavaliere) -- 6. Diagrammatic reasoning with Classes and relationships (Jørgen Fischer Nilsson).- 7. On the completeness of spider diagrams augmented with constants (Gem Stapleton, John Howse, Simon Thompson, John Taylor and Peter Chapman) -- 8. A practice-based approach to diagrams (Valeria Giardino) -- 9. Figures, formulae, and functors (Zach Weber) -- 10. Diagrams and concepts of graph theory (Mitsuko Mizuno). |
Record Nr. | UNINA-9910438154703321 |
Heidleberg ; ; New York, : Birkhauser, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|