topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
ISBN: 9783540280606 / Angielski / Miękka / 2005 / 284 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series...
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time ...
|
cena:
201,72 |
 |
Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
ISBN: 9783540339960 / Angielski / Miękka / 2006 / 430 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VI. The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article are organized in topical sections on foundational aspects of agency, agent programming, agent interaction and normative systems, the first CLIMA contest, and on the project report of the SOCS project. This book constitutes the strictly refereed post-proceedings of the 6th International Workshop on Computational Logic for Multi-Agent Systems, CLIM... |
cena:
201,72 |
 |
Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
ISBN: 9783540221241 / Angielski / Miękka / 2004 / 272 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday ssystems.Asaconsequence, thegrowingcomplexity of agent systems calls for models and technologies that promote system p- dictability and enable feature discovery and veri?cation. Formal methods and declarative technologies have recently attracted a growing interest as a means to address such issues. The aim of the DALT 2003 workshop was two-fold. On the one hand, we wanted to foster a discussion forum to export such techniques into the broader...
Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday ssystems.Asaconsequence, thegrowingcomplexity of a...
|
cena:
201,72 |
 |
Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
ISBN: 9783540331063 / Angielski / Miękka / 2006 / 248 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee ?exibility. Declarative...
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the...
|
cena:
201,72 |
 |
Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
ISBN: 9783540261728 / Angielski / Miękka / 2005 / 292 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne. Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced...
The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great su...
|
cena:
201,72 |
 |
Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
ISBN: 9783642133374 / Angielski / Miękka / 2010 / 183 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7-9, 2009 in Turin, Italy. As in its 2007 edition, this workshop was a part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The LADS 2009 workshop addressed both theoretical and practical issues related to developing and deploying multi-agent systems. It constituted a rich forum where leading researchers from both academia and industry could share their...
This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LAD...
|
cena:
201,72 |
 |
Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
ISBN: 9783642223587 / Angielski / Miękka / 2011 / 383 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011.
The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice,... This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, ...
|
cena:
201,72 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
