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 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 | ||
Materiale a stampa | ||
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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 |
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 | ||
|