Coordination, Organizations, Institutions and Norms in Agent Systems IV [[electronic resource] ] : COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers / / edited by Jomi Fred Hubner, Eric T Matson, Olivier Boissier, Virginia Dignum |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 267 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Computer programming Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Techniques |
ISBN | 3-642-00443-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From Coordination to Organization -- Agreeing on Institutional Goals for Multi-agent Societies -- Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms -- Combining Job and Team Selection Heuristics -- Force Versus Majority: A Comparison in Convention Emergence Efficiency -- From Organization to Coordination -- Automatic Generation of Distributed Team Formation Algorithms from Organizational Models -- Exploring Robustness in the Context of Organizational Self-design -- Instrumenting Multi-agent Organisations with Artifacts to Support Reputation Processes -- A Hybrid Reputation Model Based on the Use of Organizations -- Formalization of Norms and Institutions -- Formalising Situatedness and Adaptation in Electronic Institutions -- A Context-Based Institutional Normative Environment -- Towards a Formalisation of Electronic Contracting Environments -- Design of Norms and Institutions -- An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems -- Using SOA Provenance to Implement Norm Enforcement in e-Institutions -- Verifying Social Expectations by Model Checking Truncated Paths -- Applications -- The Use of Norms Violations to Model Agents Behavioral Variety -- Categorizing Social Norms in a Simulated Resource Gathering Society -- Transgression and Atonement. |
Record Nr. | UNISA-996465933103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination, Organizations, Institutions and Norms in Agent Systems IV [[electronic resource] ] : COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers / / edited by Jomi Fred Hubner, Eric T Matson, Olivier Boissier, Virginia Dignum |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XII, 267 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Computer programming Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Techniques |
ISBN | 3-642-00443-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From Coordination to Organization -- Agreeing on Institutional Goals for Multi-agent Societies -- Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms -- Combining Job and Team Selection Heuristics -- Force Versus Majority: A Comparison in Convention Emergence Efficiency -- From Organization to Coordination -- Automatic Generation of Distributed Team Formation Algorithms from Organizational Models -- Exploring Robustness in the Context of Organizational Self-design -- Instrumenting Multi-agent Organisations with Artifacts to Support Reputation Processes -- A Hybrid Reputation Model Based on the Use of Organizations -- Formalization of Norms and Institutions -- Formalising Situatedness and Adaptation in Electronic Institutions -- A Context-Based Institutional Normative Environment -- Towards a Formalisation of Electronic Contracting Environments -- Design of Norms and Institutions -- An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems -- Using SOA Provenance to Implement Norm Enforcement in e-Institutions -- Verifying Social Expectations by Model Checking Truncated Paths -- Applications -- The Use of Norms Violations to Model Agents Behavioral Variety -- Categorizing Social Norms in a Simulated Resource Gathering Society -- Transgression and Atonement. |
Record Nr. | UNINA-9910484911303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [[electronic resource] ] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers / / edited by Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric T Matson |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (XII, 376 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer logic Computer programming Computer communication systems Artificial Intelligence Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
ISBN | 3-540-74459-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MODELLING AND ANALYZING ORGANIZATIONS -- Structural Aspects of the Evaluation of Agent Organizations -- Integrating Trust in Virtual Organisations -- Coordinating Tasks in Agent Organizations -- Redesign of Organizations as a Basis for Organizational Change -- MODELLING AND ANALYZING INSTITUTIONS -- Specifying and Reasoning About Multiple Institutions -- Controlling an Interactive Game with a Multi-agent Based Normative Organisational Model -- Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES -- Spatially Distributed Normative Objects -- Informing Regulatory Dynamics in Open MASs -- Operationalisation of Norms for Electronic Institutions -- Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach -- An Agent-Based Model for Hierarchical Organizations -- Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems -- NORM EVOLUTION AND DYNAMICS -- Towards Self-configuration in Autonomic Electronic Institutions -- Norm Conflicts and Inconsistencies in Virtual Organisations -- Using Dynamic Electronic Institutions to Enable Digital Business Ecosystems -- A Peer-to-Peer Normative System to Achieve Social Order -- AUTONOMY, COORDINATION AND SOCIAL ORDER -- What Is Commitment? Physical, Organizational, and Social (Revised) -- Modelling and Monitoring Social Expectations in Multi-agent Systems -- Influence-Based Autonomy Levels in Agent Decision-Making -- Centralized Regulation of Social Exchanges Between Personality-Based Agents -- Cooperative Interactions: An Exchange Values Model. |
Record Nr. | UNISA-996465981303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [[electronic resource] ] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected Papers / / edited by Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric T Matson |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (XII, 376 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer logic Computer programming Computer communication systems Artificial Intelligence Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
ISBN | 3-540-74459-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | MODELLING AND ANALYZING ORGANIZATIONS -- Structural Aspects of the Evaluation of Agent Organizations -- Integrating Trust in Virtual Organisations -- Coordinating Tasks in Agent Organizations -- Redesign of Organizations as a Basis for Organizational Change -- MODELLING AND ANALYZING INSTITUTIONS -- Specifying and Reasoning About Multiple Institutions -- Controlling an Interactive Game with a Multi-agent Based Normative Organisational Model -- Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES -- Spatially Distributed Normative Objects -- Informing Regulatory Dynamics in Open MASs -- Operationalisation of Norms for Electronic Institutions -- Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach -- An Agent-Based Model for Hierarchical Organizations -- Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems -- NORM EVOLUTION AND DYNAMICS -- Towards Self-configuration in Autonomic Electronic Institutions -- Norm Conflicts and Inconsistencies in Virtual Organisations -- Using Dynamic Electronic Institutions to Enable Digital Business Ecosystems -- A Peer-to-Peer Normative System to Achieve Social Order -- AUTONOMY, COORDINATION AND SOCIAL ORDER -- What Is Commitment? Physical, Organizational, and Social (Revised) -- Modelling and Monitoring Social Expectations in Multi-agent Systems -- Influence-Based Autonomy Levels in Agent Decision-Making -- Centralized Regulation of Social Exchanges Between Personality-Based Agents -- Cooperative Interactions: An Exchange Values Model. |
Record Nr. | UNINA-9910483270003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [[electronic resource] ] : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Jaime Sichman, Javier Vázquez-Salceda |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 259 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer logic Computer programming Computer communication systems Programming languages (Electronic computers) Artificial Intelligence Software Engineering Logics and Meanings of Programs Programming Techniques Computer Communication Networks Programming Languages, Compilers, Interpreters |
ISBN | 3-540-35176-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modelling, Analyzing and Programming Organizations -- A Coordination Framework Based on the Sociology of Organized Action -- Formal Modeling and Analysis of Organizations -- Towards Sustained Team Effectiveness -- Verification and Analysis of Organisational Change -- : A Middleware for Developing Organised Multi-agent Systems -- Modelling and Analyzing Institutions -- Fencing the Open Fields: Empirical Concerns on Electronic Institutions (Invited Paper) -- Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming -- Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation -- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts -- An Event Driven Approach to Norms in Artificial Institutions -- Modelling Normative Designs -- Designing Normative Behaviour Via Landmarks -- Design by Contract Deontic Design Language for Multiagent Systems -- Informed Deliberation During Norm-Governed Practical Reasoning -- Organizations in Artificial Social Systems -- Evaluation and Regulation -- Exploring Congruence Between Organizational Structure and Task Performance: A Simulation Approach -- Verifying Norm Compliancy of Protocols -- A Rule Language for Modelling and Monitoring Social Expectations in Multi-agent Systems. |
Record Nr. | UNISA-996465733403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Jaime Sichman, Javier Vázquez-Salceda |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XII, 259 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer logic Computer programming Computer communication systems Programming languages (Electronic computers) Artificial Intelligence Software Engineering Logics and Meanings of Programs Programming Techniques Computer Communication Networks Programming Languages, Compilers, Interpreters |
ISBN | 3-540-35176-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modelling, Analyzing and Programming Organizations -- A Coordination Framework Based on the Sociology of Organized Action -- Formal Modeling and Analysis of Organizations -- Towards Sustained Team Effectiveness -- Verification and Analysis of Organisational Change -- : A Middleware for Developing Organised Multi-agent Systems -- Modelling and Analyzing Institutions -- Fencing the Open Fields: Empirical Concerns on Electronic Institutions (Invited Paper) -- Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming -- Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation -- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts -- An Event Driven Approach to Norms in Artificial Institutions -- Modelling Normative Designs -- Designing Normative Behaviour Via Landmarks -- Design by Contract Deontic Design Language for Multiagent Systems -- Informed Deliberation During Norm-Governed Practical Reasoning -- Organizations in Artificial Social Systems -- Evaluation and Regulation -- Exploring Congruence Between Organizational Structure and Task Performance: A Simulation Approach -- Verifying Norm Compliancy of Protocols -- A Rule Language for Modelling and Monitoring Social Expectations in Multi-agent Systems. |
Record Nr. | UNINA-9910484580703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Multi-Agents Systems [[electronic resource] ] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers / / edited by Louise Dennis, Olivier Boissier, Rafael H. Bordini |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 217 p. 33 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Programming languages (Electronic computers) Computer programming Optical data processing Artificial Intelligence Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering/Programming and Operating Systems Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-642-31915-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ProMAS–2011 -- Part I: Foundations of Agent Programming -- Languages -- Logical Foundations for a Rational BDI Agent Programming Language -- (Extended Version) -- Relating Goal and Commitment Semantics -- Part II: Multi-Agent Oriented Programming -- Developing a Knowledge Management Multi-Agent System Using JaCaMo -- Notes on Pragmatic Agent-Programming with Jason -- Integrating Expectation Monitoring into BDI Agents -- Part III: Model Checking -- Abstraction for Model Checking Modular Interpreted Systems over ATL -- MAS:Qualitative and Quantitative Reasoning -- State Space Reduction for Model Checking Agent Programs -- Part IV:Multi-Agent Programming Contest -- The Multi-agent Programming Contest 2011: A Resume -- HactarV2:An Agent Team Strategy Based on Implicit Coordination -- Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach -- Bogtrotters in Space -- A Gaia-Driven Approach for Competitive Multi-Agent Systems. |
Record Nr. | UNISA-996466069203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Social Coordination Frameworks for Social Technical Systems / / edited by Huib Aldewereld, Olivier Boissier, Virginia Dignum, Pablo Noriega, Julian Padget |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (VIII, 276 p. 65 illus., 26 illus. in color.) |
Disciplina | 371.334 |
Collana | Law, Governance and Technology Series |
Soggetto topico |
Mass media
Law Artificial intelligence Economic sociology Application software Computer simulation Software engineering IT Law, Media Law, Intellectual Property Artificial Intelligence Organizational Studies, Economic Sociology Computer Appl. in Social and Behavioral Sciences Simulation and Modeling Software Engineering/Programming and Operating Systems |
ISBN | 3-319-33570-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Preliminaries -- 1 Introduction; Huib Aldewereld, Olivier Boissier, Virginia Dignum, Pablo Noriega and Julian Padget -- 2 Conceptual Map for Social Coordination; Huib Aldewereld, Sergio Álvarez-Napagao, Maria Emilia Garcia, Jorge Gomez Sanz, Jie Jiang, and Henrique Lopes Cardoso -- Part II Social Coordination Frameworks -- 3 ANTE – A Framework integrating Negotiation, Norms and Trust; Henrique Lopes Cardoso, Joana Urbano, Ana Paula Rocha, António J. M. Castro, and Eugénio Oliveira -- 4 Electronic Institutions. The EI / EIDE Framework; Pablo Noriega and Dave de Jonge -- 5 INGENIAS; Jorge J. Gomez-Sanz and Rubén Fuentes Fernández -- 6 InstAL: An Institutional Action Language; Julian Padget, Emad ElDeen Elakehal, Tingting Li, and Marina De Vos -- 7 The JaCaMo Framework; Olivier Boissier, Jomi F. Hübner, and Alessandro Ricci -- 8 ROMAS-MAGENTIX2; Emilia Garcia, Soledad Valero, and Adriana Giret -- 9 OperA/ALIVE/OperettA; Huib Aldewereld, Sergio Álvarez-Napagao, Virginia Dignum, Jie Jiang, Wamberto Vasconcelos, and Javier Vázquez-Salceda -- 10 Specifying and Executing Open Multi-Agent Systems; Alexander Artikis, Marek Sergot, Jeremy Pitt, Dídac Busquets, and Régis Riveret -- 11 Frameworks Comparison; Olivier Boissier, Virginia Dignum, and María Emilia García -- Part III Applications and Challenges -- 12 Application Domains; Julian Padget, Huib Aldewereld, Pablo Noriega, and Wamberto Vasconcelos -- 13 Challenges for M4SC; Julian Padget, Huib Aldewereld, and Wamberto Vasconcelos. |
Record Nr. | UNINA-9910255196803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|