Coordination, Organizations, Institutions, and Norms in Agent Systems IX [[electronic resource] ] : COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers / / edited by Tina Balke, Frank Dignum, M. Birna van Riemsdijk, Amit K. Chopra |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 381 p. 84 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
Soggetto genere / forma | Conference papers and proceedings. |
ISBN | 3-319-07314-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Coordination -- Organizations -- Institutions -- Norms -- Norm conflict.- Norm-aware agents. |
Record Nr. | UNISA-996200000503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination, Organizations, Institutions, and Norms in Agent Systems IX : COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers / / edited by Tina Balke, Frank Dignum, M. Birna van Riemsdijk, Amit K. Chopra |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 381 p. 84 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
Soggetto genere / forma | Conference papers and proceedings. |
ISBN | 3-319-07314-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Coordination -- Organizations -- Institutions -- Norms -- Norm conflict.- Norm-aware agents. |
Record Nr. | UNINA-9910483984103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Coordination, Organizations, Instiutions, and Norms in Agent System VII [[electronic resource] ] : COIN 2011 International Workshops, COIN@AAMAS, Taipei, Taiwan, May 2011, COIN@WI-IAT, Lyon, France, August 2011, Revised Selected Papers / / edited by Stephen Cranefield, M. Birna van Riemsdijk, Javier Vazquez-Salceda, Pablo Noriega |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XIV, 221 p. 61 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Application software User interfaces (Computer systems) Computers and civilization Artificial Intelligence Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computers and Society |
ISBN | 3-642-35545-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Agent Coordination -- Multi-agent Coordination through Mutualistic Interactions -- Explanation in Human-Agent Teamwork -- Adaptive Coordination in Distributed and Dynamic Agent Organizations -- Organisations and Institutions -- An Agent-Based Inter-organizational Collaboration Framework: OperA+ -- MANET: A Model for First-Class Electronic Institutions -- Norm-Aware Agent Reasoning -- Towards Practical Normative Agents: A Framework and an Implementation for Norm-Aware Planning -- Towards Justifying Norm Compliance -- Normative Run-Time Reasoning for Institutionally-Situated BDI Agents -- Modelling and Monitoring Interdependent Expectations -- Norm Creation and Enforcement Operationalization of the Sanctioning Process in Utilitarian Artificial Societies -- Overcoming Omniscience for Norm Emergence in Axelrod’s Metanorm Model -- Establishing Norms for Network Topologies. |
Record Nr. | UNISA-996465940903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Declarative Agent Languages and Technologies VII [[electronic resource] ] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / / edited by Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XII, 263 p.) |
Disciplina | 005.13 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computers Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Models and Principles Software Engineering Programming Languages, Compilers, Interpreters |
ISBN |
1-280-38543-X
9786613563354 3-642-11355-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Playing with Rules -- Invited Papers -- The Refinement of Choreographed Multi-Agent Systems -- Goal Generation from Possibilistic Beliefs Based on Trust and Distrust -- Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach -- Contributed Papers -- Unifying the Intentional and Institutional Semantics of Speech Acts -- Tableaux for Acceptance Logic -- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology -- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report -- Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks -- Computing Utility from Weighted Description Logic Preference Formulas -- Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games -- Correctness Properties for Multiagent Systems -- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming -- Social Commitments in Time: Satisfied or Compensated -- Verifying Dribble Agents. |
Record Nr. | UNISA-996465332303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Multi-Agent Systems [[electronic resource] ] : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 451 p. 125 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering Programming Techniques |
ISBN | 3-319-14484-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Intelligent agents -- Multi-agent systems -- Software design engineering -- Model-driven software engineering -- Reasoning about belief and knowledge -- Cooperation and coordination -- Constraint and logic programming -- Software verification -- Design patterns. |
Record Nr. | UNISA-996211262803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Engineering Multi-Agent Systems : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 451 p. 125 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering Programming Techniques |
ISBN | 3-319-14484-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Intelligent agents -- Multi-agent systems -- Software design engineering -- Model-driven software engineering -- Reasoning about belief and knowledge -- Cooperation and coordination -- Constraint and logic programming -- Software verification -- Design patterns. |
Record Nr. | UNINA-9910483745603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|