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 VI. Agent Theories, Architectures, and Languages [[electronic resource] ] : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings / / edited by Nicholas R. Jennings, Yves Lesperance
| Intelligent Agents VI. Agent Theories, Architectures, and Languages [[electronic resource] ] : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings / / edited by Nicholas R. Jennings, Yves Lesperance |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 380 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Computer communication systems Software engineering Computer logic Natural Language Processing (NLP) Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-46467-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I: Agent Theories -- Reasoning about Visibility, Perception, and Knowledge -- A Spectrum of Modes of Knowledge Sharing between Agents -- Observability-based Nested Belief Computation for Multiagent Systems and Its Formalization -- On the Correctness of PRS Agent Programs -- Incorporating Uncertainty in Agent Commitments -- Section II: Agent and System Architectures -- Rational Cognition in OSCAR -- Agents for Information Broadcasting -- On the Evaluation of Agent Architectures -- Toward a Methodology for AI Architecture Evaluation: Comparing Soar and CLIPS -- Reactive-System Approaches to Agent Architectures -- A Planning Component for RETSINA Agents -- A Scalable Agent Location Mechanism -- Section III: Agent Languages -- Reactivity in a Logic-Based Robot Programming Framework -- Extending ConGolog to Allow Partial Ordering -- Operational Semantics of Multi-Agent Organizations -- Open Multi-Agent Systems: Agent Communication and Integration -- Toward Team-Oriented Programming -- Section IV: Agent-Oriented Software Engineering -- Agent-Oriented Software Engineering -- Multiagent System Engineering: The Coordination Viewpoint -- Using Multi-context Systems to Engineer Executable Agents -- Structuring BDI Agents in Functional Clusters -- Towards a Distributed, Environment-Centered Agent Framework -- Section V: Decision Making in a Social Context -- Variable Sociability in Agent-Based Decision Making -- Cooperation and Group Utility -- Relating Quantified Motivations for Organizationally Situated Agents -- The Role and the Impact of Preferences on Multiagent Interaction -- Deliberative Normative Agents: Principles and Architecture. |
| Record Nr. | UNISA-996466215103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Agents VI. Agent Theories, Architectures, and Languages : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings / / edited by Nicholas R. Jennings, Yves Lesperance
| Intelligent Agents VI. Agent Theories, Architectures, and Languages : 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings / / edited by Nicholas R. Jennings, Yves Lesperance |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 380 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Computer communication systems Software engineering Computer logic Natural Language Processing (NLP) Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-46467-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section I: Agent Theories -- Reasoning about Visibility, Perception, and Knowledge -- A Spectrum of Modes of Knowledge Sharing between Agents -- Observability-based Nested Belief Computation for Multiagent Systems and Its Formalization -- On the Correctness of PRS Agent Programs -- Incorporating Uncertainty in Agent Commitments -- Section II: Agent and System Architectures -- Rational Cognition in OSCAR -- Agents for Information Broadcasting -- On the Evaluation of Agent Architectures -- Toward a Methodology for AI Architecture Evaluation: Comparing Soar and CLIPS -- Reactive-System Approaches to Agent Architectures -- A Planning Component for RETSINA Agents -- A Scalable Agent Location Mechanism -- Section III: Agent Languages -- Reactivity in a Logic-Based Robot Programming Framework -- Extending ConGolog to Allow Partial Ordering -- Operational Semantics of Multi-Agent Organizations -- Open Multi-Agent Systems: Agent Communication and Integration -- Toward Team-Oriented Programming -- Section IV: Agent-Oriented Software Engineering -- Agent-Oriented Software Engineering -- Multiagent System Engineering: The Coordination Viewpoint -- Using Multi-context Systems to Engineer Executable Agents -- Structuring BDI Agents in Functional Clusters -- Towards a Distributed, Environment-Centered Agent Framework -- Section V: Decision Making in a Social Context -- Variable Sociability in Agent-Based Decision Making -- Cooperation and Group Utility -- Relating Quantified Motivations for Organizationally Situated Agents -- The Role and the Impact of Preferences on Multiagent Interaction -- Deliberative Normative Agents: Principles and Architecture. |
| Record Nr. | UNINA-9910208850503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Agents VII. Agent Theories Architectures and Languages [[electronic resource] ] : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings / / edited by Cristiano Castelfranchi, Yves Lesperance
| Intelligent Agents VII. Agent Theories Architectures and Languages [[electronic resource] ] : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings / / edited by Cristiano Castelfranchi, Yves Lesperance |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XVIII, 362 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/Programming and Operating Systems Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-44631-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Theories I -- Optimistic and Disjunctive Agent Design Problems -- Updating Mental States from Communication -- Sensing Actions, Time, and Concurrency in the Situation Calculus -- Agent Development Tools and Platforms -- Developing Multiagent Systems with agentTool -- Layered Disclosure: Revealing Agents’ Internals -- Architectures and Idioms: Making Progress in Agent Design -- Developing Multi-agent Systems with JADE -- Agent Theories II -- High-Level Robot Control through Logic -- Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation -- Models of Agent Communication and Coordination -- Delegation and Responsibility -- Agent Theory for Team Formation by Dialogue -- Task Coordination Paradigms for Information Agents -- Autonomy and Models of Agent Coordination -- Plan Analysis for Autonomous Sociological Agents -- Multiagent Bidding Mechanisms for Robot Qualitative Navigation -- Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information -- Agent Languages -- Agent Programming with Declarative Goals -- Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application -- Generalised Object-Oriented Concepts for Inter-agent Communication -- Specification of Heterogeneous Agent Architectures -- Planning, Decision Making, and Learning -- Improving Choice Mechanisms within the BVG Architecture -- Planning-Task Transformations for Soft Deadlines -- An Architectural Framework for Integrated Multiagent Planning, Reacting, and Learning -- Panel Summary: Agent Development Tools -- Panel Summary: Agent Development Tools -- Panel Summary: Autonomy —Theory, Dimensions, and Regulation -- Again on Agents’ Autonomy: A Homage to AlanTuring — Panel Chair’s Statement -- Autonomy as Decision-Making Control -- Autonomy: Theory, Dimensions, and Regulation -- Situated Autonomy -- Autonomy: A Nice Idea in Theory -- Adjustable Autonomy: A Response. |
| Record Nr. | UNISA-996465908703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Agents VII. Agent Theories Architectures and Languages : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings / / edited by Cristiano Castelfranchi, Yves Lesperance
| Intelligent Agents VII. Agent Theories Architectures and Languages : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings / / edited by Cristiano Castelfranchi, Yves Lesperance |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XVIII, 362 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/Programming and Operating Systems Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-44631-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Theories I -- Optimistic and Disjunctive Agent Design Problems -- Updating Mental States from Communication -- Sensing Actions, Time, and Concurrency in the Situation Calculus -- Agent Development Tools and Platforms -- Developing Multiagent Systems with agentTool -- Layered Disclosure: Revealing Agents’ Internals -- Architectures and Idioms: Making Progress in Agent Design -- Developing Multi-agent Systems with JADE -- Agent Theories II -- High-Level Robot Control through Logic -- Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation -- Models of Agent Communication and Coordination -- Delegation and Responsibility -- Agent Theory for Team Formation by Dialogue -- Task Coordination Paradigms for Information Agents -- Autonomy and Models of Agent Coordination -- Plan Analysis for Autonomous Sociological Agents -- Multiagent Bidding Mechanisms for Robot Qualitative Navigation -- Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information -- Agent Languages -- Agent Programming with Declarative Goals -- Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application -- Generalised Object-Oriented Concepts for Inter-agent Communication -- Specification of Heterogeneous Agent Architectures -- Planning, Decision Making, and Learning -- Improving Choice Mechanisms within the BVG Architecture -- Planning-Task Transformations for Soft Deadlines -- An Architectural Framework for Integrated Multiagent Planning, Reacting, and Learning -- Panel Summary: Agent Development Tools -- Panel Summary: Agent Development Tools -- Panel Summary: Autonomy —Theory, Dimensions, and Regulation -- Again on Agents’ Autonomy: A Homage to AlanTuring — Panel Chair’s Statement -- Autonomy as Decision-Making Control -- Autonomy: Theory, Dimensions, and Regulation -- Situated Autonomy -- Autonomy: A Nice Idea in Theory -- Adjustable Autonomy: A Response. |
| Record Nr. | UNINA-9910143599403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||