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.
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 199 p. 22 illus.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN | 3-319-09764-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198266403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos
| Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / / edited by Nils Bulling, Leendert van der Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 199 p. 22 illus.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN | 3-319-09764-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484615603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| 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 | ||
| ||
Declarative Agent Languages and Technologies IX [[electronic resource] ] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff
| Declarative Agent Languages and Technologies IX [[electronic resource] ] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 153 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Models and Principles Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-642-29113-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466000603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies VIII [[electronic resource] ] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
| Declarative Agent Languages and Technologies VIII [[electronic resource] ] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 205 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Models and Principles Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-642-20715-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465538903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies X [[electronic resource] ] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos
| Declarative Agent Languages and Technologies X [[electronic resource] ] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 209 p. 42 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Software engineering Computer science Artificial Intelligence Logics and Meanings of Programs Software Engineering Computer Science, general |
| ISBN | 3-642-37890-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Handling Change in Normative Specifications -- Latest Developments of WADE to Support User-Centric Business Processes -- Strong Planning in the Logics of Communication and Change -- Agent Deliberation via Forward and Backward Chaining in Linear Logic -- Contributed Papers -- Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason -- A Generalized Commitment Machine for 2CL Protocols and Its Implementation -- Solving Fuzzy Distributed CSPs: An Approach with Naming Games -- Commitment Protocol Generation -- Goal-Based Qualitative Preference Systems -- SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems -- Position Papers -- Some Thoughts about Commitment Protocols (Position Paper) -- Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends (Position Paper) -- Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell (Position Paper). |
| Record Nr. | UNISA-996466201403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos
| Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 209 p. 42 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Software engineering Artificial Intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Science |
| ISBN | 3-642-37890-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Handling Change in Normative Specifications -- Latest Developments of WADE to Support User-Centric Business Processes -- Strong Planning in the Logics of Communication and Change -- Agent Deliberation via Forward and Backward Chaining in Linear Logic -- Contributed Papers -- Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason -- A Generalized Commitment Machine for 2CL Protocols and Its Implementation -- Solving Fuzzy Distributed CSPs: An Approach with Naming Games -- Commitment Protocol Generation -- Goal-Based Qualitative Preference Systems -- SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems -- Position Papers -- Some Thoughts about Commitment Protocols (Position Paper) -- Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends (Position Paper) -- Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell (Position Paper). |
| Record Nr. | UNINA-9910483010303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||