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 X [[electronic resource] ] : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers / / edited by Aditya Ghose, Nir Oren, Pankaj Telang, John Thangarajah
| Coordination, Organizations, Institutions, and Norms in Agent Systems X [[electronic resource] ] : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers / / edited by Aditya Ghose, Nir Oren, Pankaj Telang, John Thangarajah |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 269 p. 66 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-319-25420-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483127303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination, Organizations, Institutions, and Norms in Agent Systems X [[electronic resource] ] : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers / / edited by Aditya Ghose, Nir Oren, Pankaj Telang, John Thangarajah
| Coordination, Organizations, Institutions, and Norms in Agent Systems X [[electronic resource] ] : COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers / / edited by Aditya Ghose, Nir Oren, Pankaj Telang, John Thangarajah |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 269 p. 66 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-319-25420-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466224103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Modelling of Dynamic Decision Making [[electronic resource] /] / by Rick Evertsz, John Thangarajah, Thanh Ly
| Practical Modelling of Dynamic Decision Making [[electronic resource] /] / by Rick Evertsz, John Thangarajah, Thanh Ly |
| Autore | Evertsz Rick |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (110 pages) |
| Disciplina | 001.434 |
| Collana | SpringerBriefs in Intelligent Systems, Artificial Intelligence, Multiagent Systems, and Cognitive Robotics |
| Soggetto topico |
Artificial intelligence
Computational intelligence Politics and war Artificial Intelligence Computational Intelligence Military and Defence Studies |
| ISBN | 3-319-95195-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why Model Dynamic Decision Making? -- Introduction to TDF -- Requirements Stage -- Architecture Stage -- Behaviour Stage -- TDF Tutorial Example -- TDF Tool -- Concluding Remarks -- References. |
| Record Nr. | UNINA-9910337571703321 |
Evertsz Rick
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Multi-Agent Systems [[electronic resource] ] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers / / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah
| Programming Multi-Agent Systems [[electronic resource] ] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers / / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 285 p. 57 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer programming Computer simulation Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Simulation and Modeling |
| ISBN |
1-280-38819-6
9786613566119 3-642-14843-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Communication Models -- Programming Multiagent Systems without Programming Agents -- Elements of a Business-Level Architecture for Multiagent Systems -- A Computational Semantics for Communicating Rational Agents Based on Mental Models -- Formal Models -- Multi-Agent Systems: Modeling and Verification Using Hybrid Automata -- Probabilistic Behavioural State Machines -- Golog Speaks the BDI Language -- Organizations and Environments -- A Middleware for Modeling Organizations and Roles in Jade -- An Open Architecture for Service-Oriented Virtual Organizations -- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments -- Analysis and Debugging -- Debugging BDI-Based Multi-Agent Programs -- Space-Time Diagram Generation for Profiling Multi Agent Systems -- Infrastructure for Forensic Analysis of Multi-Agent Based Simulations -- Agent Architectures -- Representing Long-Term and Interest BDI Goals -- Introducing Relevance Awareness in BDI Agents -- Modularity and Compositionality in Jason -- Applications -- A MultiAgent System for Monitoring Boats in Marine Reserves -- Agent-Oriented Control in Real-Time Computer Games. |
| Record Nr. | UNISA-996465922303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Multi-Agent Systems [[electronic resource] ] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers / / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah
| Programming Multi-Agent Systems [[electronic resource] ] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers / / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 285 p. 57 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer programming Computer simulation Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Simulation and Modeling |
| ISBN |
1-280-38819-6
9786613566119 3-642-14843-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Communication Models -- Programming Multiagent Systems without Programming Agents -- Elements of a Business-Level Architecture for Multiagent Systems -- A Computational Semantics for Communicating Rational Agents Based on Mental Models -- Formal Models -- Multi-Agent Systems: Modeling and Verification Using Hybrid Automata -- Probabilistic Behavioural State Machines -- Golog Speaks the BDI Language -- Organizations and Environments -- A Middleware for Modeling Organizations and Roles in Jade -- An Open Architecture for Service-Oriented Virtual Organizations -- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments -- Analysis and Debugging -- Debugging BDI-Based Multi-Agent Programs -- Space-Time Diagram Generation for Profiling Multi Agent Systems -- Infrastructure for Forensic Analysis of Multi-Agent Based Simulations -- Agent Architectures -- Representing Long-Term and Interest BDI Goals -- Introducing Relevance Awareness in BDI Agents -- Modularity and Compositionality in Jason -- Applications -- A MultiAgent System for Monitoring Boats in Marine Reserves -- Agent-Oriented Control in Real-Time Computer Games. |
| Record Nr. | UNINA-9910483545803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||