Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Emotional Appeals in Argumentation : From Rhetoric to Psychology and Artificial Intelligence / / by Barbara Konat
| Emotional Appeals in Argumentation : From Rhetoric to Psychology and Artificial Intelligence / / by Barbara Konat |
| Autore | Konat Barbara |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (217 pages) |
| Disciplina | 153 |
| Collana | Argumentation Library |
| Soggetto topico |
Cognitive science
Reasoning Linguistics - Methodology Cognitive Science Informal Logic Research Methods in Language and Linguistics |
| ISBN | 9783032063328 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Acknowledgements -- Introduction -- Part I: Classical Foundations and the Interactional Model of Pathos -- Chapter 1. Classical Rhetoric and Everyday Argumentation -- Chapter 2. The Place of Emotion in Argumentation Theory -- Chapter 3. Towards the Interactional Model of Pathos -- Part II: Language and Psychology of Pathos -- Chapter 4. The Language of Emotion -- Chapter 5. Psychological Models of Emotions -- Chapter 6. Empirical Applications -- Part III: Artificial Intelligence for Pathos -- Chapter 7. AI Approaches to Argumentation -- Chapter 8. Lexicons and Models for Pathos Mining -- Chapter 9. Large Language Models for Pathos Mining -- Index. |
| Record Nr. | UNINA-9911046551403321 |
Konat Barbara
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Pragmatics of Straw Man Fallacies: An Experimental Approach / / by Jennifer Schumann
| The Pragmatics of Straw Man Fallacies: An Experimental Approach / / by Jennifer Schumann |
| Autore | Schumann Jennifer |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XII, 274 p. 2 illus., 1 illus. in color.) |
| Disciplina | 160 |
| Collana | Argumentation Library |
| Soggetto topico |
Logic
Philosophy Methodology Reasoning Experimental Philosophy Informal Logic |
| ISBN | 9783031940941 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- State of the Art: Argumentation and Fallacy Theory -- The Straw Man Fallacy -- Exploratory Studies on the Straw Man Fallacy -- The Role of Information Structure -- The Role of Connectives for Straw Man Fallacies -- A Cross-Linguistic Approach to Assess the Role of Connectives for Straw Man Fallacies -- The Refutational Dimension of the Straw Man -- Conclusion -- References. |
| Record Nr. | UNINA-9911016278403321 |
|
Schumann Jennifer
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Rationality Project : Across the Millennia / / by Lantz Miller
| The Rationality Project : Across the Millennia / / by Lantz Miller |
| Autore | Miller Lantz |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2024 |
| Descrizione fisica | 1 online resource (256 pages) |
| Disciplina | 149.7 |
| Soggetto topico |
Reasoning
Philosophy Methodology Philosophy - History Informal Logic Philosophical Methods History of Philosophy |
| ISBN |
9783031399206
303139920X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. What Kind of Approach This Study Takes and What It Does Not -- Part I How a “Most-Explanatory Theory” of Rationality May Aid Understanding and Debates -- Chapter 2. Positioning the Argument: Goals, Terminologies, Assumptions, Directions -- Chapter 3. Tidying the Rational* Home -- Chapter 4. The Ontology of Rationality -- Chapter 5. Further Considerations of the Most Explanatory Theory of Rationality*: Does It Do Justice to Rationality and Humanity? -- Part II Aspects of a Most Explanatory Theory of Rationality -- Chapter 6. Rationality’s Precepts and Cognates (Irrational, Nonrational, Arational, etc.) -- Chapter 7. [Rationality vs. Authority] Versus [Rationality + Authority] -- Chapter 8. Why Rationality? The Growth and Normativity of Rationality -- Chapter 9. Rationality Personal and Social -- Chapter 10. Extensive Example and Closing Remarks. |
| Record Nr. | UNINA-9910855373403321 |
|
Miller Lantz
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reflections on Criticality in Educational Philosophy : Critical Traditions, Freire and Wittgenstein / / by Marc James Deegan
| Reflections on Criticality in Educational Philosophy : Critical Traditions, Freire and Wittgenstein / / by Marc James Deegan |
| Autore | Deegan Marc James |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2024 |
| Descrizione fisica | 1 online resource (373 pages) |
| Disciplina | 370.1 |
| Collana | Palgrave Studies in Educational Philosophy and Theory |
| Soggetto topico |
Education - Philosophy
Critical thinking Teaching Reasoning Education and state Educational Philosophy Critical Thinking Pedagogy Informal Logic Education Policy |
| ISBN |
9783031573309
3031573307 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: Introduction -- Chapter 1: Perspectival Horizons -- Part 2: Educational Policy -- Chapter 2: Maintained Schools in England -- Chapter 3: Critical Thinking Models -- Part 3: Democracy and Social Justice -- Chapter 4: Walking my own path towards Democracy and Social Justice -- Chapter 5: Freire’s Dream of a Free and Inclusive Democratic Society -- Chapter 6: Wittgenstein as an Advocate for Social and Political Change -- Part 4: Thinking -- Chapter 7: What is Criticality? -- Chapter 8: Conceptions of Criticality -- Chapter 9: What is a Critical Education? -- Chapter 10: Who is the Critical Being? -- Chapter 11: Freire, Wittgenstein and Criticality -- Chapter 12: Freire, Wittgenstein and the Critical Being.-Part 5: Knowing -- Chapter 13: Ways of Knowing -- Chapter 14: Freire, Wittgenstein and Aesthetics, Ethics and Religious Belief -- Part 6: Reflections -- Chapter 15: Findings, Recommendations and Next Steps -- Chapter 16: Remarks in Closing. |
| Record Nr. | UNINA-9910857796703321 |
|
Deegan Marc James
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings / / edited by Marieke Huisman, Falk Howar
| Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings / / edited by Marieke Huisman, Falk Howar |
| Autore | Huisman Marieke |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (184 pages) |
| Disciplina | 160 |
| Altri autori (Persone) | HowarFalk |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Reasoning
Computer science Informal Logic Models of Computation |
| ISBN | 3-031-72044-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Invited Talk -- Formalising Requirements for Verification -- Contents -- Invited Talks -- Efficient Temporal Logic Runtime Monitoring for Tiny Systems -- 1 Introduction -- 2 Related Work -- 3 Linear Temporal Logic Runtime Monitoring on Small-Scale Systems - Step By Step -- 4 Keeping Track of Specification Violation Reasons -- 5 A Specialized Microcontroller Component for Temporal Logic Runtime Monitoring -- 6 Conclusion -- References -- Quality of Tests and Proofs -- Is MCDC Really Better? Lessons from Combining Tests and Proofs -- 1 Overview -- 1.1 Coverage Measures -- 1.2 The Need for MCDC -- 1.3 Precise Definition and Properties of MCDC -- 2 Technology Base -- 2.1 The AutoProof Environment -- 2.2 Seeding Contradiction for Test Generation -- 2.3 SC for Achieving Branch Coverage -- 3 Seeding Contradiction for Achieving MCDC -- 3.1 Approach -- 3.2 Implementation -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 MCDC-SC Versus Branch-SC -- 4.3 MCDC-SC Versus Branch-SC and Adaptive Random Testing -- 5 Related Work -- 6 Limitations and Threats to Validity -- 7 Conclusions and Future Work -- References -- Refining CEGAR-Based Test-Case Generation with Feasibility Annotations -- 1 Introduction -- 2 Overview of CEGAR-Based Test-Case Generation -- 3 Feasibility Checking with Feasibility Annotations -- 3.1 Integrating Feasibility Annotations Into Satisfiability Checking -- 3.2 Learning from Unsatisfiability Proofs of Model-Guided Checks -- 3.3 Implementation -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Experimental Results -- 4.3 Threats to Validity -- 5 Related Work -- 6 Conclusion -- References -- No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP -- 1 Introduction -- 2 Tracked Inconsistencies -- 2.1 Pre-condition Errors -- 2.2 Post-condition Errors -- 2.3 Dead Code Errors.
2.4 Non-terminating Loops and Other Loop Errors -- 2.5 Exiting Errors -- 2.6 Avoiding Redundant Alarms -- 2.7 Avoiding Spurious Alarms -- 3 Design and Implementation -- 3.1 Reachability Analysis -- 3.2 Protected and Protecting Nodes -- 3.3 Weakest-Precondition Calculus for Smoke Tests -- 3.4 Proof Method -- 3.5 Providing Feedback to Users -- 4 Industrial Experiments -- 5 Related Work -- 6 Conclusion -- References -- Testing and Proving Advanced Properties -- Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack -- 1 Introduction -- 2 The Frama-C Verification Platform and Its Wp, E-ACSL and MetAcsl Plug-ins -- 3 Overview of the TPM and its Software Stack -- 4 Companion Memory Modeling for Sensitive Data -- 5 Defining and Verifying High-Level Security Properties -- 6 Evaluation and Key Lessons -- 6.1 Threats to Validity -- 6.2 Key Lessons -- 7 Related Work -- 8 Conclusion and Future Work -- References -- Cyclone: A New Tool for Verifying/Testing Graph-Based Structures -- 1 Introduction -- 2 Architecture -- 2.1 Usage -- 3 Building Graphs -- 3.1 Variables -- 3.2 Conditional Variables -- 3.3 Nodes and Edges -- 3.4 Conditional Transitions -- 3.5 Path Conditions -- 4 Specifying Properties -- 4.1 Assertions -- 4.2 Invariants -- 4.3 Checking Modes -- 5 Preliminary Evaluation -- 6 Related Work -- 6.1 Limitations -- 7 Conclusion -- References -- Applications of Tests and Proofs -- Model-Based Testing of Quantum Computations -- 1 Introduction -- 2 Preliminaries -- 3 Test Models for Quantum Computations -- 3.1 Models of Quantum Computation -- 3.2 Process Models for Testing Quantum Computations -- 4 Test Processes for Quantum Computations -- 4.1 Test Processes and Tested Processes -- 4.2 Non-probabilistic Test Processes -- 4.3 Probabilistic Test Processes -- 5 Related Work -- 6 Conclusion -- References. Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks -- 1 Introduction and Motivation -- 2 Theoretical Background -- 3 Related Work -- 4 Overview and Features -- 5 Design of Affinitree -- 5.1 Core Data Structure -- 5.2 Distillation Process -- 5.3 Modular Composition -- 5.4 Semantics-Preserving Pruning -- 5.5 Preconditions -- 6 Demonstration -- 6.1 Fairness Analysis -- 6.2 Decision Boundaries Near Adversarial Examples -- 6.3 Counterfactual Explanations -- 7 Conclusion -- References -- Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM -- 1 Introduction -- 2 Motivating Example -- 3 Analysis Pipeline -- 4 Results -- 5 Conclusion -- References -- Author Index. |
| Record Nr. | UNINA-9910983388803321 |
|
Huisman Marieke
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and Proofs [[electronic resource] ] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu
| Tests and Proofs [[electronic resource] ] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu |
| Autore | Prevosto Virgile |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | SeceleanuCristina |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Reasoning
Computer science Informal Logic Models of Computation |
| ISBN | 3-031-38828-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement. |
| Record Nr. | UNISA-996542666003316 |
|
Prevosto Virgile
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu
| Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / / edited by Virgile Prevosto, Cristina Seceleanu |
| Autore | Prevosto Virgile |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | SeceleanuCristina |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Reasoning
Computer science Informal Logic Models of Computation |
| ISBN | 3-031-38828-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement. |
| Record Nr. | UNINA-9910735775203321 |
|
Prevosto Virgile
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Informal Logic
(7)
- Reasoning (7)
- Computer science (3)
- Models of Computation (3)
- Methodology (2)