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 VII [[electronic resource] ] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / / edited by Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd
| Declarative Agent Languages and Technologies VII [[electronic resource] ] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / / edited by Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 263 p.) |
| Disciplina | 005.13 |
| 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 |
1-280-38543-X
9786613563354 3-642-11355-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Playing with Rules -- Invited Papers -- The Refinement of Choreographed Multi-Agent Systems -- Goal Generation from Possibilistic Beliefs Based on Trust and Distrust -- Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach -- Contributed Papers -- Unifying the Intentional and Institutional Semantics of Speech Acts -- Tableaux for Acceptance Logic -- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology -- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report -- Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks -- Computing Utility from Weighted Description Logic Preference Formulas -- Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games -- Correctness Properties for Multiagent Systems -- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming -- Social Commitments in Time: Satisfied or Compensated -- Verifying Dribble Agents. |
| Record Nr. | UNISA-996465332303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mobile web and intelligent information systems : 17th international conference, MobiWIS 2021, virtual event, August 23-25, 2021 : proceedings / / Jamal Bentahar [and three others], editors
| Mobile web and intelligent information systems : 17th international conference, MobiWIS 2021, virtual event, August 23-25, 2021 : proceedings / / Jamal Bentahar [and three others], editors |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (X, 195 p. 75 illus., 58 illus. in color.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mobile computing
Ambient intelligence |
| ISBN | 3-030-83164-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Security and Privacy -- Web and Mobile Applications -- Networking and Communication -- Intelligent Information Systems -- IoT and Ubiquitous Computing. |
| Record Nr. | UNINA-9910495205903321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mobile web and intelligent information systems : 17th international conference, MobiWIS 2021, virtual event, August 23-25, 2021 : proceedings / / Jamal Bentahar [and three others], editors
| Mobile web and intelligent information systems : 17th international conference, MobiWIS 2021, virtual event, August 23-25, 2021 : proceedings / / Jamal Bentahar [and three others], editors |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (X, 195 p. 75 illus., 58 illus. in color.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mobile computing
Ambient intelligence |
| ISBN | 3-030-83164-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Security and Privacy -- Web and Mobile Applications -- Networking and Communication -- Intelligent Information Systems -- IoT and Ubiquitous Computing. |
| Record Nr. | UNISA-996464409503316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||