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.
2001 Australian Software Engineering Conference : proceedings : 27-28 August, 2001, Canberra, Australia
| 2001 Australian Software Engineering Conference : proceedings : 27-28 August, 2001, Canberra, Australia |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2001 |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996201415903316 |
| [Place of publication not identified], : IEEE Computer Society, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cooperative Information Agents XI [[electronic resource] ] : 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings / / edited by Matthias Klusch, Koen V. Hindriks, Mike P. Papazoglou, Leon Sterling
| Cooperative Information Agents XI [[electronic resource] ] : 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings / / edited by Matthias Klusch, Koen V. Hindriks, Mike P. Papazoglou, Leon Sterling |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 364 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Data mining Database management Computer communication systems User interfaces (Computer systems) Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Database Management Computer Communication Networks User Interfaces and Human Computer Interaction |
| ISBN | 3-540-75119-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Managing Sensors and Information Sources Using Semantic Matchmaking and Argumentation -- Towards a Delegation Framework for Aerial Robotic Mission Scenarios -- Analysis of Negotiation Dynamics -- Multi-agent Learning Dynamics: A Survey -- Information Search and Processing -- An Architecture for Hybrid P2P Free-Text Search -- Multi-agent Cooperative Planning and Information Gathering -- Using Distributed Data Mining and Distributed Artificial Intelligence for Knowledge Integration -- Quantifying the Expected Utility of Information in Multi-agent Scheduling Tasks -- Applications -- Agent-Based Traffic Control Using Auctions -- High-Performance Agent System for Intrusion Detection in Backbone Networks -- A MultiAgent System for Physically Based Rendering Optimization -- Neural Network Based Multiagent System for Simulation of Investing Strategies -- Business Ecosystem Modelling: Combining Natural Ecosystems and Multi-Agent Systems -- From Local Search to Global Behavior: Ad Hoc Network Example -- Rational Cooperation -- A Generic Framework for Argumentation-Based Negotiation -- The Effect of Mediated Partnerships in Two-Sided Economic Search -- Who Works Together in Agent Coalition Formation? -- Interaction and Cooperation -- Using Ant’s Brood Sorting to Increase Fault Tolerance in Linda’s Tuple Distribution Mechanism -- Agent Behavior Alignment: A Mechanism to Overcome Problems in Agent Interactions During Runtime -- Methods for Coalition Formation in Adaptation-Based Social Networks -- Trust -- Trust Modeling with Context Representation and Generalized Identities -- Learning Initial Trust Among Interacting Agents -- A Probabilistic Framework for Decentralized Management of Trust and Quality -- Formal Analysis of Trust Dynamics in Human and Software Agent Experiments. |
| Record Nr. | UNISA-996465982203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cooperative Information Agents XI [[electronic resource] ] : 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings / / edited by Matthias Klusch, Koen V. Hindriks, Mike P. Papazoglou, Leon Sterling
| Cooperative Information Agents XI [[electronic resource] ] : 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007, Proceedings / / edited by Matthias Klusch, Koen V. Hindriks, Mike P. Papazoglou, Leon Sterling |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XI, 364 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Data mining Database management Computer communication systems User interfaces (Computer systems) Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Database Management Computer Communication Networks User Interfaces and Human Computer Interaction |
| ISBN | 3-540-75119-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Managing Sensors and Information Sources Using Semantic Matchmaking and Argumentation -- Towards a Delegation Framework for Aerial Robotic Mission Scenarios -- Analysis of Negotiation Dynamics -- Multi-agent Learning Dynamics: A Survey -- Information Search and Processing -- An Architecture for Hybrid P2P Free-Text Search -- Multi-agent Cooperative Planning and Information Gathering -- Using Distributed Data Mining and Distributed Artificial Intelligence for Knowledge Integration -- Quantifying the Expected Utility of Information in Multi-agent Scheduling Tasks -- Applications -- Agent-Based Traffic Control Using Auctions -- High-Performance Agent System for Intrusion Detection in Backbone Networks -- A MultiAgent System for Physically Based Rendering Optimization -- Neural Network Based Multiagent System for Simulation of Investing Strategies -- Business Ecosystem Modelling: Combining Natural Ecosystems and Multi-Agent Systems -- From Local Search to Global Behavior: Ad Hoc Network Example -- Rational Cooperation -- A Generic Framework for Argumentation-Based Negotiation -- The Effect of Mediated Partnerships in Two-Sided Economic Search -- Who Works Together in Agent Coalition Formation? -- Interaction and Cooperation -- Using Ant’s Brood Sorting to Increase Fault Tolerance in Linda’s Tuple Distribution Mechanism -- Agent Behavior Alignment: A Mechanism to Overcome Problems in Agent Interactions During Runtime -- Methods for Coalition Formation in Adaptation-Based Social Networks -- Trust -- Trust Modeling with Context Representation and Generalized Identities -- Learning Initial Trust Among Interacting Agents -- A Probabilistic Framework for Decentralized Management of Trust and Quality -- Formal Analysis of Trust Dynamics in Human and Software Agent Experiments. |
| Record Nr. | UNINA-9910484718203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative Agent Languages and Technologies [[electronic resource] ] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
| Declarative Agent Languages and Technologies [[electronic resource] ] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 272 p.) |
| Disciplina | 005.2 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30774-9
9786610307746 3-540-25932-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving. |
| Record Nr. | UNINA-9910144168903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Declarative Agent Languages and Technologies [[electronic resource] ] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
| Declarative Agent Languages and Technologies [[electronic resource] ] : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / / edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 272 p.) |
| Disciplina | 005.2 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters |
| ISBN |
1-280-30774-9
9786610307746 3-540-25932-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving. |
| Record Nr. | UNISA-996466234103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||