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.
Declarative Agent Languages and Technologies X [[electronic resource] ] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos
| Declarative Agent Languages and Technologies X [[electronic resource] ] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 209 p. 42 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Software engineering Computer science Artificial Intelligence Logics and Meanings of Programs Software Engineering Computer Science, general |
| ISBN | 3-642-37890-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Handling Change in Normative Specifications -- Latest Developments of WADE to Support User-Centric Business Processes -- Strong Planning in the Logics of Communication and Change -- Agent Deliberation via Forward and Backward Chaining in Linear Logic -- Contributed Papers -- Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason -- A Generalized Commitment Machine for 2CL Protocols and Its Implementation -- Solving Fuzzy Distributed CSPs: An Approach with Naming Games -- Commitment Protocol Generation -- Goal-Based Qualitative Preference Systems -- SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems -- Position Papers -- Some Thoughts about Commitment Protocols (Position Paper) -- Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends (Position Paper) -- Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell (Position Paper). |
| Record Nr. | UNISA-996466201403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies X [[electronic resource] ] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos
| Declarative Agent Languages and Technologies X [[electronic resource] ] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers / / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 209 p. 42 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Software engineering Computer science Artificial Intelligence Logics and Meanings of Programs Software Engineering Computer Science, general |
| ISBN | 3-642-37890-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Handling Change in Normative Specifications -- Latest Developments of WADE to Support User-Centric Business Processes -- Strong Planning in the Logics of Communication and Change -- Agent Deliberation via Forward and Backward Chaining in Linear Logic -- Contributed Papers -- Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason -- A Generalized Commitment Machine for 2CL Protocols and Its Implementation -- Solving Fuzzy Distributed CSPs: An Approach with Naming Games -- Commitment Protocol Generation -- Goal-Based Qualitative Preference Systems -- SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems -- Position Papers -- Some Thoughts about Commitment Protocols (Position Paper) -- Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends (Position Paper) -- Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell (Position Paper). |
| Record Nr. | UNINA-9910483010303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Multi-Agent Systems [[electronic resource] ] : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / / edited by Danny Weyns, Viviana Mascardi, Alessandro Ricci
| Engineering Multi-Agent Systems [[electronic resource] ] : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / / edited by Danny Weyns, Viviana Mascardi, Alessandro Ricci |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 351 p. 150 illus., 33 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Application software Artificial Intelligence Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-030-25693-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineering Multi-Agent Systems Anno 2025 -- Pitfalls of Jason Concurrency AgentSpeak(ER): Enhanced Encapsulation in Agent Plans -- Agent-Oriented Software Engineering -- Designing Multi-Agent Systems from Ontology Models -- Engineering Self-Adaptive Aystems: from Experiences with MUSA -- A Programming Model for Developing Protocolcompliant Agents -- Formal Analysis and Techniques -- Belief Shadowing -- Empathic Autonomous Agents -- Dynamic Global Behaviour of Online Routing Games -- A Sanctioning Enforcement Framework -- Adding Organizational Reasoning to Agent-Based Simulations in GAMA -- An Agent-based Model for Analyzing Radicalism Spread Using Agent-based Social Simulation -- Engineering World-Wide Multi-Agent Systems with Hypermedia -- Designing a Cognitive Agent Connector for Complex Environments: A Case Study with StarCraft -- Decision Process in Human-Agent Interaction -- Exposing Agents as Web Services in JADE. |
| Record Nr. | UNINA-9910349313003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Multi-Agent Systems [[electronic resource] ] : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / / edited by Danny Weyns, Viviana Mascardi, Alessandro Ricci
| Engineering Multi-Agent Systems [[electronic resource] ] : 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / / edited by Danny Weyns, Viviana Mascardi, Alessandro Ricci |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 351 p. 150 illus., 33 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Application software Artificial Intelligence Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) |
| ISBN | 3-030-25693-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineering Multi-Agent Systems Anno 2025 -- Pitfalls of Jason Concurrency AgentSpeak(ER): Enhanced Encapsulation in Agent Plans -- Agent-Oriented Software Engineering -- Designing Multi-Agent Systems from Ontology Models -- Engineering Self-Adaptive Aystems: from Experiences with MUSA -- A Programming Model for Developing Protocolcompliant Agents -- Formal Analysis and Techniques -- Belief Shadowing -- Empathic Autonomous Agents -- Dynamic Global Behaviour of Online Routing Games -- A Sanctioning Enforcement Framework -- Adding Organizational Reasoning to Agent-Based Simulations in GAMA -- An Agent-based Model for Analyzing Radicalism Spread Using Agent-based Social Simulation -- Engineering World-Wide Multi-Agent Systems with Hypermedia -- Designing a Cognitive Agent Connector for Complex Environments: A Case Study with StarCraft -- Decision Process in Human-Agent Interaction -- Exposing Agents as Web Services in JADE. |
| Record Nr. | UNISA-996466347703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||