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.
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
| 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 : 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
| Coordination, Organizations, Institutions and Norms in Agent Systems IV : 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
| 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 : 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
| Coordination, Organizations, Institutions, and Norms in Agent Systems II : 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 Agent Systems V [[electronic resource] ] : COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers / / edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T Matson, Axel Polleres
| Coordination, Organizations, Institutions, and Norms in Agent Systems V [[electronic resource] ] : COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers / / edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T Matson, Axel Polleres |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVIII, 335 p. 103 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Application software User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Software Engineering User Interfaces and Human Computer Interaction |
| ISBN | 3-642-14962-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Building and Managing Organizations -- Conditional Dependence Networks in Requirements Engineering -- A Norm-Based Organization Management System -- Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies -- Building Multi-Agent Systems for Workflow Enactment and Exception Handling -- An Approach for Virtual Organisations’ Dissolution -- Playing with Agent Coordination Patterns in MAGE -- A Model-Based Architecture for Organizational Interoperability in Open Multiagent Systems -- A Normative Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics -- Monitoring Social Expectations in Second Life -- Towards a Logical Model of Social Agreement for Agent Societies -- Promotion of Selfish Agents in Hierarchical Organisations -- The SIOC Project: Semantically-Interlinked Online Communities, from Humans to Machines -- Directing Status Messages to Their Audience in Online Communities -- Effects of Social Network Topology and Options on Norm Emergence -- Norms and Reasoning -- Directed Deadline Obligations in Agent-Based Business Contracts -- Internal Agent Architecture for Norm Identification -- Influence of Communication Graph Structures on Pheromone-Based Approaches in the Context of a Partitioning Task Problem -- An Infection-Based Mechanism in Large Convention Spaces -- The Classification Game: Complexity Regularization through Interaction -- Dealing with Incomplete Normative States -- Towards an Architecture for Self-regulating Agents: A Case Study in International Trade. |
| Record Nr. | UNISA-996466296303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination, Organizations, Institutions, and Norms in Agent Systems V : COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers / / edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T Matson, Axel Polleres
| Coordination, Organizations, Institutions, and Norms in Agent Systems V : COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers / / edited by Julian Padget, Alexander Artikis, Wamberto Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T Matson, Axel Polleres |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XVIII, 335 p. 103 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Application software User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Software Engineering User Interfaces and Human Computer Interaction |
| ISBN | 3-642-14962-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Building and Managing Organizations -- Conditional Dependence Networks in Requirements Engineering -- A Norm-Based Organization Management System -- Implementing Collective Obligations in Human-Agent Teams Using KAoS Policies -- Building Multi-Agent Systems for Workflow Enactment and Exception Handling -- An Approach for Virtual Organisations’ Dissolution -- Playing with Agent Coordination Patterns in MAGE -- A Model-Based Architecture for Organizational Interoperability in Open Multiagent Systems -- A Normative Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics -- Monitoring Social Expectations in Second Life -- Towards a Logical Model of Social Agreement for Agent Societies -- Promotion of Selfish Agents in Hierarchical Organisations -- The SIOC Project: Semantically-Interlinked Online Communities, from Humans to Machines -- Directing Status Messages to Their Audience in Online Communities -- Effects of Social Network Topology and Options on Norm Emergence -- Norms and Reasoning -- Directed Deadline Obligations in Agent-Based Business Contracts -- Internal Agent Architecture for Norm Identification -- Influence of Communication Graph Structures on Pheromone-Based Approaches in the Context of a Partitioning Task Problem -- An Infection-Based Mechanism in Large Convention Spaces -- The Classification Game: Complexity Regularization through Interaction -- Dealing with Incomplete Normative States -- Towards an Architecture for Self-regulating Agents: A Case Study in International Trade. |
| Record Nr. | UNINA-9910483861603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| 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
| 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
| 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 | ||
| ||
Robot Intelligence Technology and Applications 2 : Results from the 2nd International Conference on Robot Intelligence Technology and Applications / / edited by Jong-Hwan Kim, Eric T . Matson, Hyun Myung, Peter Xu, Fakhri Karray
| Robot Intelligence Technology and Applications 2 : Results from the 2nd International Conference on Robot Intelligence Technology and Applications / / edited by Jong-Hwan Kim, Eric T . Matson, Hyun Myung, Peter Xu, Fakhri Karray |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (944 p.) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence Control engineering Robotics Automation Computational Intelligence Artificial Intelligence Control, Robotics, Automation |
| ISBN | 3-319-05582-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ambient, Collective, Cognitive and Social Intelligence -- Behavioral, Collective and Genetic Intelligence -- Emerging Applications of Robot Intelligence Technology. |
| Record Nr. | UNINA-9910299734403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Robot Intelligence Technology and Applications 5 : Results from the 5th International Conference on Robot Intelligence Technology and Applications / / edited by Jong-Hwan Kim, Hyun Myung, Junmo Kim, Weiliang Xu, Eric T Matson, Jin-Woo Jung, Han-Lim Choi
| Robot Intelligence Technology and Applications 5 : Results from the 5th International Conference on Robot Intelligence Technology and Applications / / edited by Jong-Hwan Kim, Hyun Myung, Junmo Kim, Weiliang Xu, Eric T Matson, Jin-Woo Jung, Han-Lim Choi |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 579 p. 325 illus., 277 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Computational intelligence
Robotics Automation Artificial intelligence Computational Intelligence Robotics and Automation Artificial Intelligence |
| ISBN | 3-319-78452-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483075803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
