Unifying Petri Nets [[electronic resource] ] : Advances in Petri Nets / / edited by Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (VIII, 488 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Software engineering Mathematical logic Computer logic Computer communication systems Computer science—Mathematics Computation by Abstract Devices Software Engineering/Programming and Operating Systems Mathematical Logic and Foundations Logics and Meanings of Programs Computer Communication Networks Discrete Mathematics in Computer Science |
ISBN | 3-540-45541-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | “What Is a Petri Net?” Informal Answers for the Informed Reader -- Application Oriented Approaches -- The ?Petri Net Baukasten?: An Overview -- Improving the Usability of Petri Nets with the ?Petri Net Baukasten? -- Implementation of Parameterized Net Classes with the Petri Net Kernel of the ?Petrinetz-Baukasten? -- Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models -- Unifying Frameworks -- Petri Nets over Partial Algebra -- Parameterized Net Classes: A Uniform Approach to Petri Net Classes -- Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs -- Rewriting Logic as a Unifying Framework for Petri Nets -- Theoretical Approaches -- Generalized Automata and Their Net Representations -- On Concurrent Realization of Reactive Systems and Their Morphisms -- Transactions and Zero-Safe Nets -- Two Algebraic Process Semantics for Contextual Nets -- Continuous Petri Nets and Transition Systems. |
Record Nr. | UNISA-996465806903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
The Unknown as an Engine for Science [[electronic resource] ] : An Essay on the Definite and the Indefinite / / by Hans J. Pirner |
Autore | Pirner Hans J |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (156 p.) |
Disciplina | 500 |
Collana | The Frontiers Collection |
Soggetto topico |
Physics
Philosophy and science Mathematical logic History and Philosophical Foundations of Physics Philosophy of Science Mathematical Logic and Foundations |
ISBN | 3-319-18509-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Evidence for the Indefinite -- Approaching the Definite -- Establishing the Definite from the Indefinite.- The Unknown as an Engine of Science: Summary. |
Record Nr. | UNINA-9910741139503321 |
Pirner Hans J | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / / edited by Bernd Finkbeiner, Thomas Wies |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (531 pages) |
Disciplina | 005.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Mathematical logic Artificial intelligence Computer networks Theory of Computation Mathematical Logic and Foundations Artificial Intelligence Computer Communication Networks |
ISBN | 3-030-94583-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464552403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Verification, Model Checking, and Abstract Interpretation [[electronic resource] ] : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / / edited by Bernd Finkbeiner, Thomas Wies |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (531 pages) |
Disciplina | 005.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Mathematical logic Artificial intelligence Computer networks Theory of Computation Mathematical Logic and Foundations Artificial Intelligence Computer Communication Networks |
ISBN | 3-030-94583-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910522936903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Visual Reasoning with Diagrams [[electronic resource] /] / edited by Amirouche Moktefi, Sun-Joo Shin |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2013 |
Descrizione fisica | 1 online resource (210 p.) |
Disciplina | 160 |
Collana | Studies in Universal Logic |
Soggetto topico |
Mathematical logic
Mathematics Visualization Logic Mathematical Logic and Foundations Mathematics, general |
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 |
Basel : , : Springer Basel : , : Imprint : Birkhäuser, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Vivid Logic [[electronic resource] ] : Knowledge-Based Reasoning with Two Kinds of Negation / / by Gerd Wagner |
Autore | Wagner Gerd |
Edizione | [1st ed. 1994.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
Descrizione fisica | 1 online resource (XIII, 155 p.) |
Disciplina | 006.3/3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer programming Mathematical logic Artificial Intelligence Programming Techniques Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
ISBN | 3-540-48288-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | General introduction -- Vivid knowledge representation and reasoning -- Partiality, paraconsistency and constructivity -- Vivid reasoning on the basis of facts -- Lindenbaum-algebraic semantics of logic programs -- Logic programming with strong negation and inexact predicates -- Vivid reasoning on the basis of rules -- Further topics, open problems. |
Record Nr. | UNISA-996466013203316 |
Wagner Gerd | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Wandering Towards a Goal [[electronic resource] ] : How Can Mindless Mathematical Laws Give Rise to Aims and Intention? / / edited by Anthony Aguirre, Brendan Foster, Zeeya Merali |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (VIII, 254 p. 46 illus.) |
Disciplina | 530.01 |
Collana | The Frontiers Collection |
Soggetto topico |
Physics
Artificial intelligence Mathematical logic Statistical physics Dynamical systems Philosophy and science History and Philosophical Foundations of Physics Artificial Intelligence Mathematical Logic and Foundations Complex Systems Philosophy of Science |
ISBN | 3-319-75726-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- A Tale of Two Animats: What does it take to have goals? (Larissa Albantakis).- Meaning and Intentionality = Information + Evolution (Carlo Rovelli).- Von Neumann Minds: A Toy Model of Meaning in a Natural World (Jochen Szangolies).- Origin Gaps and the Eternal Sunshine of the Second-Order Pendulum (Simon DeDeo).- Agent Above, Atom Below: How agents causally emerge from their underlying microphysics (Erik P Hoel) -- Bio from Bit (Sara Imari Walker) -- I Think, Therefore I Think You Think I Am (Sophia Magnusdottir) -- World without World: Observer-Dependent Physics (Dean Rickles).- The role of the observer in goal-directed behavior (Ines Samengo) -- Wandering Towards Physics: Participatory Realism and the Co-Emergence of Lawfulness (Marc Séguin) -- God's Dice and Einstein's Solids (Ian Durham).- Finding Structure in Science and Mathematics (Noson S. Yanofsky) -- From Athena to AI: the past and future of intention in nature (Rick Searle) -- No Ghost in the Machine (Alan M. Kadin) -- The Man in a Tailcoat (Tommaso Bolognesi) -- The Tablet of the Metalaw (Cristinel Stoica) -- Wandering Towards a Goal: The Key Role of Biomolecules (George F. R. Ellis, Jonathan Kopel). |
Record Nr. | UNINA-9910739410703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
What is Fundamental? [[electronic resource] /] / edited by Anthony Aguirre, Brendan Foster, Zeeya Merali |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (189 pages) |
Disciplina | 530.01 |
Collana | The Frontiers Collection |
Soggetto topico |
Physics
Philosophy and science Mathematical logic Elementary particles (Physics) Quantum field theory History and Philosophical Foundations of Physics Philosophy of Science Mathematical Logic and Foundations Elementary Particles, Quantum Field Theory |
ISBN | 3-030-11301-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Fundamental? (Emily Adlam) -- Against Fundamentalism (Matthew Leifer) -- The Politics of Fundamentality (Alyssa Ney) -- Of Lego and Layers (and Fundamentalism) (Dean Rickles) -- Fundamentality Here, Fundamentality There, Fundamentality Everywhere (Marc Séguin) -- Mind before matter: reversing the arrow of fundamentality (Markus Müller) -- Things, Laws, and the Human Mind (Tejinder Singh) -- The Case for Strong Emergence (Sabine Hossenfelder) -- Mad-Dog Everettianism: Quantum Mechanics at Its Most Minimal (Sean Carroll, Ashmeet Singh) -- Bell's Theory of Beables and the Concept of 'Universe' (Ian Durham) -- Fundamentality, Explanation, and the Unity of Science (Gregory Derry) -- When do we stop digging? Conditions on a fundamental theory of physics (Karen Crowther) -- Fundamental is Non-Random (Ken Wharton) -- Socrates, Atoms, and Beig: A Dialogue (Mozibur Ullah).Fundamentality' as a Linguistic Paradigm (and Linguistics as a Fundamental Paradigm) (Aditya Dwarkesh). |
Record Nr. | UNINA-9910741171603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Where is the Gödel-point hiding: Gentzen’s consistency proof of 1936 and his representation of constructive ordinals [[electronic resource] /] / by Anna Horská |
Autore | Horská Anna |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (81 p.) |
Disciplina | 511.322 |
Collana | SpringerBriefs in Philosophy |
Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations |
ISBN | 3-319-02171-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Acknowledgements -- 1 Introduction -- 2 Preliminaries -- 3 Ordinal numbers -- 4 Consistency proof -- Index -- References. |
Record Nr. | UNINA-9910484297203321 |
Horská Anna | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
WITTGENSTEINIAN (adj.) [[electronic resource] ] : Looking at the World from the Viewpoint of Wittgenstein's Philosophy / / edited by Shyam Wuppuluri, Newton da Costa |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (565 pages) |
Disciplina | 160 |
Collana | The Frontiers Collection |
Soggetto topico |
Philosophy and science
Physics Mathematical logic Language and languages - Philosophy Artificial intelligence Philosophy of Science History and Philosophical Foundations of Physics Mathematical Logic and Foundations Philosophy of Language Artificial Intelligence |
ISBN | 3-030-27569-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foreword by A. C. Grayling -- Philosophy: Showings: a double sestina by Christopher Norris -- Wittgenstein’s Ways by Nikolay Milkov -- Philosophy as education in thinking: Why getting the reader to think matters to Wittgenstein by Oskari Kuusela -- Wittgenstein’s grammar: through thick and thin by Danièle Moyal-Sharrock -- Playing Language Games by Beth Savickey -- Wittgenstein’s ‘Grammatical Naturalism’ by Jonathan Beale -- Wittgenstein’s ‘On Certainity’ as Pyrrhonism in Action by Duncan Pritchard -- In Quest of a Wittgensteinian Hinge Epistemology by Annalisa Coliva -- Paradigms and self-reference: what is the point of asserting paradoxical sentences? By Jakub Mácha -- “Life is very complicated”: Remarks on a Recurring Adjective by David R. Cerbone -- Wittgenstein on Truth by Paul Horwich -- Theoretical Sciences: Wittgenstein’s Philosophy: Re-orientating Science by Michael Nedo -- Showing in Wittgenstein’s ab-Notation by Gregory Landini -- Thinking in Spaces: a Characteristic of Wittgensteinian Philosophy by Pascal Zambito -- Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science by Yoshihiro Maruyama -- Wittgenstein on Physics by Chon Tejedor -- The Physics of Miniature Worlds by Susan Sterrett -- Wittgenstein’s Thought Experiments and Relativity Theory by Carlo Penco -- Wittgenstein’s solution to Einstein’s problem: Calibration across systems by Susan Edwards Mckie -- Quantum Physics and Cognitive Science from a Wittgensteinian Perspective: Bohr’s Classicism, Chomsky’s Universalism, and Bell’s Contextualism by Yoshihiro Maruyama -- Can Robots Learn to Talk? by Lars Hertzberg -- Wittgenstein versus Zombies: An Investigation of our Mental Concepts by Edward Witherspoon -- The Soul and the Painter’s Eye by Michel ter Hark -- Wittgenstein on Seeing As; some issues by Paul Snowdon -- Wittgenstein and an essay in formal biology by Nikolay Milkov -- The ecological economics revolution? Looking at economics from the vantage-point of Wittgenstein’s and Kuhn’s philosophies by Rupert Read -- MISC: Aesthetic Gestures: Elements of a Philosophy of Art in Frege and Wittgenstein by Nikolay Milkov -- The Lens of Architecture: Wittgenstein, Vision, Space, and Language by Nana Last -- Wittgenstein’s Torments of the Mind by Ilse Somavilla. . |
Record Nr. | UNINA-9910739411803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|