Page 21
Page 21
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
Agent Intelligence Through Data Mining
AGENT INTELLIGENCE THROUGH DATA MINING offers a self-contained overview of a relatively young but important area of research: the intersection of agent technology and data mining. This intersection leads to considerable advancements in the area of information technologies, drawing the increasing attention of both research and industrial communities. It can take two forms: a) the more mundane use of intelligent agents for improved data mining and; b) the use of data mining for smarter, more efficient agents. The second approach is the main focus of this volume. this book presents a methodology for developing multi-agent systems, describes available open-source tools to support this process, and demonstrates the application of the methodology on three different cases. AGENT INTELLIGENCE THROUGH DATA MINING is designed for a professional audience composed of researchers and practitioners in industry.
Agent Computing and Multi-Agent Systems ; 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
PRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific Rim countries. Agent computing and multi-agent systems are computational systems in which several autonomous or se- autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals. These systems may involve computational agents that are homogeneous or heterogeneous, they may involve activities on the part of agents having common or distinct goals, and they may involve participation on the part of humans and intelligent agents. The aim of PRIMA 2006 was to bring together Asian and Pacific Rim researchers and developers from academia and industry to report on the latest technical advances or domain applications and to discuss and explore scientific and practical problems as raised by the participants. PRIMA 2006 received 203 submitted papers.
Agent Communication II ; International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as a research topic. Unf- tunately there seems to be a tendency to regard communication as a kind of information exchange that can easily be covered using the standard FIPA ACL. However, the papers in this volume show that research in agent communication is far from ?nished. If we want to develop the full potential of multi-agent s- tems, agent communication should also develop to a level beyond parameter or value passing as is done in OO approaches! In this book we present the latest collection of papers around the topic of agentcommunication.Thecollectioncomprisesofthebestpapersfromtheagent communication workshops of 2005 and 2006, enriched with a few revised agent communication papers from the AAMAS conference.
Agent communication ; International workshop on agent communication, AC 2004, New York, NY, July 19, 2004
In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents has been one of the major topics of research in multiagent systems. The current work can therefore build on a number of previous Workshops of which the proceedings have been published in earlier volumes in this series. The basis of this collection is formed by the accepted submissions of the Workshop on Agent Communication held in c- junction with the AAMAS Conference in July 2004 in New York. the current collection comprises a very good and quite complete overview of the state of the art in this area of research and gives a good indication of the topics that are of major interest at the moment. The papers can roughly be divided over the following ?ve themes: – social commitments – multiparty communication – content languages – dialogues and conversations – speech acts Although these themes are of course not mutually exclusive they indicate some main directions of research. We therefore have arranged the papers in the book according to the topics indicated above.
Agent and multi-agent systems : Technologies and applications ; 1st KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31-June 1, 2007, Proceedings
The aim of the symposium was to provide an international forum for scientific - search in the technologies and applications of agent and multi-agent systems. Agents and multi-agent systems are related to the modern software which has long been r- ognized as a promising technology for constructing autonomous, complex and intel- gent systems. A key development in the field of agent and multi-agent systems has been the specification of agent communication languages and formalization of - tologies. Agent communication languages are intended to provide standard decla- tive mechanisms for agents to communicate knowledge and make requests of each other, whereas ontologies are intended for conceptualization of the knowledge - main.
Advances in web and network technologies, and information management ; APWeb/WAIM 2007 International Workshops : DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007, Proceedings
With the increasing ubiquity of personal computing devices, such as mobile phones and PDAs, and the increasing deployment of sensor networks, new distributed applications are developed over networked databases posing interesting challenges. It aimed to bring together researchers in different fields related to database management and application over networks and to provide a forum where researchers and practitioners could share and exchange their knowledge and experience.
Advances in visual computing ; Vol. 3804 ; 1st International symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings
Constitutes the refereed proceedings of the introduce the papers of the proceedings of the for the 2005 Int- national Symposium on Visual Computing (ISVC). ISVC provides a common umbrella for the four main areas of visual computing: vision, graphics, visu- ization, and virtual reality.
Advances in sustainable materials and technology
Discusses numerous relevant areas and innovative technologies, such as key construction materials and production, materials with lower energy impact, production processes encouraging less use of ever-depleting natural raw materials, minimization of the generation of greenhouse gases, development of new, environmentally friendly materials and agents, characterization of the properties of construction materials, and methodologies applied in the building of structures.
Advances in Metallodrugs : Preparation and Applications in Medicinal Chemistry
This book is organized into 12 important chapters that focus on the progress made by metal-based drugs as anticancer, antibacterial, antiviral, anti-inflammatory, and anti-neurodegenerative agents, as well as highlights the application areas of newly discovered metallodrugs. It can prove beneficial for researchers, investigators and scientists whose work involves inorganic and coordination chemistry, medical science, pharmacy, biotechnology and biomedical engineering
Advances in mathematical economics ; Vol. 8
The series is designed to bring together those mathematicians who were seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking for effective mathematical tools for their researchers.
Advances in Information Technologies for Electromagnetics
Simple tutorial chapters introduce the reader to cutting edge technologies, such as parallel and distributed computing, object-oriented technologies, grid computing, semantic grids, agent based computing and service-oriented architectures. On such bases, a variety of EM applications is proposed: 1) parallel FDTD codes (both for antenna analysis and for metamaterial applications), 2) grid computing for computational EM (CEM) (with applications to antenna arrays, wireless and remote-sensing systems) 3) mobile agents for parametric CEM modeling 4) complex/hybrid EM software environments (with applications to planar circuits, quasi-optical systems,…) 5) semantic grids for CAE of antennas arrays.
Advances in Dynamic Games: Applications to Economics, Finance, Optimization, and Stochastic Control
This book focuses on various aspects of dynamic game theory, presenting state-of-the-art research and serving as a guide to the vitality and growth of the field and its applications. The selected chapters, written by experts in their respective disciplines, are an outgrowth of presentations originally given at the 9th International Symposium of Dynamic Games and Applications. Featured throughout are useful tools for researchers and practitioners who use game theory for modeling in many disciplines.
Advances in Diagnostic Imaging : The Value of Contrast-Enhanced Ultrasound for Liver
Takes into account the great impact of new technology on clinical practice for mass liver lesions. Its findings reflect a consensus meeting of experts assembled in order to develop guidelines for the use of ultrasound contrast agents in the diagnosis of liver diseases.
Advances in Cooperative Control and Optimization ; Proceedings of the 7th International Conference on Cooperative Control and Optimization
Each year, the International Conference on Cooperative Control and Optimization (CCO) brings together top researchers from around the world to present new ideas, theories, applications, and advances in the fields of autonomous agents, cooperative systems, control theory, and optimization. The works in this volume are a result of invited papers and selected presentations at the Seventh Annual International Conference on Cooperative Control and Optimization, held in Gainesville, Florida, January 31 – February 2, 2007.The works presented in this book are suitable for faculty, graduate students, and industrial researchers in the fields of optimization, control theory, electrical engineering, computer science, and mathematics.
Advances in Artificial Life ; 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings
This book is organized in topical sections on conceptual articles, morphogenesis and development, robotics and autonomous agents, evolutionary computation and theory, cellular automata, models of biological systems and their applications, ant colony and swarm systems, evolution of communication, simulation of social interactions, self-replication, artificial chemistry, and posters.
Advances in artificial life ; 8th European Conference, ECAL 2005 , Canterbury, UK, September 5-9, 2005, Proceedings
The Artificial Life term appeared more than 20 years ago . Since then the area has developed dramatically, many researchersjoining enthusiastically and research groups sprouting everywhere.a conceptual track, where papers were judged on criteria like importance and/or novelty of the concepts proposed rather than the experimental / theoretical results, has been introduced this year. A conference on a theme as broad as Artificial Life is bound to be very di-verse, but a few tendencies emerged. First, fields like ‘Robotics and Autonomous Agents’ or ‘Evolutionary Computation’are still extremely active and keep onbringing a wealth of results to the A-Life community. Even there, however, new tendencies appear, like collective robotics, and more specifically self-assembling robotics, which represent now a large subsection. Second, new areas appear.‘Morphogenesis and Development’ which used to be the subject of only a fewpapers, is now one of the largest subsections, and seems to be on the brinkof becoming a field of its own. Finally, most classical themes of A-Life re-search like ‘Artificial Chemistry’, ‘Ant-Inspired Systems’, ‘Cellular Automata’,‘Self-Replication’, ‘Social Simulations’ or ‘Bio-realist Simulations’ are still goingstrong and are well represented within this volume.
Advances in artificial intelligence: models, optimization, and machine learning
Contains all the articles accepted and published in the Special Issue “Advances in Artificial Intelligence: Models, Optimization, and Machine Learning” of the MDPI Mathematics journal, which covers a wide range of topics connected to the theory and applications of artificial intelligence and its subfields. These topics include, among others, deep learning and classic machine learning algorithms, neural modelling, architectures and learning algorithms, biologically inspired optimization algorithms, algorithms for autonomous driving, probabilistic models and Bayesian reasoning, intelligent agents and multiagent systems.
Advances in Artificial Intelligence ; Vol. 4013 : 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Quebec City, Quebec, Canada, June 7-9, Proceedings
Constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held at Heraklion, Crete, Greece in May 2006. The 43 revised full papers and extended abstracts of 34 revised short papers presented together with 2 invited contributions were carefully reviewed and selected from 125 submissions. The papers address any area of artificial intelligence; particular fields of interest include; logic programming, knowledge-based systems, intelligent information retrieval, machine learning, neural nets, genetic algorithms, data mining and knowledge discovery, hybrid intelligent systems and methods, intelligent agents, multi-agent systems, intelligent distributed systems, intelligent/natural interactivity, intelligent virtual environments, planning, scheduling, and robotics.
Advances in Artificial Intelligence ; Vol. 3955 : 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings
Constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held at Heraklion, Crete, Greece in May 2006. The 43 revised full papers and extended abstracts of 34 revised short papers presented together with 2 invited contributions were carefully reviewed and selected from 125 submissions. The papers address any area of artificial intelligence; particular fields of interest include; logic programming, knowledge-based systems, intelligent information retrieval, machine learning, neural nets, genetic algorithms, data mining and knowledge discovery, hybrid intelligent systems and methods, intelligent agents, multi-agent systems, intelligent distributed systems, intelligent/natural interactivity, intelligent virtual environments, planning, scheduling, and robotics.
