Agent-Oriented Software Engineering IX [[electronic resource] ] : 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers / / edited by Michael Luck, Jorge J. Gomez-Sanz |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIV, 289 p.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Artificial intelligence Computer logic Computer programming Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Artificial Intelligence Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
ISBN | 3-642-01338-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multi-agent Organizations -- Model-Driven Integration of Organizational Models -- MAS Modeling Based on Organizations -- A Systemic Approach to the Validation of Self–Organizing Dynamics within MAS -- Method Engineering and Software Development Processes -- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies -- Definition of Process Models for Agent-Based Development -- Methodology Fragments Definition in SPEM for Designing Adaptive Methodology: A First Step -- A MAS Metamodel-Driven Approach to Process Fragments Selection -- An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics -- A Unified Graphical Notation for AOSE -- Prometheus and INGENIAS Agent Methodologies: A Complementary Approach -- The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems -- Evaluating an Agent-Oriented Approach for Change Propagation -- Testing and Debugging -- Goal-Oriented Agent Testing Revisited -- Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems -- Testing and Debugging of MAS Interactions with INGENIAS -- Tools and Case Studies -- PASSI Methodology in the Design of Software Framework: A Study Case of the Passenger Transportation Enterprise -- Developing and Evolving a Multi-agent System Product Line: An Exploratory Study -- Combining JADE and Repast for the Complex Simulation of Enterprise Value-Adding Networks -- OperA and Brahms: A Symphony? -- Support for Analysis, Design, and Implementation Stages with MASDK. |
Record Nr. | UNISA-996465952803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations and Applications of Multi-Agent Systems [[electronic resource] ] : UKMAS Workshop 1996-2000, Selected Papers / / edited by Mark d'Inverno, Michael Luck, Michael Fisher, Christ Preist |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 266 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Artificial Intelligence Computer Communication Networks |
ISBN | 3-540-45634-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Coordinating Intelligent Agents -- Strategies for Discovering Coordination Needs in MultiAgent Systems -- Agent-Mediated Interaction. From Auctions to Negotiation and Argumentation -- Game Theory and Artificial Intelligence -- Rights for Multi-agent Systems -- Infrastructure Support for Agent-Based Development -- An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies -- Scalability in Multi-agent Systems: The FIPA-OS Perspective -- Agents and MAS in STaMs -- Semantics of Agent Communication: An Introduction -- Agents with Bounded Temporal Resources -- A Model of Delegation for Multi-agent Systems -- Agent Specification Using Multi-context Systems -- An Adaptive Choice of Messaging Protocol in Multi Agent Systems -- On Partially Observable MDPs and BDI Models. |
Record Nr. | UNISA-996466359103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations and Applications of Multi-Agent Systems : UKMAS Workshop 1996-2000, Selected Papers / / edited by Mark d'Inverno, Michael Luck, Michael Fisher, Christ Preist |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 266 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Artificial Intelligence Computer Communication Networks |
ISBN | 3-540-45634-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Coordinating Intelligent Agents -- Strategies for Discovering Coordination Needs in MultiAgent Systems -- Agent-Mediated Interaction. From Auctions to Negotiation and Argumentation -- Game Theory and Artificial Intelligence -- Rights for Multi-agent Systems -- Infrastructure Support for Agent-Based Development -- An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies -- Scalability in Multi-agent Systems: The FIPA-OS Perspective -- Agents and MAS in STaMs -- Semantics of Agent Communication: An Introduction -- Agents with Bounded Temporal Resources -- A Model of Delegation for Multi-agent Systems -- Agent Specification Using Multi-context Systems -- An Adaptive Choice of Messaging Protocol in Multi Agent Systems -- On Partially Observable MDPs and BDI Models. |
Record Nr. | UNINA-9910143881403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Multi-Agent Systems and Applications [[electronic resource] ] : 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers / / edited by Michael Luck, Vladimir Marik, Olga Stepankova, Robert Trappl |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 442 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Information storage and retrieval Computers and civilization Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Information Storage and Retrieval Computers and Society |
ISBN | 3-540-47745-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations of Multi-agent Systems -- Perspectives on Organizations in Multi-agent Systems -- Multi-agent Infrastructure, Agent Discovery, Middle Agents for Web Services and Interoperation -- Logical Foundations of Agent-Based Computing -- Standardizing Agent Communication -- Standardizing Agent Interoperability: The FIPA Approach -- Distributed Problem Solving and Planning -- Automated Negotiation and Decision Making in Multiagent Environments -- Agents? Advanced Features for Negotiation and Coordination -- Social Behaviour, Meta-reasoning, and Learning -- Towards Heterogeneous Agent Teams -- Social Knowledge in Multi-agent Systems -- Machine Learning and Inductive Logic Programming for Multi-agent Systems -- Relational Reinforcement Learning -- From Statistics to Emergence: Exercises in Systems Modularity -- Emotions and Agents -- Applications -- Multi-agent Coordination and Control Using Stigmergy Applied to Manufacturing Control -- Virtual Enterprise Modeling and Support Infrastructures: Applying Multi-agent System Approaches -- Specialised Agent Applications -- Agent-Based Modelling of Ecosystems for Sustainable Resource Management -- Cooperating Physical Robots: A Lesson in Playing Robotic Soccer -- A Multi-agent Study of Interethnic Cooperation. |
Record Nr. | UNISA-996466072203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Multi-Agent Systems and Applications : 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers / / edited by Michael Luck, Vladimir Marik, Olga Stepankova, Robert Trappl |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 442 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Information storage and retrieval Computers and civilization Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Information Storage and Retrieval Computers and Society |
ISBN | 3-540-47745-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations of Multi-agent Systems -- Perspectives on Organizations in Multi-agent Systems -- Multi-agent Infrastructure, Agent Discovery, Middle Agents for Web Services and Interoperation -- Logical Foundations of Agent-Based Computing -- Standardizing Agent Communication -- Standardizing Agent Interoperability: The FIPA Approach -- Distributed Problem Solving and Planning -- Automated Negotiation and Decision Making in Multiagent Environments -- Agents? Advanced Features for Negotiation and Coordination -- Social Behaviour, Meta-reasoning, and Learning -- Towards Heterogeneous Agent Teams -- Social Knowledge in Multi-agent Systems -- Machine Learning and Inductive Logic Programming for Multi-agent Systems -- Relational Reinforcement Learning -- From Statistics to Emergence: Exercises in Systems Modularity -- Emotions and Agents -- Applications -- Multi-agent Coordination and Control Using Stigmergy Applied to Manufacturing Control -- Virtual Enterprise Modeling and Support Infrastructures: Applying Multi-agent System Approaches -- Specialised Agent Applications -- Agent-Based Modelling of Ecosystems for Sustainable Resource Management -- Cooperating Physical Robots: A Lesson in Playing Robotic Soccer -- A Multi-agent Study of Interethnic Cooperation. |
Record Nr. | UNINA-9910143596003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Multi-Agent-Systems and Applications II [[electronic resource] ] : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers / / edited by Vladimir Marik, Olga Stepankova, Hana Krautwurmova, Michael Luck |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 384 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Artificial Intelligence Computer Appl. in Administrative Data Processing |
ISBN | 3-540-45982-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multi-Agent Systems and Applications ACAI 2001: Selected Tutorial Papers -- Intelligent Agents: The Key Concepts -- Motivated Agent Behaviour and Requirements Applied to Virtual Emergencies -- Software Agents for Electronic Business: Opportunities and Challenges -- From Simulated Dialogues to Interactive Performances -- Cooperating Agents for Holonic Manufacturing -- Multi-Agent Systems and Applications ACAI 2001: Selected Student Papers -- Self-Stabilizing Distributed Algorithms for Defeat Status Computation in Argumentation -- Replanning in a Resource-Based Framework -- Distributed Branch and Bound Algorithm in Coalition Planning -- Formal Conversations for the Contract Net Protocol -- Adaptive Agents in Argumentation-Based Negotiation -- Flexible Load Balancing in Distributed Information Agent Systems -- Autonomous Agents Applied to Manufacturing Scheduling Problems: A Negotiation-Based Heuristic Approach -- Adaptability and Embodiment Using Multi-Agent Systems AEMAS 2001: Selected Papers -- Adaptability and Embodiment Using Multi-Agent Systems -- Distributed Shared Agent Representations -- Modeling Adaptive Multi-Agent Systems Inspired by Developmental Biology -- Industrial Applications of Holonic and Multi-Agent Systems HoloMAS 2001: Selected Papers -- Holons & Agents: Recent Developments and Mutual Impacts -- Material Handling Problem: FIPA Compliant Agent Implementation -- Industrial MAS for Planning and Control -- An Integral Implementation of a Machine-Holon Applying the ZEUS Agent Framework -- ExPlanTech: Exploitation of Agent-Based Technology in Production Planning -- A Holonic Approach to Reconfiguring Real-Time Distributed Control Systems -- Rationales for Holonic Applications in Chemical Process Industries -- Distributed Deadline Control in Holonic Manufacturing Systems -- CPlanT: Coalition Planning Multi-Agent System for Humanitarian Relief Operations. |
Record Nr. | UNISA-996465416703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Multi-Agent-Systems and Applications II : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers / / edited by Vladimir Marik, Olga Stepankova, Hana Krautwurmova, Michael Luck |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 384 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Artificial Intelligence Computer Appl. in Administrative Data Processing |
ISBN | 3-540-45982-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multi-Agent Systems and Applications ACAI 2001: Selected Tutorial Papers -- Intelligent Agents: The Key Concepts -- Motivated Agent Behaviour and Requirements Applied to Virtual Emergencies -- Software Agents for Electronic Business: Opportunities and Challenges -- From Simulated Dialogues to Interactive Performances -- Cooperating Agents for Holonic Manufacturing -- Multi-Agent Systems and Applications ACAI 2001: Selected Student Papers -- Self-Stabilizing Distributed Algorithms for Defeat Status Computation in Argumentation -- Replanning in a Resource-Based Framework -- Distributed Branch and Bound Algorithm in Coalition Planning -- Formal Conversations for the Contract Net Protocol -- Adaptive Agents in Argumentation-Based Negotiation -- Flexible Load Balancing in Distributed Information Agent Systems -- Autonomous Agents Applied to Manufacturing Scheduling Problems: A Negotiation-Based Heuristic Approach -- Adaptability and Embodiment Using Multi-Agent Systems AEMAS 2001: Selected Papers -- Adaptability and Embodiment Using Multi-Agent Systems -- Distributed Shared Agent Representations -- Modeling Adaptive Multi-Agent Systems Inspired by Developmental Biology -- Industrial Applications of Holonic and Multi-Agent Systems HoloMAS 2001: Selected Papers -- Holons & Agents: Recent Developments and Mutual Impacts -- Material Handling Problem: FIPA Compliant Agent Implementation -- Industrial MAS for Planning and Control -- An Integral Implementation of a Machine-Holon Applying the ZEUS Agent Framework -- ExPlanTech: Exploitation of Agent-Based Technology in Production Planning -- A Holonic Approach to Reconfiguring Real-Time Distributed Control Systems -- Rationales for Holonic Applications in Chemical Process Industries -- Distributed Deadline Control in Holonic Manufacturing Systems -- CPlanT: Coalition Planning Multi-Agent System for Humanitarian Relief Operations. |
Record Nr. | UNINA-9910143909303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|