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.
Advances in Social Simulation 2015 [[electronic resource] /] / edited by Wander Jager, Rineke Verbrugge, Andreas Flache, Gert de Roo, Lex Hoogduin, Charlotte Hemelrijk
| Advances in Social Simulation 2015 [[electronic resource] /] / edited by Wander Jager, Rineke Verbrugge, Andreas Flache, Gert de Roo, Lex Hoogduin, Charlotte Hemelrijk |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 460 p. 133 illus., 107 illus. in color.) |
| Disciplina | 330.015193 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Social sciences Operations research Decision making Computer simulation Computational Intelligence Methodology of the Social Sciences Operations Research/Decision Theory Simulation and Modeling |
| ISBN | 3-319-47253-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Field Data to Attitude Formation -- A Simple-to-use BDI architecture for Agent-based Modeling and Simulation -- Food Incident Interactive Training Tool: a serious game for food incident management -- A Cybernetic Model of Macroeconomic Disequilibrium -- How Should Agent-Based Modelling Engage With Historical Processes? -- Evolutionary Cooperation in a Multi-Agent Society -- Design of an empirical agent-based model to explore rural household food security within a developing country context -- Comparing Income Replacement Rate by Prefecture in Japanese Pension System -- Hybrid simulation approach for technological innovation policy making in developing countries -- Modelling Contextual Decision Making in Dilemma Games -- Preliminary results from an agent-based model of the daily commute in Aberdeen and Aberdeenshire, UK -- Agent-Based Modelling of Military Communications on the Roman Frontier -- The Leviathan model without gossips and vanity: the richness of influence based on perceived hierarchy -- A calibration to properly design a model integrating residential mobility and migration in a rural area -- Modeling Contagion of Behavior in Friendship Networks as Coordination Games -- A Model of Social and Economic Capital in Social Networks -- The Impact of Macro-Scale Determinants on Individual Residential Mobility Behaviour -- Modelling the energy transition: Application of Agent Based Modelling to Integrated Assessment Modelling -- A spatially explicit agent-based model of the diffusion of green electricity: Model setup and retrodictive validation -- A Network Analytic Approach to Investigating a Land-Use Change Agent-Based Model -- Network Influence Effects in Agent-Based Modelling of Civil Violence -- Modeling the evolution of ideological landscapes through opinion dynamics -- Changing Habits using Contextualized Decision Making -- SocialSIM – Real-life social simulation as a field for students´ research projects -- Simulating Thomas Kuhn‘s Scientific Revolutions: The Example of the Paradigm Change from System Dynamics to Agent Based Modelling -- Using ABM to clarify and refine social practice theory -- Transition to Low-carbon Economy:Simulating Nonlinearities in the Electricity Market, Navarre Region-Spain -- Statistical Verification of the Multiagent Model of Volatility Clustering on Financial Markets -- Social Amplification of Risk Framework: An Agent-Based Approach -- How precise are the specifications of a psychological theory? Comparing implementations of Lindenberg and Steg’s Goal-Framing Theory of everyday pro-environmental behaviour -- Lessons learned replicating the analysis of outputs from a social simulation of biodiversity incentivisation -- The Pursuit of Happiness: A Model of Group Formation -- Understanding and Predicting Compliance with Safety Regulations at an Airline Ground Service Organization -- Opinions on Contested Infrastructures over Time: A Longitudinal, Empirically-Based Simulation -- Road repair sequencing for disaster victim evacuation -- Using empirical data for designing, calibrating and validating simulation models -- A methodology for simulating synthetic populations for the analysis of socio-technical infrastructures -- Modelling the Individual Process of Career Choice -- Modelling the role of social media at street protests -- AgentBase: Agent Based Modelling in the Browser. |
| Record Nr. | UNINA-9910254346403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discourses on social software [[electronic resource] /] / edited by Jan van Eijck and Rineke Verbrugge
| Discourses on social software [[electronic resource] /] / edited by Jan van Eijck and Rineke Verbrugge |
| Autore | Eijck J. van (Jan) |
| Pubbl/distr/stampa | Amsterdam, : Amsterdam University Press, c2009 |
| Descrizione fisica | 1 online resource (81 p.) |
| Disciplina | 949.2 |
| Altri autori (Persone) | VerbruggeRineke |
| Collana | Texts in logic and games |
| Soggetto topico |
Computer software - Development - Social aspects
Human-computer interaction |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-12934-1
9786612129346 90-485-0826-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Inhoud; Inleiding; 1. Het Nederlands Zuivelbureau en de kaasmeisjes; 2. Frau Antje als vrouw; 3. Volkscultuur en folklorisme; 4.Een symbool voor Nederland; Bibliografie; Illustratieverantwoording; Over de auteur en Dankwoord |
| Record Nr. | UNINA-9910478896103321 |
Eijck J. van (Jan)
|
||
| Amsterdam, : Amsterdam University Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discourses on social software [[electronic resource] /] / edited by Jan van Eijck and Rineke Verbrugge
| Discourses on social software [[electronic resource] /] / edited by Jan van Eijck and Rineke Verbrugge |
| Autore | Eijck J. van (Jan) |
| Pubbl/distr/stampa | Amsterdam, : Amsterdam University Press, c2009 |
| Descrizione fisica | 1 online resource (81 p.) |
| Disciplina | 949.2 |
| Altri autori (Persone) | VerbruggeRineke |
| Collana | Texts in logic and games |
| Soggetto topico |
Computer software - Development - Social aspects
Human-computer interaction |
| ISBN |
1-282-12934-1
9786612129346 90-485-0826-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Inhoud; Inleiding; 1. Het Nederlands Zuivelbureau en de kaasmeisjes; 2. Frau Antje als vrouw; 3. Volkscultuur en folklorisme; 4.Een symbool voor Nederland; Bibliografie; Illustratieverantwoording; Over de auteur en Dankwoord |
| Record Nr. | UNINA-9910777805403321 |
|
Eijck J. van (Jan)
|
||
| Amsterdam, : Amsterdam University Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discourses on social software [[electronic resource] /] / edited by Jan van Eijck and Rineke Verbrugge
| Discourses on social software [[electronic resource] /] / edited by Jan van Eijck and Rineke Verbrugge |
| Autore | Eijck J. van (Jan) |
| Pubbl/distr/stampa | Amsterdam, : Amsterdam University Press, c2009 |
| Descrizione fisica | 1 online resource (81 p.) |
| Disciplina | 949.2 |
| Altri autori (Persone) | VerbruggeRineke |
| Collana | Texts in logic and games |
| Soggetto topico |
Computer software - Development - Social aspects
Human-computer interaction |
| ISBN |
1-282-12934-1
9786612129346 90-485-0826-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Inhoud; Inleiding; 1. Het Nederlands Zuivelbureau en de kaasmeisjes; 2. Frau Antje als vrouw; 3. Volkscultuur en folklorisme; 4.Een symbool voor Nederland; Bibliografie; Illustratieverantwoording; Over de auteur en Dankwoord |
| Record Nr. | UNINA-9910820193203321 |
|
Eijck J. van (Jan)
|
||
| Amsterdam, : Amsterdam University Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discourses on social software / / Edited by Jan Van Eijck, Rineke Verbrugge
| Discourses on social software / / Edited by Jan Van Eijck, Rineke Verbrugge |
| Autore | van Eijck Jan |
| Pubbl/distr/stampa | Amsterdam : , : Amsterdam University Press, , 2009 |
| Descrizione fisica | 1 online resource (249 pages) |
| Disciplina | 930 |
| Altri autori (Persone) | VerbruggeRineke |
| Collana | Texts in Logic and Games, 5 |
| Soggetto topico |
Ethnicity -- History -- To 1500
History, Ancient |
| ISBN |
128212935X
9786612129353 9048510414 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Table of Contents; Preface; List of Authors; Chapter 1: Introductory Conversation; Chapter 2: Replies to Angry, Prag and Star; Chapter 3: What is Social Software?; Chapter 4: A Guest Lecture on Social Software; Chapter 5: Social Software and the Social Sciences; Chapter 6: On Social Choice Theory; Chapter 7: Ends and Means, Values and Virtues; Chapter 8: Common Knowledge and Common Belief; Chapter 9: Game Theory, Logic and Rational Choice; Chapter 10: What is Protocol Analysis?; Chapter 11: Dynamic Epistemic Logic for Protocol Analysis; Chapter 12: Battle of the Logics
Chapter 13: Eating from the Tree of IgnoranceChapter 14: On Collective Rational Action; Chapter 15: Social Software and the Ills of Society; Bibliography; Index |
| Record Nr. | UNINA-9910142969403321 |
|
van Eijck Jan
|
||
| Amsterdam : , : Amsterdam University Press, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Games, Actions, and Social Software [[electronic resource] ] : Multidisciplinary Aspects / / edited by Jan van Eijck, Rineke Verbrugge
| Games, Actions, and Social Software [[electronic resource] ] : Multidisciplinary Aspects / / edited by Jan van Eijck, Rineke Verbrugge |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 214 p. 15 illus.) |
| Disciplina | 006.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
User interfaces (Computer systems) Computer simulation Computer communication systems Application software Software engineering Artificial Intelligence User Interfaces and Human Computer Interaction Simulation and Modeling Computer Communication Networks Information Systems Applications (incl. Internet) Software Engineering |
| ISBN |
3-642-29325-5
3-642-29326-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466247503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models of Strategic Reasoning [[electronic resource] ] : Logics, Games, and Communities / / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge
| Models of Strategic Reasoning [[electronic resource] ] : Logics, Games, and Communities / / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 333 p. 37 illus. in color.) |
| Disciplina | 519.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computer networks Software engineering Application software Algorithms Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Computer Communication Networks Software Engineering Computer and Information Systems Applications |
| ISBN | 3-662-48540-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reasoning about games -- Dynamic models of rational deliberation in games.- Reasoning about strategies and rational play in dynamic games.- Finite reasoning procedures for dynamic games -- Formal frameworks for strategies -- Logics for reasoning about strategic abilities in multi-player games.- Using STIT theory to talk about strategies -- Automata and compositional strategies in extensive form games -- Languages for imperfect information.-Strategies in social situations -- Strategies of persuasion, manipulation and propaganda: Psychological and social aspects -- Strategies in social software -- Future perspective.- Logic of strategies: What and how? |
| Record Nr. | UNISA-996466182503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Models of Strategic Reasoning [[electronic resource] ] : Logics, Games, and Communities / / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge
| Models of Strategic Reasoning [[electronic resource] ] : Logics, Games, and Communities / / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XI, 333 p. 37 illus. in color.) |
| Disciplina | 519.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computer networks Software engineering Application software Algorithms Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Computer Communication Networks Software Engineering Computer and Information Systems Applications |
| ISBN | 3-662-48540-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reasoning about games -- Dynamic models of rational deliberation in games.- Reasoning about strategies and rational play in dynamic games.- Finite reasoning procedures for dynamic games -- Formal frameworks for strategies -- Logics for reasoning about strategic abilities in multi-player games.- Using STIT theory to talk about strategies -- Automata and compositional strategies in extensive form games -- Languages for imperfect information.-Strategies in social situations -- Strategies of persuasion, manipulation and propaganda: Psychological and social aspects -- Strategies in social software -- Future perspective.- Logic of strategies: What and how? |
| Record Nr. | UNINA-9910483135603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Teamwork in multi-agent systems : a formal approach / / Barbara Dunin-Keplicz, Rineke Verbrugge
| Teamwork in multi-agent systems : a formal approach / / Barbara Dunin-Keplicz, Rineke Verbrugge |
| Autore | Dunin-K#eplicz Barbara |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : John Wiley, , 2010 |
| Descrizione fisica | 1 online resource (246 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | VerbruggeRineke |
| Collana | Wiley series in agent technology |
| Soggetto topico |
Intelligent agents (Computer software)
Formal methods (Computer science) Artificial intelligence |
| ISBN |
1-119-95760-5
1-282-69074-4 9786612690747 0-470-66523-8 0-470-66518-1 |
| Classificazione | 85.03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
About the Authors -- Foreword -- Preface -- 1 Teamwork in Multi-Agent Environments -- 1.1 Autonomous Agents -- 1.2 Multi-Agent Environments as a Pinnacle of Interdisciplinarity -- 1.3 Why Teams of Agents? -- 1.4 The Many Flavors of Cooperation -- 1.5 Agents with Beliefs, Goals and Intentions -- 1.6 From Individuals to Groups -- 1.7 Group Attitudes -- 1.8 A Logical View on Teamwork: TEAMLOG -- 1.9 Teamwork in Times of Change -- 1.10 Our Agents are Planners -- 1.11 Temporal or Dynamic? -- 1.12 From Real-World Data to Teamwork -- 1.13 How Complex are Models of Teamwork? -- 2 Beliefs in Groups -- 2.1 Awareness is a Vital Ingredient of Teamwork -- 2.2 Perception and Beliefs -- 2.3 Language and Models for Beliefs -- 2.4 Axioms for Beliefs -- 2.5 Axioms for Knowledge -- 2.6 Relations between Knowledge and Belief -- 2.7 Levels of Agents' Awareness -- 3 Collective Intentions -- 3.1 Intentions in Practical Reasoning -- 3.2 Language and Models for Goals and Intentions -- 3.3 Goals and Intentions of Individual Agents -- 3.4 Collective Intention Constitutes a Group -- 3.5 Definitions of Mutual and Collective Intentions -- 3.6 Collective Intention as an Infinitary Concept -- 3.7 Alternative Definitions -- 3.8 The Logic of Mutual Intention TeamLogmint is Complete -- 3.9 Related Approaches to Intentions in a Group -- 4 A Tuning Machine for Collective Commitments -- 4.1 Collective Commitment -- 4.2 The Language and Kripke Semantics -- 4.3 Building Collective Commitments -- 4.4 Tuning Collective Commitments -- 4.5 Different Notions of Collective Commitment -- 4.6 Topologies and Group Commitments -- 4.7 Summing up TeamLog: The Static Part of the Story -- 5 Reconfiguration in a Dynamic Environment -- 5.1 Dealing with Dynamics -- 5.2 The Four Stages of Teamwork -- 5.3 The Reconfiguration Method -- 5.4 Case Study of Teamwork: Theorem Proving -- 6 The Evolution of Commitments during Reconfiguration -- 6.1 A Formal View on Commitment Change -- 6.2 Individual Actions and Social Plan Expressions.
6.3 Kripke Models -- 6.4 Dynamic Description of Teamwork -- 6.5 Evolution of Commitments During Reconfiguration -- 6.6 TeamLog Summary -- 7 A Case Study in Environmental Disaster Management -- 7.1 A Bridge from Theory to Practice -- 7.2 The Case Study: Ecological Disasters -- 7.3 Global Plans -- 7.4 Adjusting the TeamLog Definitions to the Case Study -- 7.5 Conclusion -- 8 Dialogue in Teamwork -- 8.1 Dialogue as a Synthesis of Three Formalisms -- 8.2 Dialogue Theory and Dialogue Types -- 8.3 Zooming in on Vital Aspects of Dialogue -- 8.4 Information Seeking During Potential Recognition -- 8.5 Persuasion During Team Formation -- 8.6 Deliberation During Planning -- 8.7 Dialogues During Team Action -- 8.8 Discussion -- 9 Complexity of Teamlog -- 9.1 Computational Complexity -- 9.2 Logical Background -- 9.3 Complexity of TeamLogind -- 9.4 Complexity of the System TeamLog -- 9.5 Discussion and Conclusions -- A Appendix A -- A.1 Axiom Systems -- A.2 An Alternative Logical Framework for Dynamics of Teamwork: Computation Tree Logic -- Bibliography -- Index. |
| Record Nr. | UNINA-9910140577403321 |
|
Dunin-K#eplicz Barbara
|
||
| Hoboken, New Jersey : , : John Wiley, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Teamwork in multi-agent systems : a formal approach / / Barbara Dunin-Keplicz, Rineke Verbrugge
| Teamwork in multi-agent systems : a formal approach / / Barbara Dunin-Keplicz, Rineke Verbrugge |
| Autore | Dunin-K#eplicz Barbara |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : John Wiley, , 2010 |
| Descrizione fisica | 1 online resource (246 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | VerbruggeRineke |
| Collana | Wiley series in agent technology |
| Soggetto topico |
Intelligent agents (Computer software)
Formal methods (Computer science) Artificial intelligence |
| ISBN |
1-119-95760-5
1-282-69074-4 9786612690747 0-470-66523-8 0-470-66518-1 |
| Classificazione | 85.03 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
About the Authors -- Foreword -- Preface -- 1 Teamwork in Multi-Agent Environments -- 1.1 Autonomous Agents -- 1.2 Multi-Agent Environments as a Pinnacle of Interdisciplinarity -- 1.3 Why Teams of Agents? -- 1.4 The Many Flavors of Cooperation -- 1.5 Agents with Beliefs, Goals and Intentions -- 1.6 From Individuals to Groups -- 1.7 Group Attitudes -- 1.8 A Logical View on Teamwork: TEAMLOG -- 1.9 Teamwork in Times of Change -- 1.10 Our Agents are Planners -- 1.11 Temporal or Dynamic? -- 1.12 From Real-World Data to Teamwork -- 1.13 How Complex are Models of Teamwork? -- 2 Beliefs in Groups -- 2.1 Awareness is a Vital Ingredient of Teamwork -- 2.2 Perception and Beliefs -- 2.3 Language and Models for Beliefs -- 2.4 Axioms for Beliefs -- 2.5 Axioms for Knowledge -- 2.6 Relations between Knowledge and Belief -- 2.7 Levels of Agents' Awareness -- 3 Collective Intentions -- 3.1 Intentions in Practical Reasoning -- 3.2 Language and Models for Goals and Intentions -- 3.3 Goals and Intentions of Individual Agents -- 3.4 Collective Intention Constitutes a Group -- 3.5 Definitions of Mutual and Collective Intentions -- 3.6 Collective Intention as an Infinitary Concept -- 3.7 Alternative Definitions -- 3.8 The Logic of Mutual Intention TeamLogmint is Complete -- 3.9 Related Approaches to Intentions in a Group -- 4 A Tuning Machine for Collective Commitments -- 4.1 Collective Commitment -- 4.2 The Language and Kripke Semantics -- 4.3 Building Collective Commitments -- 4.4 Tuning Collective Commitments -- 4.5 Different Notions of Collective Commitment -- 4.6 Topologies and Group Commitments -- 4.7 Summing up TeamLog: The Static Part of the Story -- 5 Reconfiguration in a Dynamic Environment -- 5.1 Dealing with Dynamics -- 5.2 The Four Stages of Teamwork -- 5.3 The Reconfiguration Method -- 5.4 Case Study of Teamwork: Theorem Proving -- 6 The Evolution of Commitments during Reconfiguration -- 6.1 A Formal View on Commitment Change -- 6.2 Individual Actions and Social Plan Expressions.
6.3 Kripke Models -- 6.4 Dynamic Description of Teamwork -- 6.5 Evolution of Commitments During Reconfiguration -- 6.6 TeamLog Summary -- 7 A Case Study in Environmental Disaster Management -- 7.1 A Bridge from Theory to Practice -- 7.2 The Case Study: Ecological Disasters -- 7.3 Global Plans -- 7.4 Adjusting the TeamLog Definitions to the Case Study -- 7.5 Conclusion -- 8 Dialogue in Teamwork -- 8.1 Dialogue as a Synthesis of Three Formalisms -- 8.2 Dialogue Theory and Dialogue Types -- 8.3 Zooming in on Vital Aspects of Dialogue -- 8.4 Information Seeking During Potential Recognition -- 8.5 Persuasion During Team Formation -- 8.6 Deliberation During Planning -- 8.7 Dialogues During Team Action -- 8.8 Discussion -- 9 Complexity of Teamlog -- 9.1 Computational Complexity -- 9.2 Logical Background -- 9.3 Complexity of TeamLogind -- 9.4 Complexity of the System TeamLog -- 9.5 Discussion and Conclusions -- A Appendix A -- A.1 Axiom Systems -- A.2 An Alternative Logical Framework for Dynamics of Teamwork: Computation Tree Logic -- Bibliography -- Index. |
| Record Nr. | UNINA-9910813424503321 |
|
Dunin-K#eplicz Barbara
|
||
| Hoboken, New Jersey : , : John Wiley, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||