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. | UNINA-9910143646703321 |
Berlin, Heidelberg : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic and the foundations of game and decision theory (LOFT 7) [[electronic resource] /] / edited by Giacomo Bonanno, Wiebe Van Der Hoek, and Michael Wooldridge |
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-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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the second International Joint Conference on Autonomous Agents and Multiagent Systems |
Autore | Rosenschein Jeffrey S |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2003 |
Descrizione fisica | 1 online resource (1180 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | AAMAS '03 second International Conference on Autonomous Agents and Multiagent Systems, Melbourne, VIC, Australia - July 14 - 18, 2003 |
Record Nr. | UNINA-9910375847603321 |
Rosenschein Jeffrey S
![]() |
||
[Place of publication not identified], : ACM, 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming multi-agent systems in AgentSpeak using Jason [[electronic resource] /] / Rafael H. Bordini, Jomi Fred Hübner, Michael Wooldridge |
Autore | Bordini Rafael H |
Pubbl/distr/stampa | Chichester, England ; ; Hoboken, NJ, : J. Wiley, c2007 |
Descrizione fisica | 1 online resource (293 p.) |
Disciplina | 006.3/3 |
Altri autori (Persone) |
HübnerJomi Fred
WooldridgeMichael J. <1966-> |
Collana | Wiley series in agent technology |
Soggetto topico |
Intelligent agents (Computer software)
Computer programming |
ISBN |
1-281-13525-9
9786611135256 0-470-06184-7 0-470-06183-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Programming Multi-Agent Systems in AgentSpeak using Jason; Contents; Preface; Acknowledgements; 1 Introduction; 1.1 Autonomous Agents; 1.2 Characteristics of Agents; 1.3 Multi-Agent Systems; 1.4 Hello World!; 2 The BDI Agent Model; 2.1 Agent-Oriented Programming; 2.2 Practical Reasoning; 2.3 A Computational Model of BDI Practical Reasoning; 2.4 The Procedural Reasoning System; 2.5 Agent Communication; 3 The Jason Agent Programming Language; 3.1 Beliefs; 3.2 Goals; 3.3 Plans; 3.4 Example: A Complete Agent Program; 3.5 Exercises; 4 Jason Interpreter; 4.1 The Reasoning Cycle; 4.2 Plan Failure
4.3 Interpreter Configuration and Execution Modes4.4 Pre-Defined Plan Annotations; 4.5 Exercises; 5 Environments; 5.1 Support for Defining Simulated Environments; 5.2 Example: Running a System of Multiple Situated Agents; 5.3 Exercises; 6 Communication and Interaction; 6.1 Available Performatives; 6.2 Informal Semantics of Receiving Messages; 6.3 Example: Contract Net Protocol; 6.4 Exercises; 7 User-Defined Components; 7.1 Defining New Internal Actions; 7.2 Customising the Agent Class; 7.3 Customising the Overall Architecture; 7.4 Customising the Belief Base; 7.5 Pre-Processing Directives 7.6 Exercises8 Advanced Goal-Based Programming; 8.1 BDI Programming; 8.2 Declarative (Achievement) Goal Patterns; 8.3 Commitment Strategy Patterns; 8.4 Other Useful Patterns; 8.5 Pre-Processing Directives for Plan Patterns; 9 Case Studies; 9.1 Case Study I: Gold Miners; 9.2 Case Study II: Electronic Bookstore; 10 Formal Semantics; 10.1 Semantic Rules; 10.2 Semantics of Message Exchange in a Multi-Agent System; 10.3 Semantic Rules for Receiving Messages; 10.4 Semantics of the BDI Modalities for AgentSpeak; 11 Conclusions; 11.1 Jason and Agent-Oriented Programming 11.2 Ongoing Work and Related Research11.3 General Advice on Programming Style and Practice; Appendix: Reference Guide; A.1 EBNF for the Agent Language; A.2 EBNF for the Multi-Agent Systems Language; A.3 Standard Internal Actions; A.4 Pre-Defined Annotations; A.5 Pre-Processing Directives; A.6 Interpreter Configuration; References; Index |
Record Nr. | UNINA-9910144577103321 |
Bordini Rafael H
![]() |
||
Chichester, England ; ; Hoboken, NJ, : J. Wiley, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming multi-agent systems in AgentSpeak using Jason [[electronic resource] /] / Rafael H. Bordini, Jomi Fred Hübner, Michael Wooldridge |
Autore | Bordini Rafael H |
Pubbl/distr/stampa | Chichester, England ; ; Hoboken, NJ, : J. Wiley, c2007 |
Descrizione fisica | 1 online resource (293 p.) |
Disciplina | 006.3/3 |
Altri autori (Persone) |
HübnerJomi Fred
WooldridgeMichael J. <1966-> |
Collana | Wiley series in agent technology |
Soggetto topico |
Intelligent agents (Computer software)
Computer programming |
ISBN |
1-281-13525-9
9786611135256 0-470-06184-7 0-470-06183-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Programming Multi-Agent Systems in AgentSpeak using Jason; Contents; Preface; Acknowledgements; 1 Introduction; 1.1 Autonomous Agents; 1.2 Characteristics of Agents; 1.3 Multi-Agent Systems; 1.4 Hello World!; 2 The BDI Agent Model; 2.1 Agent-Oriented Programming; 2.2 Practical Reasoning; 2.3 A Computational Model of BDI Practical Reasoning; 2.4 The Procedural Reasoning System; 2.5 Agent Communication; 3 The Jason Agent Programming Language; 3.1 Beliefs; 3.2 Goals; 3.3 Plans; 3.4 Example: A Complete Agent Program; 3.5 Exercises; 4 Jason Interpreter; 4.1 The Reasoning Cycle; 4.2 Plan Failure
4.3 Interpreter Configuration and Execution Modes4.4 Pre-Defined Plan Annotations; 4.5 Exercises; 5 Environments; 5.1 Support for Defining Simulated Environments; 5.2 Example: Running a System of Multiple Situated Agents; 5.3 Exercises; 6 Communication and Interaction; 6.1 Available Performatives; 6.2 Informal Semantics of Receiving Messages; 6.3 Example: Contract Net Protocol; 6.4 Exercises; 7 User-Defined Components; 7.1 Defining New Internal Actions; 7.2 Customising the Agent Class; 7.3 Customising the Overall Architecture; 7.4 Customising the Belief Base; 7.5 Pre-Processing Directives 7.6 Exercises8 Advanced Goal-Based Programming; 8.1 BDI Programming; 8.2 Declarative (Achievement) Goal Patterns; 8.3 Commitment Strategy Patterns; 8.4 Other Useful Patterns; 8.5 Pre-Processing Directives for Plan Patterns; 9 Case Studies; 9.1 Case Study I: Gold Miners; 9.2 Case Study II: Electronic Bookstore; 10 Formal Semantics; 10.1 Semantic Rules; 10.2 Semantics of Message Exchange in a Multi-Agent System; 10.3 Semantic Rules for Receiving Messages; 10.4 Semantics of the BDI Modalities for AgentSpeak; 11 Conclusions; 11.1 Jason and Agent-Oriented Programming 11.2 Ongoing Work and Related Research11.3 General Advice on Programming Style and Practice; Appendix: Reference Guide; A.1 EBNF for the Agent Language; A.2 EBNF for the Multi-Agent Systems Language; A.3 Standard Internal Actions; A.4 Pre-Defined Annotations; A.5 Pre-Processing Directives; A.6 Interpreter Configuration; References; Index |
Record Nr. | UNINA-9910828354003321 |
Bordini Rafael H
![]() |
||
Chichester, England ; ; Hoboken, NJ, : J. Wiley, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|