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.
Intelligent Agents VIII [[electronic resource] ] : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / / edited by John-Jules C. Meyer, Milind Tambe
| Intelligent Agents VIII [[electronic resource] ] : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / / edited by John-Jules C. Meyer, Milind Tambe |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 468 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-45448-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Modeling -- Knowledge Level Software Engineering -- Emotions and Personality in Agent Design and Modeling -- The ? Calculus: An Algebraic Agent Language -- Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems -- Formal Speci.cation and Veri.cation of Agents -- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications -- On Multi-agent Systems Specification via Deontic Logic -- Agents and Roles: Refinement in Alternating-Time Temporal Logic -- The Computational Complexity of Agent Verification -- Agent Architectures and Languages -- A Goal-Based Organizational Perspective on Multi-agent Architectures -- - A Dynamic Logic Programming Agent Architecture -- Running AgentSpeak(L) Agents on SIM_AGENT -- Agent Communication -- Ontological Overhearing -- Agent Dialogues with Conflicting Preferences -- An Abstract Machine for Classes of Communicating Agents Based on Deduction -- A Formal Semantics for ProxyCommunicative Acts -- Commitment Machines -- Collaborative Planning and Resource Allocation -- Generating Bids for Group-Related Actions in the Context of Prior Commitments -- Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach -- Improving Optimality of n Agent Envy-Free Divisions -- Trust and Safety -- Trustworthiness of Information Sources and Information Pedigrees -- Revisiting Asimov’s First Law: A Response to the Call to Arms -- Formal Theories of Negociation -- Formal Theories of Negotiation -- A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains -- Antisocial Agents and Vickrey Auctions -- Formalizing a Language for Institutions and Norms -- Simple Negotiating Agents in Complex Games: Emergent Equilibria and Dominance of Strategies -- Optimal Negotiation Strategies for Agents with Incomplete Information -- Implicit Negotiation in Repeated Games -- Dialogues for Negotiation: Agent Varieties and Dialogue Sequences -- Agents for Hand-Held, Mobile, or Embdedded Devices -- Agents for Hand-Held, Mobile, or Embedded Devices -- KSACI: A Handheld Device Infrastructure for Agents Communication -- LEAP: A FIPA Platform for Handheld and Mobile Devices -- FIPA-OS Agent Platform for Small-Footprint Devices. |
| Record Nr. | UNISA-996466255903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Agents VIII : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / / edited by John-Jules C. Meyer, Milind Tambe
| Intelligent Agents VIII : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / / edited by John-Jules C. Meyer, Milind Tambe |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 468 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer networks Software engineering Computer logic Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-45448-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Modeling -- Knowledge Level Software Engineering -- Emotions and Personality in Agent Design and Modeling -- The ? Calculus: An Algebraic Agent Language -- Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems -- Formal Speci.cation and Veri.cation of Agents -- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications -- On Multi-agent Systems Specification via Deontic Logic -- Agents and Roles: Refinement in Alternating-Time Temporal Logic -- The Computational Complexity of Agent Verification -- Agent Architectures and Languages -- A Goal-Based Organizational Perspective on Multi-agent Architectures -- - A Dynamic Logic Programming Agent Architecture -- Running AgentSpeak(L) Agents on SIM_AGENT -- Agent Communication -- Ontological Overhearing -- Agent Dialogues with Conflicting Preferences -- An Abstract Machine for Classes of Communicating Agents Based on Deduction -- A Formal Semantics for ProxyCommunicative Acts -- Commitment Machines -- Collaborative Planning and Resource Allocation -- Generating Bids for Group-Related Actions in the Context of Prior Commitments -- Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach -- Improving Optimality of n Agent Envy-Free Divisions -- Trust and Safety -- Trustworthiness of Information Sources and Information Pedigrees -- Revisiting Asimov’s First Law: A Response to the Call to Arms -- Formal Theories of Negociation -- Formal Theories of Negotiation -- A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains -- Antisocial Agents and Vickrey Auctions -- Formalizing a Language for Institutions and Norms -- Simple Negotiating Agents in Complex Games: Emergent Equilibria and Dominance of Strategies -- Optimal Negotiation Strategies for Agents with Incomplete Information -- Implicit Negotiation in Repeated Games -- Dialogues for Negotiation: Agent Varieties and Dialogue Sequences -- Agents for Hand-Held, Mobile, or Embdedded Devices -- Agents for Hand-Held, Mobile, or Embedded Devices -- KSACI: A Handheld Device Infrastructure for Agents Communication -- LEAP: A FIPA Platform for Handheld and Mobile Devices -- FIPA-OS Agent Platform for Small-Footprint Devices. |
| Record Nr. | UNINA-9910143907403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||