0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (9)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 11 of 11 matches in All Departments

Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon,... Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers (Paperback, 2011)
Mehdi Dastani, Amal EL Fallah-Seghrouchni, Jomi Hubner, Joao Leite
R1,790 Discovery Miles 17 900 Ships in 10 - 15 working days

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 - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011,... Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings (Paperback, Edition.)
Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, Leon van der Torre
R1,500 Discovery Miles 15 000 Ships in 10 - 15 working days

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, cooperation, logic and languages, and norms and normative multi-agent systems.

Languages, Methodologies and Development Tools for Multi-Agent Systems - First International Workshop, LADS 2007, Durham, UK,... Languages, Methodologies and Development Tools for Multi-Agent Systems - First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007, Revised Selected Papers (Paperback, 2008 ed.)
Mehdi Dastani, Amal EL Fallah-Seghrouchni, Joao Leite, Paolo Torroni
R1,469 Discovery Miles 14 690 Ships in 10 - 15 working days

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.

Computational Logic in Multi-Agent Systems - 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004,... Computational Logic in Multi-Agent Systems - 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers (Paperback, 2005 ed.)
Joao Leite, Paolo Torroni
R1,565 Discovery Miles 15 650 Ships in 10 - 15 working days

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 is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29-30, 2004.We, asorganizers, andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions - a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addresse

Declarative Agent Languages and Technologies II - Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004,... Declarative Agent Languages and Technologies II - Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers (Paperback, 2005 ed.)
Joao Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
R1,569 Discovery Miles 15 690 Ships in 10 - 15 working days

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.

Computational Logic in Multi-Agent Systems - 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004,... Computational Logic in Multi-Agent Systems - 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers (Paperback, 2005 ed.)
Joao Leite
R1,545 Discovery Miles 15 450 Ships in 10 - 15 working days

Over recent years, the notion of agency has claimed a major role in de?ning the trends of modern research. In?uencing a broad spectrum of disciplines such as sociology, psychology, philosophy and many more, the agent paradigm virtually invaded every sub?eld of computer science, because of its promising applications for the Internet and in robotics. Multi-agent systems (MAS) are communities of problem-solving entities that can perceive and act upon their environments to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in arti?cial intelligence and other areas of computing. There is a full spectrum of MAS applications that have been and are being developed: from search engines to educational aids to electronic commerce and trade. Although commonly implemented by means of imperative languages, mainly for reasons of e?ciency, the agent concept has recently increased its in?uence in the research and development of computational logic-based systems. Computational logic, by virtue of its nature both in substance and method, providesawell-de?ned, general, andrigorousframeworkforsystematicallystu- ing computation, be it syntax, semantics, and procedures, or implementations, environments, tools, and standards. Computational logic approaches problems, and provides solutions, at a su?cient level of abstraction so that they generalize from problem domain to problem domain, a?orded by the nature of its very foundation in logic, both in substance and method, which constitutes one of its major asset

Logics in Artificial Intelligence - 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings... Logics in Artificial Intelligence - 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Paperback, 2004 ed.)
Jose Julio Alferes, Joao Leite
R3,155 Discovery Miles 31 550 Ships in 10 - 15 working days

Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems - day, this claim is stronger than ever. The European Conference on Logics in Arti?cial Intelligence (or Journ ees Europ eennes sur la Logique en Intelligence Arti?cielle, JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this ?eld. Since then, JELIA has been organized biennially, with English as its o?cial language, previous meetings taking place in Rosco?, France (1988), Amsterdam, Nether- lands (1990), Berlin, Germany (1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl, Germany(1998), M alaga, Spain(2000)andCosenza, Italy(2002). The increasinginterestinthisforum, itsinternationallevelwithgrowingparticipation from researchers outside Europe, and the overall technical quality have turned JELIA into a major biennial forum for the discussion of logic-based approaches to arti?cial intelligence. The 9th European Conference on Logics in AI, JELIA 2004, took place in Lisbon, Portugal, between the 27th and the 30th of September 2004, and was hosted by the Universidade Nova de Lisboa. Its technical program comprised 3 invited talks, by Francesca Rossi, Franz Baader, and Bernhard Nebel, and the presentationof52refereedtechnicalarticlesselectedbytheProgramCommittee among the 144 that were submitted, a number which in our opinion clearly indicates that the research area of logics in AI is one with a great and increasing interest."

Declarative Agent Languages and Technologies - First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003,... Declarative Agent Languages and Technologies - First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers (Paperback, 2004 ed.)
Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
R1,565 Discovery Miles 15 650 Ships in 10 - 15 working days

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.

PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November... PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings (Paperback, 1st ed. 2017)
Boan, Ana Bazzan, Joao Leite, Serena Villata, Leendert van der Torre
R3,025 Discovery Miles 30 250 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017. The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 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.

Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014,... Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings (Paperback, 2014 ed.)
Eduardo Ferme, Joao Leite
R1,593 Discovery Miles 15 930 Ships in 10 - 15 working days

This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks.

Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013,... Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings (Paperback, 2013 ed.)
Joao Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
R1,504 Discovery Miles 15 040 Ships in 10 - 15 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Raised by Wolves - Season 2
Amanda Collin, Abubakar Salim DVD R210 Discovery Miles 2 100
Bostik Crystal Clear Tape
R43 Discovery Miles 430
Pure Pleasure Electric Heating Pad (30 x…
 (2)
R599 R529 Discovery Miles 5 290
Major Tech 10 Pack LED Lamp…
R330 R265 Discovery Miles 2 650
Crayola Crayons (Pack of 8)(Assorted…
R29 R27 Discovery Miles 270
John C. Maxwell Undated Planner
Paperback R399 R199 Discovery Miles 1 990
Mellerware Swiss - Plastic Floor Fan…
 (1)
R348 Discovery Miles 3 480
Luca Distressed Peak Cap (Khaki)
R249 Discovery Miles 2 490
Kiddylicious Cheese Straws (12g)
 (2)
R28 R25 Discovery Miles 250
Pulse Active Cooling Towel (100x30cm)
R170 Discovery Miles 1 700

 

Partners