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.
Agent-Oriented Software Engineering [[electronic resource] ] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge
| Agent-Oriented Software Engineering [[electronic resource] ] : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 326 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer logic Computer programming Computer communication systems Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
| ISBN | 3-540-44564-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conceptual Foundations -- Agent-Oriented Software Engineering: The State of the Art -- Interaction-Oriented Programming -- Issues in Agent-Oriented Software Engineering -- Agent-Based Software Engineering -- Software Architecture Attributes of Multi-agent Systems -- UML for AOSE -- Agent UML: A Formalism for Specifying Multiagent Software Systems -- Agent-Oriented Modeling with Graph Transformation -- Representing Agent Interaction Protocols in UML -- On the Identification of Agents in the Design of Production Control Systems -- On the Identification of Agents in the Design of Production Control Systems -- Methodologies for AO Analysis and Design -- Agent Software Engineering with Role Modelling -- Designing Agent-Oriented Systems by Analysing Agent Interactions -- SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems -- A Modelling Approach for Agent Based Systems Design -- An Overview of the Multiagent Systems Engineering Methodology -- Security for Mobile Agents -- Organisational Abstractions for the Analysis and Design of Multi-agent Systems -- Reuse -- Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments -- Applications and Experiences -- Strategy Selection-Based Meta-level Reasoning for Multi-agent Problem-Solving -- Introducing the Adaptive Agent Oriented Software Architecture and Its Application in Natural Language User Interfaces -- Adding Extensible Synchronisation Capabilities to the Agent Model of a FIPA Compliant Agent Platform. |
| Record Nr. | UNISA-996466183703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge
| Agent-Oriented Software Engineering : First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers / / edited by Paolo Ciancarini, Michael Wooldridge |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (X, 326 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer logic Computer programming Computer communication systems Software Engineering/Programming and Operating Systems Artificial Intelligence Software Engineering Logics and Meanings of Programs Programming Techniques Computer Communication Networks |
| ISBN | 3-540-44564-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conceptual Foundations -- Agent-Oriented Software Engineering: The State of the Art -- Interaction-Oriented Programming -- Issues in Agent-Oriented Software Engineering -- Agent-Based Software Engineering -- Software Architecture Attributes of Multi-agent Systems -- UML for AOSE -- Agent UML: A Formalism for Specifying Multiagent Software Systems -- Agent-Oriented Modeling with Graph Transformation -- Representing Agent Interaction Protocols in UML -- On the Identification of Agents in the Design of Production Control Systems -- On the Identification of Agents in the Design of Production Control Systems -- Methodologies for AO Analysis and Design -- Agent Software Engineering with Role Modelling -- Designing Agent-Oriented Systems by Analysing Agent Interactions -- SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems -- A Modelling Approach for Agent Based Systems Design -- An Overview of the Multiagent Systems Engineering Methodology -- Security for Mobile Agents -- Organisational Abstractions for the Analysis and Design of Multi-agent Systems -- Reuse -- Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments -- Applications and Experiences -- Strategy Selection-Based Meta-level Reasoning for Multi-agent Problem-Solving -- Introducing the Adaptive Agent Oriented Software Architecture and Its Application in Natural Language User Interfaces -- Adding Extensible Synchronisation Capabilities to the Agent Model of a FIPA Compliant Agent Platform. |
| Record Nr. | UNINA-9910143609803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Checking and Artificial Intelligence [[electronic resource] ] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / / edited by Doron A. Peled, Michael Wooldridge
| Model Checking and Artificial Intelligence [[electronic resource] ] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / / edited by Doron A. Peled, Michael Wooldridge |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VII, 189 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Computer programming Software engineering Computer logic Mathematical logic Artificial Intelligence Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Soggetto genere / forma | Kongress. |
| ISBN | 3-642-00431-8 |
| Classificazione |
DAT 325f
DAT 706f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verifying Time and Communication Costs of Rule-Based Reasoners -- Solving ?-Calculus Parity Games by Symbolic Planning -- Verifying Robocup Teams -- Scaling Search with Pattern Databases -- Survey on Directed Model Checking -- Automated Testing of Planning Models -- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic -- Model Checking Driven Heuristic Search for Correct Programs -- Experimental Evaluation of a Planning Language Suitable for Formal Verification -- Relaxation Refinement: A New Method to Generate Heuristic Functions -- Model Checking Strategic Equilibria. |
| Record Nr. | UNISA-996465898003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||