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.
AAMAS '17 : proceedings of the 16th conference on Autonomous Agents and MultiAgent Systems / / general chairs, Kate Larson, Michael Winikoff
| AAMAS '17 : proceedings of the 16th conference on Autonomous Agents and MultiAgent Systems / / general chairs, Kate Larson, Michael Winikoff |
| Pubbl/distr/stampa | Richland, South Carolina : , : International Foundation for Autonomous Agents and Multiagent Systems, , 2018 |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Computer science
Professions |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | AAMAS 2017 |
| Record Nr. | UNINA-9910375790203321 |
| Richland, South Carolina : , : International Foundation for Autonomous Agents and Multiagent Systems, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Oriented Information Systems [[electronic resource] ] : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers / / edited by Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff
| Agent-Oriented Information Systems [[electronic resource] ] : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers / / edited by Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 210 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval User interfaces (Computer systems) Computer communication systems Information technology Business—Data processing Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computer Communication Networks IT in Business |
| ISBN |
1-280-30776-5
9786610307760 3-540-25943-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems and Applications -- Design of a MAS into a Human Organization: Application to an Information Multi-agent System -- I-MINDS: An Agent-Oriented Information System for Applications in Education -- Trustworthy Service Caching: Cooperative Search in P2P Information Systems -- Agent-Based Support for Mobile Users Using AgentSpeak(L) -- Market-Based Recommendations: Design, Simulation and Evaluation -- Methodologies -- Comparing Agent-Oriented Methodologies -- A Framework for Evaluating Agent-Oriented Methodologies -- Towards Reuse in Agent Oriented Information Systems: The Importance of Being Purposive -- Towards a More Expressive and Refinable Multiagent System Engineering Methodology -- Modelling, Analysis and Simulation -- A Pattern Language for Motivating the Use of Agents -- A Practical Agent-Based Approach to Requirements Engineering for Socio-technical Systems -- AOR Modelling and Simulation: Towards a General Architecture for Agent-Based Discrete Event Simulation -- Modelling Institutional, Communicative and Physical Domains in Agent Oriented Information Systems. |
| Record Nr. | UNISA-996466235503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent-Oriented Information Systems : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers / / edited by Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff
| Agent-Oriented Information Systems : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers / / edited by Paolo Giorgini, Brian Henderson-Sellers, Michael Winikoff |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 210 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval User interfaces (Computer systems) Computer communication systems Information technology Business—Data processing Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval User Interfaces and Human Computer Interaction Computer Communication Networks IT in Business |
| ISBN |
1-280-30776-5
9786610307760 3-540-25943-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems and Applications -- Design of a MAS into a Human Organization: Application to an Information Multi-agent System -- I-MINDS: An Agent-Oriented Information System for Applications in Education -- Trustworthy Service Caching: Cooperative Search in P2P Information Systems -- Agent-Based Support for Mobile Users Using AgentSpeak(L) -- Market-Based Recommendations: Design, Simulation and Evaluation -- Methodologies -- Comparing Agent-Oriented Methodologies -- A Framework for Evaluating Agent-Oriented Methodologies -- Towards Reuse in Agent Oriented Information Systems: The Importance of Being Purposive -- Towards a More Expressive and Refinable Multiagent System Engineering Methodology -- Modelling, Analysis and Simulation -- A Pattern Language for Motivating the Use of Agents -- A Practical Agent-Based Approach to Requirements Engineering for Socio-technical Systems -- AOR Modelling and Simulation: Towards a General Architecture for Agent-Based Discrete Event Simulation -- Modelling Institutional, Communicative and Physical Domains in Agent Oriented Information Systems. |
| Record Nr. | UNINA-9910144154703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Oriented Information Systems II [[electronic resource] ] : 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004, Revised Selected Papers / / edited by Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff
| Agent-Oriented Information Systems II [[electronic resource] ] : 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004, Revised Selected Papers / / edited by Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 230 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Information storage and retrieval Application software User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems -- An Agent-Based Collaborative Emergent Process Management System -- Mobeet: A Multi-agent Framework for Ubiquitous Information Systems -- The Analysis of Coordination in an Information System Application – Emergency Medical Services -- Market-Based Recommender Systems: Learning Users’ Interests by Quality Classification -- Analysis and Modeling -- SNet Reloaded: Roles, Monitoring and Agent Evolution -- Analyzing Multiparty Agreements with Commitments -- Fact-Orientation Meets Agent-Orientation -- Towards Ontological Foundations for Agent Modelling Concepts Using the Unified Foundational Ontology (UFO) -- Methodologies -- AgentZ: Extending Object-Z for Multi-agent Systems Specification -- Incorporating Elements from the Prometheus Agent-Oriented Methodology in the OPEN Process Framework -- A Preliminary Comparative Feature Analysis of Multi-agent Systems Development Methodologies -- Applications -- CMRadar: A Personal Assistant Agent for Calendar Management -- Agents as Catalysts for Mobile Computing -- A Systematic Approach for Including Machine Learning in Multi-agent Systems -- Agents to Foster Conscious Design and Reuse in Architecture. |
| Record Nr. | UNISA-996465950103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent-Oriented Information Systems II : 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004, Revised Selected Papers / / edited by Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff
| Agent-Oriented Information Systems II : 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004, Revised Selected Papers / / edited by Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, Michael Winikoff |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 230 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Information storage and retrieval Application software User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems -- An Agent-Based Collaborative Emergent Process Management System -- Mobeet: A Multi-agent Framework for Ubiquitous Information Systems -- The Analysis of Coordination in an Information System Application – Emergency Medical Services -- Market-Based Recommender Systems: Learning Users’ Interests by Quality Classification -- Analysis and Modeling -- SNet Reloaded: Roles, Monitoring and Agent Evolution -- Analyzing Multiparty Agreements with Commitments -- Fact-Orientation Meets Agent-Orientation -- Towards Ontological Foundations for Agent Modelling Concepts Using the Unified Foundational Ontology (UFO) -- Methodologies -- AgentZ: Extending Object-Z for Multi-agent Systems Specification -- Incorporating Elements from the Prometheus Agent-Oriented Methodology in the OPEN Process Framework -- A Preliminary Comparative Feature Analysis of Multi-agent Systems Development Methodologies -- Applications -- CMRadar: A Personal Assistant Agent for Calendar Management -- Agents as Catalysts for Mobile Computing -- A Systematic Approach for Including Machine Learning in Multi-agent Systems -- Agents to Foster Conscious Design and Reuse in Architecture. |
| Record Nr. | UNINA-9910484203003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agent-Oriented Information Systems III [[electronic resource] ] : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers / / edited by Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff
| Agent-Oriented Information Systems III [[electronic resource] ] : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers / / edited by Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 294 p.) |
| Disciplina | 006.3/3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Information storage and retrieval Application software User interfaces (Computer systems) Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Communication Networks Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| ISBN | 3-540-48292-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Behavior, Communications and Reasoning -- Automated Interpretation of Agent Behaviour -- A Semantic and Pragmatic Framework for the Specification of Agent Communication Languages: Motivational Attitudes and Norms -- Broadening the Semantic Coverage of Agent Communicative Acts -- Requirements Analysis of an Agent’s Reasoning Capability -- On the Cost of Agent-Awareness for Negotiation Services -- OWL-P: A Methodology for Business Process Development -- Methodologies and Ontologies -- Identification of Reusable Method Fragments from the PASSI Agent-Oriented Methodology -- Foundations of Ontology-Based MAS Methodologies -- An Ontology-Driven Technique for the Architectural and Detailed Design of Multi-agent Frameworks -- An Ontology Support for Semantic Aware Agents -- Agent-Oriented Software Engineering -- AOSE and Organic Computing – How Can They Benefit from Each Other? -- An Agent-Oriented Model of a Dynamic Engineering Design Process -- Formalizing Agent-Oriented Enterprise Models -- Fragmented Workflows Supported by an Agent Based Architecture -- Applications -- An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning -- Coordination Efficiency in Rational Choice Theory, Norm and Rights Based Multi-agent Systems -- Adapted Information Retrieval in Web Information Systems Using PUMAS -- Design Options for Subscription Managers -- Supporting Program Indexing and Querying in Source Code Digital Libraries. |
| Record Nr. | UNISA-996466020903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent-Oriented Information Systems III : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers / / edited by Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff
| Agent-Oriented Information Systems III : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers / / edited by Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 294 p.) |
| Disciplina | 006.3/3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Information storage and retrieval Application software User interfaces (Computer systems) Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Communication Networks Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
| ISBN | 3-540-48292-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Behavior, Communications and Reasoning -- Automated Interpretation of Agent Behaviour -- A Semantic and Pragmatic Framework for the Specification of Agent Communication Languages: Motivational Attitudes and Norms -- Broadening the Semantic Coverage of Agent Communicative Acts -- Requirements Analysis of an Agent’s Reasoning Capability -- On the Cost of Agent-Awareness for Negotiation Services -- OWL-P: A Methodology for Business Process Development -- Methodologies and Ontologies -- Identification of Reusable Method Fragments from the PASSI Agent-Oriented Methodology -- Foundations of Ontology-Based MAS Methodologies -- An Ontology-Driven Technique for the Architectural and Detailed Design of Multi-agent Frameworks -- An Ontology Support for Semantic Aware Agents -- Agent-Oriented Software Engineering -- AOSE and Organic Computing – How Can They Benefit from Each Other? -- An Agent-Oriented Model of a Dynamic Engineering Design Process -- Formalizing Agent-Oriented Enterprise Models -- Fragmented Workflows Supported by an Agent Based Architecture -- Applications -- An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning -- Coordination Efficiency in Rational Choice Theory, Norm and Rights Based Multi-agent Systems -- Adapted Information Retrieval in Web Information Systems Using PUMAS -- Design Options for Subscription Managers -- Supporting Program Indexing and Querying in Source Code Digital Libraries. |
| Record Nr. | UNINA-9910483391703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative Agent Languages and Technologies IX [[electronic resource] ] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff
| Declarative Agent Languages and Technologies IX [[electronic resource] ] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 153 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Models and Principles Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-642-29113-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466000603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies VI [[electronic resource] ] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff
| Declarative Agent Languages and Technologies VI [[electronic resource] ] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 251 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computers Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Models and Principles Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-93920-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Specifying and Enforcing Norms in Artificial Institutions -- Social Norm Emergence in Virtual Agent Societies -- A Distributed Normative Infrastructure for Situated Multi-agent Organisations -- Contributed Papers -- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications -- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages -- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions -- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies -- Leveraging New Plans in AgentSpeak(PL) -- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading -- Inductive Negotiation in Answer Set Programming -- Mental State Abduction of BDI-Based Agents -- Iterated Belief Revision in the Face of Uncertain Communication -- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms -- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming -- Strategic Agent Communication: An Argumentation-Driven Approach. |
| Record Nr. | UNISA-996465403003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff
| Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 251 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computers Programming languages (Electronic computers) Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Models and Principles Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-93920-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Specifying and Enforcing Norms in Artificial Institutions -- Social Norm Emergence in Virtual Agent Societies -- A Distributed Normative Infrastructure for Situated Multi-agent Organisations -- Contributed Papers -- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications -- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages -- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions -- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies -- Leveraging New Plans in AgentSpeak(PL) -- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading -- Inductive Negotiation in Answer Set Programming -- Mental State Abduction of BDI-Based Agents -- Iterated Belief Revision in the Face of Uncertain Communication -- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms -- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming -- Strategic Agent Communication: An Argumentation-Driven Approach. |
| Record Nr. | UNINA-9910483414503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
