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.
Engineering Multi-Agent Systems [[electronic resource] ] : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / / edited by Louise A. Dennis, Rafael H. Bordini, Yves Lespérance
| Engineering Multi-Agent Systems [[electronic resource] ] : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / / edited by Louise A. Dennis, Rafael H. Bordini, Yves Lespérance |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 257 p. 125 illus., 48 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Architecture, Computer Special purpose computers Computer communication systems Operating systems (Computers) Artificial Intelligence Software Engineering/Programming and Operating Systems Computer System Implementation Special Purpose and Application-Based Systems Computer Communication Networks Operating Systems |
| ISBN | 3-030-51417-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Accountability and Responsibility in Multiagent Organizations for Engineering Business Processes -- From Goals to Organisations: Automated Organisation Generator for MAS -- On Enactability of Agent Interaction Protocols: Towards a Unified Approach -- An Architecture for Integrating BDI Agents with a Simulation Environment -- Using MATSim as a Component in Dynamic Agent-Based Micro-Simulations -- Incorporating Social Practices in BDI Agent Systems -- Who's that? - Social Situation Awareness for Behaviour Support Agents -- The „Why did you do that?" Button: Answering Why-questions for End Users of Robotic Systems -- From Programming Agents to Educating Agents - A Jason-based Framework for Integrating Learning in the Development of Cognitive Agents -- Plan Library Reconfigurability in BDI Agents -- JS-son - A Lean, Extensible JavaScript Agent Programming Library -- SAT for Epistemic Logic Using Belief Bases -- Jacamo-Web is on the Fly: an Interactive Multi-Agent System IDE. . |
| Record Nr. | UNISA-996418280403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Multi-Agent Systems : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / / edited by Louise A. Dennis, Rafael H. Bordini, Yves Lespérance
| Engineering Multi-Agent Systems : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / / edited by Louise A. Dennis, Rafael H. Bordini, Yves Lespérance |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 257 p. 125 illus., 48 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Architecture, Computer Special purpose computers Computer communication systems Operating systems (Computers) Artificial Intelligence Software Engineering/Programming and Operating Systems Computer System Implementation Special Purpose and Application-Based Systems Computer Communication Networks Operating Systems |
| ISBN | 3-030-51417-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Accountability and Responsibility in Multiagent Organizations for Engineering Business Processes -- From Goals to Organisations: Automated Organisation Generator for MAS -- On Enactability of Agent Interaction Protocols: Towards a Unified Approach -- An Architecture for Integrating BDI Agents with a Simulation Environment -- Using MATSim as a Component in Dynamic Agent-Based Micro-Simulations -- Incorporating Social Practices in BDI Agent Systems -- Who's that? - Social Situation Awareness for Behaviour Support Agents -- The „Why did you do that?" Button: Answering Why-questions for End Users of Robotic Systems -- From Programming Agents to Educating Agents - A Jason-based Framework for Integrating Learning in the Development of Cognitive Agents -- Plan Library Reconfigurability in BDI Agents -- JS-son - A Lean, Extensible JavaScript Agent Programming Library -- SAT for Epistemic Logic Using Belief Bases -- Jacamo-Web is on the Fly: an Interactive Multi-Agent System IDE. . |
| Record Nr. | UNINA-9910413444703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Multi-Agent Systems [[electronic resource] ] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers / / edited by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni
| Programming Multi-Agent Systems [[electronic resource] ] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers / / edited by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 267 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-32617-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- MetateM: The Story so Far -- Agent-Based Computing and Programming of Agent Systems -- Multi-agent Techniques and Issues -- Dynamic Self-control of Autonomous Agents -- Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages -- Implementation Techniques for Solving POMDPs in Personal Assistant Agents -- Using a Planner for Coordination of Multiagent Team Behavior -- Reusable Components for Implementing Agent Interactions -- Multi-agent Programming -- An AgentSpeak Meta-interpreter and Its Applications -- Extending the Capability Concept for Flexible BDI Agent Modularization -- A Model-Based Executive for Commanding Robot Teams -- Hermes: Implementing Goal-Oriented Agent Interactions -- Multi-agent Platforms and Organisation -- Organization and Mobility in Mobile Agent Computing -- Programming MAS with Artifacts -- Programming Deliberative Agents for Mobile Services: The 3APL-M Platform -- Implementing Multi-agent Systems Organizations with INGENIAS -- Declarative Agent Programming Support for a FIPA-Compliant Agent Platform. |
| Record Nr. | UNISA-996466096603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Multi-Agent Systems [[electronic resource] ] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers / / edited by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni
| Programming Multi-Agent Systems [[electronic resource] ] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers / / edited by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 267 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-32617-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- MetateM: The Story so Far -- Agent-Based Computing and Programming of Agent Systems -- Multi-agent Techniques and Issues -- Dynamic Self-control of Autonomous Agents -- Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages -- Implementation Techniques for Solving POMDPs in Personal Assistant Agents -- Using a Planner for Coordination of Multiagent Team Behavior -- Reusable Components for Implementing Agent Interactions -- Multi-agent Programming -- An AgentSpeak Meta-interpreter and Its Applications -- Extending the Capability Concept for Flexible BDI Agent Modularization -- A Model-Based Executive for Commanding Robot Teams -- Hermes: Implementing Goal-Oriented Agent Interactions -- Multi-agent Platforms and Organisation -- Organization and Mobility in Mobile Agent Computing -- Programming MAS with Artifacts -- Programming Deliberative Agents for Mobile Services: The 3APL-M Platform -- Implementing Multi-agent Systems Organizations with INGENIAS -- Declarative Agent Programming Support for a FIPA-Compliant Agent Platform. |
| Record Nr. | UNINA-9910485047903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Multi-Agent Systems [[electronic resource] ] : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / / edited by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni
| Programming Multi-Agent Systems [[electronic resource] ] : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / / edited by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 249 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Philology
Linguistics Artificial intelligence Computer communication systems Software engineering Computer logic Programming languages (Electronic computers) Language and Literature Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coordinating Teams in Uncertain Environments: A Hybrid BDI-POMDP Approach -- Agents – The Challenge of Relevance to the IT Mainstream -- Agent-Oriented Programming -- Goal Representation for BDI Agent Systems -- AF-APL – Bridging Principles and Practice in Agent Oriented Languages -- Agent Platforms and Tools -- A Toolkit for the Realization of Constraint-Based Multiagent Systems -- Debugging Agent Behavior in an Implemented Agent System -- A Mobile Agents Platform: Architecture, Mobility and Security Elements -- Agent Languages -- Bridging the Gap Between AUML and Implementation Using IOM/T -- Inter-agent Communication in IMAGO Prolog -- Multi-agent Systems Techniques -- OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations -- A Dialogue Game to Offer an Agreement to Disagree -- Coordination of Complex Systems Based on Multi-agent Planning: Application to the Aircraft Simulation Domain. |
| Record Nr. | UNISA-996466043703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / / edited by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni
| Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers / / edited by Rafael H. Bordini, Mehdi Dastani, Amal El Fallah Seghrouchni |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 249 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Philology
Linguistics Artificial intelligence Computer communication systems Software engineering Computer logic Programming languages (Electronic computers) Language and Literature Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Coordinating Teams in Uncertain Environments: A Hybrid BDI-POMDP Approach -- Agents – The Challenge of Relevance to the IT Mainstream -- Agent-Oriented Programming -- Goal Representation for BDI Agent Systems -- AF-APL – Bridging Principles and Practice in Agent Oriented Languages -- Agent Platforms and Tools -- A Toolkit for the Realization of Constraint-Based Multiagent Systems -- Debugging Agent Behavior in an Implemented Agent System -- A Mobile Agents Platform: Architecture, Mobility and Security Elements -- Agent Languages -- Bridging the Gap Between AUML and Implementation Using IOM/T -- Inter-agent Communication in IMAGO Prolog -- Multi-agent Systems Techniques -- OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations -- A Dialogue Game to Offer an Agreement to Disagree -- Coordination of Complex Systems Based on Multi-agent Planning: Application to the Aircraft Simulation Domain. |
| Record Nr. | UNINA-9910483164603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| 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
| 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 | ||
| ||