You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume presents the proceedings of the IFIP TC2 WG 2.5 Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software, held in Prescott, Arizona from July 17-21, 2006. The book contains the most up-to-date research on grid-based computing. It will interest users and developers of both grid-based and traditional problem solving environments, developers of grid infrastructure, and developers of numerical software.
This volume contains the papers presented at the 3rd International Symposium onFoundationsofInformationandKnowledgeSystems(FoIKS2004), whichwas held in Castle Wilhelminenberg, Vienna, Austria, from February 17th to 20th, 2004. FoIKS is a biennial event focussing on theoretical foundations of information and knowledge systems. It aims at bringing together researchers working on the theoretical foundations of information and knowledge systems and attracting researchers working in mathematical?elds such as discrete mathematics, c- binatorics, logics, and?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition...
This will become the new standard reference for people wanting to know about the Lisp family of languages.
This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on “Agent Theories, Architectures, and L- guages” have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject, where besides theory per se also integration of theory and practice is in focus. Speci?cally, ATAL - dresses issues of theories of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for applying and evaluating agent-based systems. ATAL 2001 featured two special tracks in which both the more theoretical / formal and the...
The Internet is spawning many new markets and electronic commerce is changing many market conventions. Not only are old commercial practices being adapted to the new conditions of immediacy brought forth by the global networks, but new products and services, as well as new practices, are beginning to appear. There is already ample evidence that agent-based technologies will be crucial for these - velopments. However many theoretical, technological, sociological, and legal - pects will need to be addressed before such opportunities become a significant reality. In addition to streamlining traditional transactions, agents enable new types of transactions. For example, the elusive one-to-one ma...
This book constitutes the thoroughly refereed post-proceedings of four workshops held as satellite events of the JSAI International Symposia on Artificial Intelligence 2010, in Tokyo, Japan, in November 2010. The 28 revised full papers with four papers for the following four workshops presented were carefully reviewed and selected from 70 papers. The papers are organized in sections Logic and Engineering of Natural Language Semantics (LENLS), Juris-Informatics (JURISIN), Advanced Methodologies for Bayesian Networks (AMBN), and Innovating Service Systems (ISS).
This book constitutes the proceedings of the 9th German Conference on Multiagent System Technologies held in Berlin, Germany, in October 2011. The 12 revised full papers presented together with 6 short parers were carefully reviewed and selected from 50 submissions. Providing an interdisciplinary forum for researchers, users, and developers to present and discuss latest advances in research work as well as prototyped or fielded systems of intelligent agents and multi-agent systems, the papers cover the whole range of this sector and promote its theory and applications.
This book constitutes the proceedings of the 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2020, held in L'Aquila, Italy, in October 2020. The 29 regular and 17 demo papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, educa-tion and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012. The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics: declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentation and application of such models in subfields of AI, evaluation of models, both theoretical and practical, and theories and applications developed through inter-disciplinary collaboration.