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.
Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge
| Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 326 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer logic Computer programming Computer networks Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
| ISBN | 3-540-44564-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conceptual Foundations -- Agent-Oriented Software Engineering: The State of the Art -- Interaction-Oriented Programming -- Issues in Agent-Oriented Software Engineering -- Agent-Based Software Engineering -- Software Architecture Attributes of Multi-agent Systems -- UML for AOSE -- Agent UML: A Formalism for Specifying Multiagent Software Systems -- Agent-Oriented Modeling with Graph Transformation -- Representing Agent Interaction Protocols in UML -- On the Identification of Agents in the Design of Production Control Systems -- On the Identification of Agents in the Design of Production Control Systems -- Methodologies for AO Analysis and Design -- Agent Software Engineering with Role Modelling -- Designing Agent-Oriented Systems by Analysing Agent Interactions -- SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems -- A Modelling Approach for Agent Based Systems Design -- An Overview of the Multiagent Systems Engineering Methodology -- Security for Mobile Agents -- Organisational Abstractions for the Analysis and Design of Multi-agent Systems -- Reuse -- Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments -- Applications and Experiences -- Strategy Selection-Based Meta-level Reasoning for Multi-agent Problem-Solving -- Introducing the Adaptive Agent Oriented Software Architecture and Its Application in Natural Language User Interfaces -- Adding Extensible Synchronisation Capabilities to the Agent Model of a FIPA Compliant Agent Platform. |
| Record Nr. | UNINA-9910143609803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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
| 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 networks 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial intelligence today : recent trends and developments / / Michael J. Wooldridge and Manuela Veloso (editors)
| Artificial intelligence today : recent trends and developments / / Michael J. Wooldridge and Manuela Veloso (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (VIII, 492 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-48317-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Behavioural Virtual Agents -- Logic-Based Knowledge Representation -- A Taxonomy of Theorem-Proving Strategies -- An Overview of Planning Under Uncertainty -- Knowledge Representation for Stochastic Decision Processes -- A Survey of Automated Deduction -- The World Wide Web as a Place for Agents -- Lifelike Pedagogical Agents and Affective Computing: An Exploratory Synthesis -- OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains -- Combining Artificial Intelligence and Databases for Data Integration -- “Underwater Love” Building Tristão and Isolda’s Personalities -- An Oz-Centric Review of Interactive Drama and Believable Agents -- Robots with the Best of Intentions -- Agent-Based Project Management -- A System for Defeasible Argumentation, with Defeasible Priorities -- Handling Uncertainty in Control of Autonomous Robots -- The Event Calculus Explained -- Towards a Logic Programming Infrastructure for Internet Programming -- Towards Autonomous, Perceptive, and Intelligent Virtual Actors -- Temporally Invariant Junction Tree for Inference in Dynamic Bayesian Network. |
| Record Nr. | UNISA-996465658103316 |
| Berlin, Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence Today : Recent Trends and Developments / / edited by Michael J. Wooldridge, Manuela Veloso
| Artificial Intelligence Today : Recent Trends and Developments / / edited by Michael J. Wooldridge, Manuela Veloso |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
| Descrizione fisica | 1 online resource (VIII, 492 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-48317-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Behavioural Virtual Agents -- Logic-Based Knowledge Representation -- A Taxonomy of Theorem-Proving Strategies -- An Overview of Planning Under Uncertainty -- Knowledge Representation for Stochastic Decision Processes -- A Survey of Automated Deduction -- The World Wide Web as a Place for Agents -- Lifelike Pedagogical Agents and Affective Computing: An Exploratory Synthesis -- OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains -- Combining Artificial Intelligence and Databases for Data Integration -- “Underwater Love” Building Tristão and Isolda’s Personalities -- An Oz-Centric Review of Interactive Drama and Believable Agents -- Robots with the Best of Intentions -- Agent-Based Project Management -- A System for Defeasible Argumentation, with Defeasible Priorities -- Handling Uncertainty in Control of Autonomous Robots -- The Event Calculus Explained -- Towards a Logic Programming Infrastructure for Internet Programming -- Towards Autonomous, Perceptive, and Intelligent Virtual Actors -- Temporally Invariant Junction Tree for Inference in Dynamic Bayesian Network. |
| Record Nr. | UNINA-9910143646703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Agents [[electronic resource] ] : ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8 - 9, 1994. Proceedings / / edited by Michael J. Wooldridge, Nicholas R. Jennings
| Intelligent Agents [[electronic resource] ] : ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8 - 9, 1994. Proceedings / / edited by Michael J. Wooldridge, Nicholas R. Jennings |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (VIII, 412 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Artificial Intelligence Software Engineering |
| ISBN | 3-540-49129-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent theories, architectures, and languages: A survey -- Changing attitudes -- Guarantees for autonomy in cognitive agent architecture -- Multi-agent reasoning with belief contexts: the approach and a case study -- Toward a formal model of commitment for resource bounded agents -- Compositional formal specification of multi-agent systems -- Logical reorganization of DAI systems -- Logical formalization of concurrent actions for multi-agent systems -- Simulating animal societies with adaptive communicating agents -- This is myworld: The logic of an Agent-Oriented DAI testbed -- A knowledge level characterisation of multi-agent systems -- Towards anticipatory agents -- Integrated control and coordinated behavior: a case for agent models -- An agent architecture for distributed medical care -- A unified approach to intelligent agency -- Where there's a Will there's an agent -- Modeling reactive behaviour in vertically layered agent architectures -- Goal creation in motivated agents -- Agent-oriented programming for open systems -- Representing and executing agent-based systems -- April — Agent process interaction language -- DAISY: an object-oriented system for Distributed Artificial Intelligence -- The PLACA agent programming language -- Roles, skills and behaviour: a situated action approach to organising systems of interacting agents -- Design of a concurrent agent-oriented language. |
| Record Nr. | UNISA-996466096703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Agents II: Agent Theories, Architectures, and Languages [[electronic resource] ] : IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings / / edited by Michael Wooldridge, Jörg Müller, Milind Tambe
| Intelligent Agents II: Agent Theories, Architectures, and Languages [[electronic resource] ] : IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings / / edited by Michael Wooldridge, Jörg Müller, Milind Tambe |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XX, 444 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Artificial Intelligence Computer Communication Networks Software Engineering |
| ISBN | 3-540-49594-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The rights of agents -- Formalising motivational attitudes of agents -- Decision procedures for prepositional linear-time belief-desire-intention logics -- Semantical considerations on some primitives for agent specification -- Reasoning about acting, sensing and failure handling: A logic for agents embedded in the real world -- Time, knowledge, and choice -- Learning routines -- Conflict detection and resolution in collaborative planning -- Games servers play: A procedural approach -- On reasoning about other agents -- Architectures for agents that track other agents in multi-agent worlds -- Using recursive agent models effectively -- Experiences with an architecture for intelligent, reactive agents -- A pragmatic BDI architecture -- Alarms: An implementation of motivated agency -- The architecture of an agent building shell -- MIX: A general purpose multiagent architecture -- Cognition based multi-agent architecture -- Some issues in the design of market-oriented agents -- Cooperating logical agents -- Open reflective agents -- Foundations of a logical approach to agent programming -- Evaluation of KQML as an agent communication language -- Consistency and context management in a multi-agent belief revision testbed -- A markovian model for interaction among behavior-based agents -- SIM_AGENT: A toolkit for exploring agent designs -- Agent theories, architectures, and languages: A bibliography. |
| Record Nr. | UNISA-996465859903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Agents III. Agent Theories, Architectures, and Languages : ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings / / edited by Jörg Müller, Michael J. Wooldridge, Nicholas R. Jennings
| Intelligent Agents III. Agent Theories, Architectures, and Languages : 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 networks 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Agents IV: Agent Theories, Architectures, and Languages : 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings / / edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge
| Intelligent Agents IV: Agent Theories, Architectures, and Languages : 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
Computer architecture Software engineering Computer networks 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and the foundations of game and decision theory (LOFT 7) / / edited by Giacomo Bonanno, Wiebe Van Der Hoek, and Michael Wooldridge
| Logic and the foundations of game and decision theory (LOFT 7) / / edited by Giacomo Bonanno, Wiebe Van Der Hoek, and Michael Wooldridge |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam, : Amsterdam University Press, c2008 |
| Descrizione fisica | 1 online resource (241 p.) |
| Disciplina | 519.3 |
| Altri autori (Persone) |
BonannoGiacomo
Van der HoekWiebe WooldridgeMichael J. <1966-> |
| Collana | Texts in logic and games |
| Soggetto topico |
Logic, Symbolic and mathematical
Game theory Decision theory |
| ISBN |
1-003-69902-2
1-04-079139-5 1-281-78788-4 9786611787882 90-485-0234-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Table of Contents; Preface; A Qualitative Theory of Dynamic Interactive Belief Revision; A Syntactic Approacg to Rationality in Games with Ordinal Payoffs; Semantic Results for Ontic and Epistemic Change; Social Laws and Anti-Social Behaviour; A Method for Reasoning about Other Agents' Beliefs from Observations; A Logica; A Logical Structure for Strategies; Models of Awareness |
| Record Nr. | UNINA-9910144098903321 |
| Amsterdam, : Amsterdam University Press, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers / / Doron A. Peled, Michael J. Wooldridge (eds.)
| Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised selected and invited papers / / Doron A. Peled, Michael J. Wooldridge (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2009 |
| Descrizione fisica | 1 online resource (VII, 189 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
PeledDoron <1962->
WooldridgeMichael J. <1966-> |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Computer systems - Verification
Artificial intelligence |
| ISBN | 3-642-00431-8 |
| Classificazione |
DAT 325f
DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verifying Time and Communication Costs of Rule-Based Reasoners -- Solving ?-Calculus Parity Games by Symbolic Planning -- Verifying Robocup Teams -- Scaling Search with Pattern Databases -- Survey on Directed Model Checking -- Automated Testing of Planning Models -- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic -- Model Checking Driven Heuristic Search for Correct Programs -- Experimental Evaluation of a Planning Language Suitable for Formal Verification -- Relaxation Refinement: A New Method to Generate Heuristic Functions -- Model Checking Strategic Equilibria. |
| Record Nr. | UNINA-9910484803503321 |
| Berlin, : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
