Torroni paolo (37 Ergebnisse)

Soft Cover. Zustand: Acceptable. Lecture Notes in Artificial Intelligence (LNAI) 3476. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 288 pages. Ex-Library.

paperback. Zustand: Good. Mismanufactored, with the cover/ pages not cut properly. Causing the cover/ pages to be lager or smaller than the rest of the book.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 182 pages. 9.25x6.25x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 398 pages. 9.21x6.14x0.94 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems. DALT 2005, the third edition of the workshop, was held in Utrecht, The Netherlands, in July 2005, in conjunction with AAMAS 2005, the Fourth Int- national Joint Conference on Agents and Multiagent Systems. Over 30 persons attended the workshop con rming the success of the previous editions in M- bourne 2003 (LNAI 2990) and New York 2004 (LNAI 3476). The workshop series is a forum of discussion aimed both at supporting the transfer of decla- tive paradigms and techniques into the broader community of agent researchers andpractitioners, and atbringing theissuesofdesigningreal-world andcomplex agent systems to the attention of researchers working on declarative progr- ming and technologies.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Logical Way to Be Artificially Intelligent.- The Logical Way to Be Artificially Intelligent.- Foundational Aspects of Agency.- Ability in a Multi-agent Context: A Model in the Situation Calculus.- Reasoning About Epistemic States of Agents by Modal Logic Programming.- Strongly Complete Axiomatizations of 'Knowing at Most' in Syntactic Structures.- Logical Spaces in Multi-agent Only Knowing Systems.- Trustworthiness by Default.- Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.- Agent Programming.- Implementing Temporal Logics: Tools for Execution and Proof.- BDI Agent Programming in AgentSpeak Using Jason.- Using the KGP Model of Agency to Design Applications.- Multi-threaded Communicating Agents in Qu-Prolog.- Variety of Behaviours Through Profiles in Logic-Based Agents.- Contract-Related Agents.- Agent Interaction and Normative Systems.- Specification and Verification of Agent Interaction Using Abductive Reasoning.- Verification of Protocol Conformance and Agent Interoperability.- Contextual Terminologies.- Constitutive Norms in the Design of Normative Multiagent Systems.- Combining Answer Sets of Nonmonotonic Logic Programs.- Speculative Constraint Processing with Iterative Revision for Disjunctive Answers.- Intention Recognition in the Situation Calculus and Probability Theory Frameworks.- The First CLIMA Contest.- The First Contest on Multi-agent Systems Based on Computational Logic.- Implementing Pheromone-Based, Negotiating Forager Agents.- Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem.- Reactive Food Gathering.- Strategies for Multi-agent Coordination in a Grid World Using Petri Nets.- Project Report.- Multi-agent Systems in Computational Logic: Challenges andOutcomes 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 - 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,wewanted 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. …

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 thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 15 revised full papers, presented together with 1 invited paper reporting the aims and achievements of the OpenKnowledge project, were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on agent reasoning and semantics, declarative languages and technologies, methodologies and design, and development frameworks.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. 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 edition will feature two special sessions: Argumentation Technologies and Norms and Normative Multi-Agent Systems.…

Zustand: New. pp. x + 183 Illus.

Taschenbuch. Zustand: Neu. Computational Logic in Multi-Agent Systems | 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings | João Leite (u. a.) | Taschenbuch | xxiv | Englisch | 2013 | Springer | EAN 9783642406232 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Languages, Methodologies and Development Tools for Multi-Agent Systems | First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers | Mehdi Dastani (u. a.) | Taschenbuch | x | Englisch | 2008 | Springer | EAN 9783540850571 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. PRIMA 2015: Principles and Practice of Multi-Agent Systems | 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings | Qingliang Chen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2015 | Springer | EAN 9783319255231 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. PRIMA 2016: Principles and Practice of Multi-Agent Systems | 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings | Matteo Baldoni (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2016 | Springer | EAN 9783319448312 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Declarative Agent Languages and Technologies III | Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers | Matteo Baldoni (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540331063 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…