torroni paolo (32 Ergebnisse)

Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken, -ecken und -kanten leicht angestoßen, Ausgabe 2011 | Seiten: 382 | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut - Auflage 2013 | Seiten: 416 | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken fehlerhaft geklebt, Aufl. 2008 | Seiten: 296 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT's (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate exibility, heterogeneity and openness, and enable system veri cation.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 18thInternational Conference on Principles and Practice of Multi-Agent Systems,PRIMA 2015, held in Bertinoro, Italy, in October 2015.The 29 full papers and 24 short papers presented in thisvolume were carefully reviewed and selected from 94 submissions. The conferencebrings together active researchers, developers and practitioners from bothacademia and industry to showcase, share and promote research in severaldomains, ranging from foundations of agent theory and engineering aspects ofagent systems, to emerging interdisciplinary areas of agent-based research.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 communityofagentresearchersandpractitioners.Ontheotherhand,we wanted to bring in the issues of real-world, complex, and possibly large-scale agent s- tem design in the perspective of formal methods and declarative technologies. Thanks to the very high quality of our program committee, we managed to put together a rich program, including three technical sessions and two panel sessions:TheUseofDeclarativeProgrammingforAgent-OrientedSoftwareEn- neering, moderated by Leon Sterling and Andrea Omicini, and Declarative and Logic-Based Technology for Agent Reasoning and Interactions, organized and moderated by Rafael Bordini and Wiebe van der Hoek, with the participation of ve invited panelists. This bookcontainstherevisedandextendedversionsofthe paperspresented at the workshop, as well as three invited contributions by leading researchers of the eld. It is composed of three parts: (i) software engineering and multi-agent system prototyping, (ii) agent reasoning, BDI logics and extensions, and (iii) social aspects of multi-agent systems.

Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchecken und -kanten leicht angestoßen | Seiten: 182 | Sprache: Englisch | Produktart: Bücher.

Zustand: New. 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-d.

Zustand: New. This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Declarative Agent Languages and Technologies, DALT 2005, held in The Netherlands in July 2005 as an associated event of AAMAS 2005, the main internation.