Agent-Oriented Software Engineering II [[electronic resource] ] : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / / edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 330 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
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-540-70657-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Societies and Organizations -- Representing Social Structures in UML -- Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements -- Agent Societies: Towards Frameworks-Based Design -- Protocols and Interaction Frameworks -- Bringing Coherence to Agent Conversations -- Extended Modeling Languages for Interaction Protocol Design -- A Policy Language for the Management of Distributed Agents -- UML and Agent Systems -- UML Class Diagrams Revisited in the Context of Agent-Based Systems -- Agent Oriented Analysis Using Message/UML -- Specifying Agent Interaction Protocols with Standard UML -- Agents and the UML: A Unified Notation for Agents and Multi-agent Systems? -- Agent-Oriented Requirements Capture & Specification -- Modeling Early Requirements in Tropos: A Transformation Based Approach -- A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems -- Determining When to Use an Agent-Oriented Software Engineering Paradigm -- Agent-Oriented Modelling: Software versus the World -- Analysis and Design -- Expectation-Oriented Analysis and Design -- Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations -- Towards an ADL for Designing Agent-Based Systems -- Automated Derivation of Complex Agent Architectures from Analysis Specifications -- A Lifecycle for Models of Large Multi-agent Systems. |
Record Nr. | UNISA-996465936603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Agent-Oriented Software Engineering II : Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions / / edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 330 p.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
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-540-70657-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Societies and Organizations -- Representing Social Structures in UML -- Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements -- Agent Societies: Towards Frameworks-Based Design -- Protocols and Interaction Frameworks -- Bringing Coherence to Agent Conversations -- Extended Modeling Languages for Interaction Protocol Design -- A Policy Language for the Management of Distributed Agents -- UML and Agent Systems -- UML Class Diagrams Revisited in the Context of Agent-Based Systems -- Agent Oriented Analysis Using Message/UML -- Specifying Agent Interaction Protocols with Standard UML -- Agents and the UML: A Unified Notation for Agents and Multi-agent Systems? -- Agent-Oriented Requirements Capture & Specification -- Modeling Early Requirements in Tropos: A Transformation Based Approach -- A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems -- Determining When to Use an Agent-Oriented Software Engineering Paradigm -- Agent-Oriented Modelling: Software versus the World -- Analysis and Design -- Expectation-Oriented Analysis and Design -- Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations -- Towards an ADL for Designing Agent-Based Systems -- Automated Derivation of Complex Agent Architectures from Analysis Specifications -- A Lifecycle for Models of Large Multi-agent Systems. |
Record Nr. | UNINA-9910767516703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Intelligent Agents III. Agent Theories, Architectures, and Languages [[electronic resource] ] : ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings / / edited by Jörg Müller, Michael J. Wooldridge, Nicholas R. Jennings |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XV, 408 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Artificial Intelligence Software Engineering Computer Communication Networks |
ISBN | 3-540-68057-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modelling and design of multi-agent systems -- Is It an agent, or just a program?: A taxonomy for autonomous agents -- To be or not to be an “agent” -- What Is an agent? -- An agent is an individual that has consciousness -- Agents as a Rorschach test: A response to Franklin and Graesser -- From agent theory to agent construction: A case study -- If Z is the answer, what could the question possibly be? -- Practical theory and theory-based practice -- QLB: A quantified logic for belief -- Dynamic belief analysis -- Belief revision through the belief-function formalism in a multi-agent environment -- Formal specification of beliefs in multi-agent systems -- Reasoning about collective goals -- Formalisation of a cooperation model based on joint intentions -- A reactive-deliberative model of dialogue agency -- Towards layered dialogical agents -- A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction -- Modelling social agents: Communication as action -- The threshold of cooperation among adaptive agents: Pavlov and the Stag Hunt -- How can an agent learn to negotiate? -- A cooperation model for autonomous agents -- Designing and implementing a multi-agent architecture for business process management -- Emotion-based attention shift in autonomous agents -- A deliberative and reactive diagnosis agent based on logic programming -- Reactive and motivational agents: Towards a collective minder -- A multi language environment to develop multi agent applications -- The design of a coordination language for multi-agent systems -- A knowledge-theoretic semantics for concurrent MetateM -- Knowledge-based situated agents among us a preliminary report. |
Record Nr. | UNISA-996466236503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent Agents III. Agent Theories, Architectures, and Languages [[electronic resource] ] : ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings / / edited by Jörg Müller, Michael J. Wooldridge, Nicholas R. Jennings |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XV, 408 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Artificial Intelligence Software Engineering Computer Communication Networks |
ISBN | 3-540-68057-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modelling and design of multi-agent systems -- Is It an agent, or just a program?: A taxonomy for autonomous agents -- To be or not to be an “agent” -- What Is an agent? -- An agent is an individual that has consciousness -- Agents as a Rorschach test: A response to Franklin and Graesser -- From agent theory to agent construction: A case study -- If Z is the answer, what could the question possibly be? -- Practical theory and theory-based practice -- QLB: A quantified logic for belief -- Dynamic belief analysis -- Belief revision through the belief-function formalism in a multi-agent environment -- Formal specification of beliefs in multi-agent systems -- Reasoning about collective goals -- Formalisation of a cooperation model based on joint intentions -- A reactive-deliberative model of dialogue agency -- Towards layered dialogical agents -- A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction -- Modelling social agents: Communication as action -- The threshold of cooperation among adaptive agents: Pavlov and the Stag Hunt -- How can an agent learn to negotiate? -- A cooperation model for autonomous agents -- Designing and implementing a multi-agent architecture for business process management -- Emotion-based attention shift in autonomous agents -- A deliberative and reactive diagnosis agent based on logic programming -- Reactive and motivational agents: Towards a collective minder -- A multi language environment to develop multi agent applications -- The design of a coordination language for multi-agent systems -- A knowledge-theoretic semantics for concurrent MetateM -- Knowledge-based situated agents among us a preliminary report. |
Record Nr. | UNINA-9910768176903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Intelligent Agents IV: Agent Theories, Architectures, and Languages [[electronic resource] ] : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings / / edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (XVI, 356 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Architecture, Computer Software engineering Computer communication systems Computer logic Artificial Intelligence Computer System Implementation Software Engineering Computer Communication Networks Logics and Meanings of Programs |
ISBN | 3-540-69696-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Panel: Methodologies for multi-agent systems -- Designing embedded agents to optimize end-user objectives -- Agent architecture as object oriented design -- Implementation of a cooperative agent architecture based on the language-action perspective -- Toward the specification and design of industrial synthetic ecosystems -- Bidding mechanisms for data allocation in multi-agent environments -- Distributed storage of replicated beliefs to facilitate recovery of distributed intelligent agents -- A customizable coordination service for autonomous agents -- A behavior-based approach to reactivity and coordination: A preliminary report -- On explicit plan languages for coordinating multiagent plan execution -- Social comparison for failure detection and recovery -- Multi-agent coordination through coalition formation -- A formal specification of dMARS -- A framework for argumentation-based negotiation -- Agent modelling in MetateM and DESIRE -- Semantics for an agent communication language -- Formal semantics for an abstract agent programming language -- Intentional agents and goal formation -- A layered agent calculus with concurrent, continuous processes -- Approximate reasoning about combined knowledge -- On the epistemic foundations of agent theories -- Facilitating open communication in agent systems: The InfoSleuth infrastructure -- Competition for attention -- Analysis and design of multiagent systems using MAS-CommonKADS -- Multi agent systems as open societies — a design framework -- TKQML: A scripting tool for building agents. |
Record Nr. | UNISA-996466082703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Intelligent Agents IV: Agent Theories, Architectures, and Languages [[electronic resource] ] : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings / / edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (XVI, 356 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Architecture, Computer Software engineering Computer communication systems Computer logic Artificial Intelligence Computer System Implementation Software Engineering Computer Communication Networks Logics and Meanings of Programs |
ISBN | 3-540-69696-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Panel: Methodologies for multi-agent systems -- Designing embedded agents to optimize end-user objectives -- Agent architecture as object oriented design -- Implementation of a cooperative agent architecture based on the language-action perspective -- Toward the specification and design of industrial synthetic ecosystems -- Bidding mechanisms for data allocation in multi-agent environments -- Distributed storage of replicated beliefs to facilitate recovery of distributed intelligent agents -- A customizable coordination service for autonomous agents -- A behavior-based approach to reactivity and coordination: A preliminary report -- On explicit plan languages for coordinating multiagent plan execution -- Social comparison for failure detection and recovery -- Multi-agent coordination through coalition formation -- A formal specification of dMARS -- A framework for argumentation-based negotiation -- Agent modelling in MetateM and DESIRE -- Semantics for an agent communication language -- Formal semantics for an abstract agent programming language -- Intentional agents and goal formation -- A layered agent calculus with concurrent, continuous processes -- Approximate reasoning about combined knowledge -- On the epistemic foundations of agent theories -- Facilitating open communication in agent systems: The InfoSleuth infrastructure -- Competition for attention -- Analysis and design of multiagent systems using MAS-CommonKADS -- Multi agent systems as open societies — a design framework -- TKQML: A scripting tool for building agents. |
Record Nr. | UNINA-9910767525603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|