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 : 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 : 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 science Software engineering Artificial Intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Science |
| 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 | ||
| ||
Programming Multi-Agents Systems [[electronic resource] ] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers / / edited by Louise Dennis, Olivier Boissier, Rafael H. Bordini
| Programming Multi-Agents Systems [[electronic resource] ] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers / / edited by Louise Dennis, Olivier Boissier, Rafael H. Bordini |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 217 p. 33 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Programming languages (Electronic computers) Computer programming Optical data processing Artificial Intelligence Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering/Programming and Operating Systems Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-31915-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ProMAS–2011 -- Part I: Foundations of Agent Programming -- Languages -- Logical Foundations for a Rational BDI Agent Programming Language -- (Extended Version) -- Relating Goal and Commitment Semantics -- Part II: Multi-Agent Oriented Programming -- Developing a Knowledge Management Multi-Agent System Using JaCaMo -- Notes on Pragmatic Agent-Programming with Jason -- Integrating Expectation Monitoring into BDI Agents -- Part III: Model Checking -- Abstraction for Model Checking Modular Interpreted Systems over ATL -- MAS:Qualitative and Quantitative Reasoning -- State Space Reduction for Model Checking Agent Programs -- Part IV:Multi-Agent Programming Contest -- The Multi-agent Programming Contest 2011: A Resume -- HactarV2:An Agent Team Strategy Based on Implicit Coordination -- Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach -- Bogtrotters in Space -- A Gaia-Driven Approach for Competitive Multi-Agent Systems. |
| Record Nr. | UNISA-996466069203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||