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.
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 197 p. 40 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer communication systems Software engineering Application software Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39027-1
9786613568199 3-642-16867-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing. |
| Record Nr. | UNISA-996465689803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 197 p. 40 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer communication systems Software engineering Application software Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39027-1
9786613568199 3-642-16867-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing. |
| Record Nr. | UNINA-9910484841103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Multi-Agent Systems [[electronic resource] ] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / / edited by Rem Collier, Jürgen Dix, Peter Novák
| Programming Multi-Agent Systems [[electronic resource] ] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / / edited by Rem Collier, Jürgen Dix, Peter Novák |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XI, 159 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer communication systems Computer programming Computer simulation Artificial Intelligence Software Engineering Computer Communication Networks Programming Techniques Simulation and Modeling Software Engineering/Programming and Operating Systems |
| ISBN | 3-642-28939-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466253803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||