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.
The Cognitive Foundations of Group Attitudes and Social Interaction / / edited by Andreas Herzig, Emiliano Lorini
| The Cognitive Foundations of Group Attitudes and Social Interaction / / edited by Andreas Herzig, Emiliano Lorini |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (208 p.) |
| Disciplina | 100 |
| Collana | Studies in the Philosophy of Sociality |
| Soggetto topico |
Philosophy and social sciences
Artificial intelligence Philosophy of the Social Sciences Artificial Intelligence |
| ISBN | 3-319-21732-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 "On the philosophy and logic of help" Emanuele Bottazzi and Nicolas Troquard (Lab of Applied Ontology, ISTC-CNR, Trento, Italy) -- Chapter 2 "Healing social sciences’ psycho-phobia – Founding social action and structure on mental representations" Cristiano Castelfranchi (ISTC-CNR, Rome) -- Chapter 3 "Analytical decomposition of trust in terms of mental and social attitudes" Robert Demolombe (IRIT, Toulouse) -- Chapter 4 "On modal logics of group belief" Benoit Gaudou, Andreas Herzig, Dominique Longin and Emiliano Lorini (IRIT, Toulouse) -- Chapter 5 "Logic of promotion and demotion" Patrick Girard (The University of Auckland, NZ) -- Chapter 6 "On the attitude of trust – a formal characterization of trust, distrust, and associated notions" Andrew I.J. Jones (Dept. of Informatics, King’s College, London) -- Chapter 7 "The topology of common belief" David Pearce and Levan Uridia (Universidad Politécnica de Madrid; TSU Razmadze Mathematical Institute, Georgia) -- Chapter 8 "Social emotions from the perspective of the computational belief-desire theory of emotion" Rainer Reisenzein (Dept. of Psychology, University of Greifswald) -- Chapter 9 "Reasoning with Normative Systems" Giovanni Sartor (Dept. of Law, Eur. University Institute, Florence and Faculty of Law, Bologna) -- Chapter 10 "An agent based model of Camorra: comparing punishment and norm-based policies in contrasting illegal activities" -- Chapter 11 Barbara Sonzogni, Federico Cecconi, Giulia Andrighetti, Rosaria Conte (Dept. of Communication and Social Research at Sapienza University, Rome; Lab. of Agent-Based Simulation, ISTC-CNR, Rome; Eur. University Institute, Florence). . |
| Record Nr. | UNINA-9910483347803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Rationality, and Interaction [[electronic resource] ] : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo
| Logic, Rationality, and Interaction [[electronic resource] ] : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 441 p. 794 illus., 5 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Mathematical logic
Machine theory Logic programming Compilers (Computer programs) Social sciences—Data processing Mathematical Logic and Foundations Formal Languages and Automata Theory Logic in AI Compilers and Interpreters Computer Application in Social and Behavioral Sciences |
| ISBN | 3-662-60292-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving Judgment Reliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. |
| Record Nr. | UNISA-996466434303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo
| Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 441 p. 794 illus., 5 illus. in color.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Mathematical logic
Machine theory Logic programming Compilers (Computer programs) Social sciences—Data processing Mathematical Logic and Foundations Formal Languages and Automata Theory Logic in AI Compilers and Interpreters Computer Application in Social and Behavioral Sciences |
| ISBN | 3-662-60292-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving Judgment Reliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. |
| Record Nr. | UNINA-9910349276303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||