Mehdi Dastani – författare
Visar alla böcker från författaren Mehdi Dastani. Handla med fri frakt och snabb leverans.
23 produkter
23 produkter
1 650 kr
Skickas inom 10-15 vardagar
Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specify Multi-Agent Systems, this book focuses on the development of programming languages and tools which not only support MAS programming, but also implement key concepts of MAS in a unified framework.Part I describes approaches that rely on computational logic or process algebra – Jason, 3APL, IMPACT, and CLAIM/SyMPA. Part II presents languages and platforms that extend or are based on Java – JADE, Jadex and JACKTM. Part III provides two significant industry specific applications – The DEFACTO System for coordinating human-agent teams for disaster response, and the ARTIMIS rational dialogue agent technology. Also featured are seven appendices for quick reference and comparison.
1 650 kr
Skickas inom 10-15 vardagar
Multi-Agent Systems are a promising technology to develop the next generation open distributed complex software systems. The main focus of the research community has been in the development of concepts (concerning both mental and social attitudes), architectures, techniques, and general approaches to the analysis and specification of multi-agent systems. This contribution has been fragmented, without any clear way of "putting it all together", rendering it inaccessible to students and young researchers, non-experts, and practitioners. Successful multi-agent systems development is guaranteed only if we can bridge the gap from analysis and design to effective implementation. Multi-Agent Tools: Languages, Platforms and Applications presents a number of mature and influential multi-agent programming languages, platforms, development tools and methodologies, and realistic applications, summarizing the state of the art in an accessible manner for professionals and computer science students of all levels.
1 650 kr
Skickas inom 10-15 vardagar
Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specify Multi-Agent Systems, this book focuses on the development of programming languages and tools which not only support MAS programming, but also implement key concepts of MAS in a unified framework. Part I describes approaches that rely on computational logic or process algebra -- Jason, 3APL, IMPACT, and CLAIM/SyMPA. Part II presents languages and platforms that extend or are based on Java -- JADE, Jadex and JACKTM. Part III provides two significant industry specific applications -- The DEFACTO System for coordinating human-agent teams for disaster response, and the ARTIMIS rational dialogue agent technology. Also featured are seven appendices for quick reference and comparison.
1 650 kr
Skickas inom 10-15 vardagar
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: • Using Theorem Proving to Verify Properties of Agent Programs • The Refinement of Multi-Agent Systems • Model Checking Agent Communication • Directions for Agent Model Checking • Model Checking Logics of Strategic Ability: Complexity • Correctness of Mult-Agent Programs: A Hybrid Approach • The Norm Implementation Problem in Normative Multi-Agent Systems • A Verification Logic for GOAL Agents • Using the Maude Term Rewriting Language for Agent Development with Formal Foundations • The Cognitive Agents Specification Language and Verification Environment • A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns • Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.
1 212 kr
Skickas inom 10-15 vardagar
Multi-Agent Systems are a promising technology to develop the next generation open distributed complex software systems. The main focus of the research community has been on the development of concepts (concerning both mental and social attitudes), architectures, techniques, and general approaches to the analysis and specification of multi-agent systems. This contribution has been fragmented, without any clear way of “putting it all together”, rendering it inaccessible to students and young researchers, non-experts, and practitioners. Successful multi-agent systems development is guaranteed only if we can bridge the gap from analysis and design to effective implementation.Multi-Agent Programming: Languages, Tools and Applications presents a number of mature and influential multi-agent programming languages, platforms, development tools and methodologies, and realistic applications, summarizing the state of the art in an accessible manner for professionals and computer science students at all levels.
1 650 kr
Skickas inom 10-15 vardagar
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: • Using Theorem Proving to Verify Properties of Agent Programs • The Refinement of Multi-Agent Systems • Model Checking Agent Communication • Directions for Agent Model Checking • Model Checking Logics of Strategic Ability: Complexity • Correctness of Mult-Agent Programs: A Hybrid Approach • The Norm Implementation Problem in Normative Multi-Agent Systems • A Verification Logic for GOAL Agents • Using the Maude Term Rewriting Language for Agent Development with Formal Foundations • The Cognitive Agents Specification Language and Verification Environment • A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns • Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.
Del 11873 - Lecture Notes in Computer Science
PRIMA 2019: Principles and Practice of Multi-Agent Systems
22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings
Häftad, Engelska, 2019
1 103 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2019, held in Turin, Italy, in October 2019.
Del 12061 - Lecture Notes in Computer Science
Logic and Argumentation
Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings
Häftad, Engelska, 2020
555 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Third International Conference on Logic and Argumentation, CLAR 2020, held in Hangzhou, China, in April 2020. The 14 full and 7 short papers presented were carefully reviewed and selected from 31 submissions. The papers cover the focus of the CLAR series, including formal models of argumentation, logics for decision making and uncertainreasoning, formal models of evidence, con rmation, and justi cation, logics forgroup cognition and social network, reasoning about norms, formal representationsof natural language and legal texts, as well as applications of argumentationon climate engineering.
Del 14378 - Lecture Notes in Computer Science
Engineering Multi-Agent Systems
11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers
Häftad, Engelska, 2023
719 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 11th International Workshop on Engineering Multi-Agent Systems, EMAS 2023, which was held in London, UK, during May 29–30, 2023. The 11 full papers and 7 short papers included in this volume were carefully reviewed and selected from a total of 25 submissions.
Del 9392 - Lecture Notes in Computer Science
Fundamentals of Software Engineering
6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Häftad, Engelska, 2015
555 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015. The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions.
Del 9318 - Lecture Notes in Computer Science
Engineering Multi-Agent Systems
Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
Häftad, Engelska, 2015
533 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015. MAS software engineering methodologies and techniques, and development concerns;
Del 178 - Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Intelligent Technologies for Interactive Entertainment
8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers
Häftad, Engelska, 2016
555 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 8th International Conference on Intelligent technologies for Interactive Entertainment, INTETAIN 2016, held in Utrecht, The Netherlands, in June 2016.The 19 full papers, 5 short and 6 workshop papers were selected from 49 submissions and present novel interactive techniques and their application in entertainment, education, culture and art. The papers are grouped in six thematic sessions: serious games, novel applications and tools, exertion games, persuasion and motivation, interaction technologies and game studies.
Del 10522 - Lecture Notes in Computer Science
Fundamentals of Software Engineering
7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Häftad, Engelska, 2017
555 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions.
Programming Multi-Agent Systems
First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers
Häftad, Engelska, 2004
555 kr
Skickas inom 10-15 vardagar
Autonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made to provide novel tools, methods, and frameworks to establish the necessary standards for wider use of MAS as a technology of its own and not only as an attractive paradigm.This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Programming of the First International Workshop on Programming Multi-Agent Systems, PROMAS 2003, held in Melbourne, Australia in July 2003 as part of AAMAS 2003. Besides 8 workshop papers, the volume contains 3 invited papers to complete coverage of the relevant aspects. The papers are organized in topical sections on programming multi-agent systems, languages for multi-agent systems, and principles and tools for multi-agent systems.
Programming Multi-Agent Systems
Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
Häftad, Engelska, 2005
590 kr
Skickas inom 10-15 vardagar
These are the proceedings of the 2nd International Workshop on Programming Multi-agentSystems(ProMAS2004),heldinJuly2004inNewYork(USA)asan associated event of AAMAS 2004, the main international conference dedicated to autonomous agents and multi-agent systems. The idea of organizing such an event was discussed during the Dagstuhl s- inarProgramming Multi-agent Systems Based on Logic (see [2]), where the focus was on logic-based approaches. It was felt that the scope should be broadened beyond logic-based approaches, and thus ProMAS came into being (see [1] for the proceedings of the ?rst event, ProMAS 2003). Meanwhile, a Steering Committee (Rafael Bordini, Mehdi Dastani, Jurgen .. Dix, Amal El Fallah Seghrouchni) as well as an AgentLink III Technical Forum GrouponProgrammingMulti-agentSystems wereestablished(thelatteronewas founded on 30 June/1 July 2004 in Rome, Italy (see http:// www.cs.uu.nl/ mehdi/al3tf8.html). Moreover, a Kluwer book on the same topic is underway (to appear early in 2005) and the third workshop ProMAS 2005 will be organized within AAMAS 2005 (see http://www.cs.uu.nl/ProMAS/ for up-to-date information about ProMAS).
Programming Multi-Agent Systems
Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
Häftad, Engelska, 2006
555 kr
Skickas inom 10-15 vardagar
The area of autonomous agents and multi-agent systems (MAS) has grown into a promising technology offering sensible alternatives for the design of distributed, intelligent systems. Several efforts have been made by researchers and practitioners, both in academia and industry, and by several standardisation consortia in order to provide new languages, tools, methods, and frameworks so as to establish the necessary standards for a wide use of MAS technology. The papers of this volume focus on the development of programming languages and tools that can effectively support MAS programming and the implementation of key notions in MAS in a unified framework to bridge the gap from analysis and design to effective implementation that way.This book constitutes the thoroughly refereed postproceedings of the Third International Workshop on Programming Multi-Agent Systems, ProMAS 2005, held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 14 revised full papers presented together with 2 invited articles are organized in topical sections on multi-agent techniques and issues, multi-agent programming, and multi-agent platforms and organisation.
Programming Multi-Agent Systems
Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers
Häftad, Engelska, 2008
555 kr
Skickas inom 10-15 vardagar
These are the post-proceedings of the International Workshop on Programming Multi-Agent Systems (ProMAS 2007), the ?fth of a series of workshops that is attracting increasing attention from researchersand practitioners in multi-agent systems. Multi-agent systems (MAS) constitute a promising software development paradigm for complex and distributed applications. The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to the development of industrial-strength software. In particular, ProMAS aims to address the technologies that are required for - plementing multi-agentsystems designs or speci?cations e?ectively. We promote the discussion and exchangeof ideas on principles, concepts, requirements, te- niques,andtoolsthatareessentialforprogrammingapproachesandtechnologies speci?cally devised for MAS. Theidea oforganizingthe ?rstworkshopofthe series was?rstdiscussedd- ing the Dagstuhl seminar "ProgrammingMulti-Agent Systems Based onLogic", where the focus was on logic-based approaches. It was felt that the scope should be broadened beyond logic-based approaches, thus giving the current scope and aims of ProMAS.After four very successful editions of the ProMAS workshop series, which took place at AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005(Utrecht,The Netherlands), and AAMAS 2006(Hakodate, Japan), the ?fth edition took place on May 14 in Honolulu, Hawai'i, in c- junction with AAMAS 2007, the main international conference on autonomous agents and MAS. ProMAS 2007 received 17 submissions. These were reviewed by members of the Program Committee, and 11 papers were accepted.
Languages, Methodologies and Development Tools for Multi-Agent Systems
First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers
Häftad, Engelska, 2008
555 kr
Skickas inom 10-15 vardagar
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.
Languages, Methodologies, and Development Tools for Multi-Agent Systems
Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
Häftad, Engelska, 2010
555 kr
Skickas inom 10-15 vardagar
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 experiencesonformalapproaches,programminglanguages,methodologies, tools andtechniques supporting the developmentanddeploymentof multi-agent systems.Fromatheoreticalpointofview,LADS2009aimedataddressingissues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability andveri?cation.Formaldeclarativemodelsandapproacheshavethe potentialof o?ering solutions for the speci?cation and design of multi-agent systems. From a practical point of view, LADS 2009 aimed at stimulating research and d- cussion on how multi-agent system speci?cations and designs can be e?ectively implemented and tested. This book is the result of a strict selection and review process. From 14 papers originally submitted to LADS 2009, and after 2 rounds of reviews, we selected 10 high-quality papers covering important topics related to multi-agent programming technology, such as: agent architectures, programming languages andmethodologies,socialinteractionmodels,developmenttoolsandapplications of multi-agent systems.
Languages, Methodologies, and Development Tools for Multi-Agent Systems
Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers
Häftad, Engelska, 2011
555 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010, held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 8 revised full papers presented were carefully selected during two rounds of reviews from 11 initial submissions. The papers address issues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictablity and verification.
Computational Logic in Multi-Agent Systems
13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
Häftad, Engelska, 2012
511 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. 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.
Programming Multi-Agent Systems
10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Häftad, Engelska, 2013
511 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Programming Multi-Agents Systems held in Valencia, Spain, in June 2012. The 10 revised full papers presented were carefully selected from 14 submissions covering a wide range of topics in multi-agent system programming languages, including language design and efficient implementation, agent communication, and robot programming. I addition to these regular papers, the volume includes six papers from the Multi-Agent programming Contest 2012 (MAPC).
653 kr
Skickas inom 5-8 vardagar