This book constitutes the refereed proceedings of the 7th Information Agents, CIA 2002, held in Helsinki, Finland in August 2003. The 17 revised full papers and 6 revised short papers presented together with 2 invited papers were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on pervasive information service provision, information agents and peer-to-peer computing, trading and negotiation, information gathering and integration, collaborative search and filtering, collaboration in open environments, trust in agent-based information provision, and information agent systems engineering.

We were very pleased to once again extend to the delegates and, we are pleased to th say, our friends the warmest of welcomes to the 8 International Conference on Knowledge-Based Intelligent Information and Engineering Systems at Wellington - stitute of Technology in Wellington, New Zealand. The KES conferences attract a wide range of interest. The broad focus of the c- ference series is the theory and applications of computational intelligence and em- gent technologies. Once purely a research field, intelligent systems have advanced to the point where their abilities have been incorporated into many conventional appli- tion areas. The quest to encapsulate human knowledge and capabilities in domains such as reasoning, problem solving, sensory analysis, and other complex areas has been avidly pursued. This is because it has been demonstrated that these abilities have definite practical applications. The techniques long ago reached the point where they are being exploited to provide commercial advantages for companies and real beneficial effects on profits. KES 2004 provided a valuable mechanism for delegates to obtain a profound view of the latest intelligent systems research into a range of - gorithms, tools and techniques. KES 2004 also gave delegates the chance to come into contact with those applying intelligent systems in diverse commercial areas. The combination of theory and practice represents a uniquely valuable opportunity for - preciating the full spectrum of intelligent-systems activity and the "state of the art."

The book constitutes the refereed proceedings of the 11th International Conference on Conceptual Structures, ICCS 2003, held in Dresden, Germany in July 2003. The 23 revised full papers presented together with 5 invited papers were carefully reviewed and selected for presentation. The papers are organized in topical sections on the many facets of conceptual structures, logical and linguistic aspects, conceptual representation of time and space, deepening the formal theory and applications of conceptual structures.

The 7th European Conference on Case-Based Reasoning (ECCBR 2004) was held from August 30 through September 2, at the Complutense University of Madrid, Spain. ECCBR was born in Aberdeen, UK (2002), after a series of - ropeanworkshopsheldinTrento,Italy(2000),Dublin,Ireland(1998),Lausanne, Switzerland (1996), Paris, France (1994), and Kaiserslautern, Germany (1993). ECCBR is the premier international forum for researchers and practitioners of case-based reasoning (CBR) in the years interleaving with the biennial inter- tional counterpart ICCBR, whose 5th edition was held in Trondheim, Norway in 2003. The CBR community has shown for years a deep interest in the application of its research to real-world problems. As a result, the ?rst day of both ECCBR and ICCBR has been traditionally dedicated to presenting industrial CBR - plications. ECCBR 2004 Industry Day was co-chaired by Mehmet Goker and Francisco Martin who invited professionals from di?erent ?elds to describe their ?elded CBR systems. The second day of the conference was dedicated to four workshops focusing on the following research interests: CBR in health sciences, explanation in CBR, computational creativity, and CBR applied to time series prediction. We are grateful to the Workshop Program co-chairs, Pablo Gervas and Kalyan Moy Gupta, for their e?orts in coordinating these workshops, along with the individual workshop chairs and participants. Materials from the Ind- try Day and the workshops were published separately and can be obtained from the ECCBR 2004 website, http://www. idt. mdh. se/eccbr/.

This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.

The past two years have seen signi?cant interest and progress made in national and homeland security research in the areas of information technologies, orga- zational studies, and security-related public policy. Like medical and biological research, which is facing signi?cant information overload and yet also trem- dous opportunities for new innovation, the communities of law enforcement, criminal analysis, and intelligence are facing the same challenge. As medical - formatics and bioinformatics have become major ?elds of study, the science of intelligence and security informatics is now emerging and attracting interest from academic researchers in related ?elds as well as practitioners from both government agencies and industry. Broadly de?ned, intelligence and security informatics is the study of the - velopmentanduseofadvancedinformationtechnologiesandsystemsfornational and homeland security related applications, through an integrated technological, organizational, and policy based approach. The First Symposium on Intelligence and Security Informatics (ISI2003) was held in June 2003 in Tucson, Arizona. It provided a stimulating intellectual forum of discussions among previously d- paratecommunities: academicresearchersininformationtechnologies, computer science, public policy, and social studies; local, state, and federal law enfor- ment and intelligence experts; and information technology industry consultants and practitioners. Building on the momentum of ISI2003, we held the Second Symposium on IntelligenceandSecurityInformatics(ISI2004)inJune2004inTucson, Arizona."

Enterprise Systems have been used for many years to integrate technology with the management of an organization but rapid technological disruptions are now creating new challenges and opportunities that require urgent consideration. This book reappraises the implementation and management of Enterprise Systems in the digital age and investigates the vital link between business processes, information technology and the Internet for an organization's competitive advantage and success. This book primarily focuses on the implementation, operation, management and integration of Enterprise Systems with fastemerging disruptive technologies such as blockchains, big data, cryptocurrencies, artificial intelligence, cloud computing, data mining and data analytics. These disruptive technologies are now becoming mainstream and the book proposes several innovations that organizations need to adopt to remain competitive within this rapidly changing landscape. In addition, it examines Enterprise Systems, their components, architecture, and applications and enlightens readers on the benefits and shortcomings of implementing them. This book contains primary research on organizations, case studies, and benchmarks ERP implementation against international best practice.

The papers in this volume are the refereed technical papers presented at ES 2002, the Twenty-second SGAI International Conference on Knowledge Based Systems and Applied Artificial Intelligence, held in Cambridge in December 2002. The papers in this volume present new and innovative developments in the field, divided into sections on Machine Learning, Knowledge Representation and Reasoning, Knowledge Acquisition, Constraint Satisfaction and Scheduling, and Natural Language Processing. This is the nineteenth volume in the Research and Development series. The series is essential reading for those who wish to keep up to date with developments in this important field. The Application Stream papers are published as a companion volume under the title Applications and Innovations in Intelligent Systems X.

Keywords: Artificial Intelligence, Expert Systems, Knowledge-based Systems

Contents: Technical programme chairman's introduction.- Best technical paper.- Session 1a: Machine Learning 1.- Session 1b: Knowledge Representation and Reasoning 1.- Session 2a: Machine Learning 2.- Session 2b: Knowledge Representation and Reasoning 2.-Session 3b: Knowledge representation and Reasoning 3.- Session 4: Constraint satisfaction and Scheduling.- Session 5: Natural Language Processing.

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003. The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002, held in Greenbelt, MD, in October 2002. The 18 revised full papers and 5 poster papers presented together with 9 panel statements and summaries were carefully selected for presentation during two rounds of reviewing and improvement. Among the topics addressed are formal models for agent communication, communication protocols, logic-based agents, statechart frameworks, formal specification of agent interaction, space shuttle applications, automated satellite ground operations, formal verification, agent control, multi-agent coordination, agent languages, mobile agent testing, battlefield agents, XML, autonomous agents, etc.

This book constitutes the refereed proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2002, held in Siguenza, Spain in October 2002. The 20 revised full papers and 14 revised short papers presented together with an invited contribution were carefully reviewed and selected from a total of 110 submissions. The papers address all current issues in knowledge processing and key ingredients for building the semantic web, such as ontologies, knowledge modeling and representation, languages and tools, knowledge management, and knowledge acquisition.

In this book, we present a collection of papers around the topic of Agent- Mediated Knowledge Management. Most of the papers are extended and - provedversions of work presented at the symposium on Agent-Mediated Kno- edge Management held during the AAAI Spring Symposia Series in March 2003 at Stanford University. The aim of the Agent-Mediated Knowledge Management symposium was to bring together researchers and practitioners of the ?elds of KM and agent te- nologiestodiscussthebene?ts, possibilitiesandadded-valueofcross-fertilization. Knowledge Management (KM) has been a predominant trend in bu- ness in recent years. Not only is Knowledge Management an important ?eld of applicationfor AIandrelatedtechniques, suchasCBRtechnologyforintelligent lessons-learned systems, it also provides new challenges to the AI community, like, for example, context-aware knowledge delivery. Scaling up research pro- typestoreal-worldsolutionsusuallyrequiresanapplication-drivenintegrationof several basic technologies, e.g., ontologies for knowledge sharing and reuse, c- laboration support like CSCW systems, and personalized information services. Typical characteristics to be dealt with in such an integration are: - manifold, logically and physically dispersed actors and knowledge sources, - di?erent degrees of formalization of knowledge, - di?erent kinds of (Web-based) services and (legacy) systems, - con?icts between local (individual) and global (group or organizational) goal

This book constitutes the refereed preceedings of the 6th European Conference on Case-Based Reasoning, ECCBR 2002, held in Aberdeen, Scotland, UK in September 2002The 31 revised full research papers and 14 revised application papers presented togehter with 2 invited contributions were carefully reviewed and selected from numerous submissions. All current issues in case-based reasoning, ranging from foundational and methodological issues to advanced applications in various fields are addressed.

This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen, Denmark, in July 2002.The 27 revised full papers and 10 system descriptions presented together with three invited contributions were carefully reviewed and selected from 70 submissions. The book offers topical sections on description logics and the semantic Web, proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC, combination and decision procedures, logical frameworks, model checking, equational reasoning, and proof theory.

This book constitutes the refereed proceedings of the Second International Workshop on Information Processing in Sensor Networks, IPSN 2003, held in Palo Alto, CA, USA, in April 2003. The 23 revised full papers and 21 revised poster papers presented were carefully reviewed and selected from 73 submissions. Among the topics addressed are wireless sensor networks, query processing, decentralized sensor platforms, distributed databases, distributed group management, sensor network design, collaborative signal processing, adhoc sensor networks, distributed algorithms, distributed sensor network control, sensor network resource management, data service middleware, random sensor networks, mobile agents, target tracking, sensor network protocols, large scale sensor networks, and multicast.

The papers in this volume are the Applications papers presented at ES 2001, the Twenty-first SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, held in Cambridge in December 2001.The scope of the Application papers has expanded over recent years to cover not just innovative applications using traditional knowledge based systems, but also to include applications demonstrating the whole range of AI technologies. These papers continue to illustrate the maturity of AI as a commercially viable technology to solve real world problems.This is the eighth volume in the "Applications and Innovations in Intelligent Systems" series. The series serves as a key reference as to how AI technology has enabled organisations to solve complex problems and gain significant business benefits.The Technical Stream papers from ES 2001 are published as a companion volume under the title "Research and Development in Intelligent Systems XVIII".

This book presents 10 chapters on various aspects of intelligent information agents contributed by members of the respective AgentLink special interest group. The papers are organized in three parts on agent-based information systems, adaptive information agents, and coordination of information agents. Also included are a comprehensive introduction and surveys for each of the three parts.

The recent rise of multimedia technology has turned visual communication into an everyday reality and made it necessary to achieve a better understanding of the role of diagrams and sketches in communication and in creative thought and problem-solving.Diagrammatic Representation and Reasoning is a wide-ranging, multidisciplinary overview of this area, covering relevant research in computer science, artificial intelligence, cognitive science and psychology.Key topics include:- Cognitive aspects of diagrammatic information;- Formal methods for computing with diagrams;- Applications of advanced diagrammatic systems.This book is a state-of-the-art survey that will be a valuable resource for researchers and students in the fields of cognitive science, artificial intelligence, human-computer interaction, and graphics and visualisation.

The papers in this volume are the referred Applications papers presented at ES 2002, the Twenty-second SGES international Conference on Knowledge Based Systems and Applied Artificial Intelligence, to be held in Cambridge during December 2002. The Application stream is the largest annual showcase in Europe of real applications using AI technology. Papers presented in this volume describe the application of AI to address real-world problems, including commerce, manufacturing and defence and every major AI technique; and highlight critical areas of success (and failure) and present the benefits and lessons of value to other developers. This is the tenth volume in the Applications and Innovations in Intelligent Systems series. The series serves as a key reference as to how AI technology has enabled organisations to solve complex problems and gain significant business benefits. The Technical Stream papers are published as a companion volume under the title Research and Development in Intelligent Systems XIX.

This book constitutes the refereed proceedings of the 4th International Conference on Knowledge Management, PAKM 2002, held in Vienna, Austria in December 2002. The 54 revised full papers presented were carefully reviewed and selected from 90 submissions. The papers presented are dealing with knowledge management issues in the Internet age from the technological and business points of view as well as from the organizational and cultural viewpoints.

This book constitutes the refereed proceedings of the 4th International Conference on Case-Based Reasoning, ICCBR 2001, held in Vancouver, BC, Canada, in July/August 2001.The 36 revised full research papers and 14 revised full application papers presented together with 3 invited papers were carefully reviewed and selected from 81 submissions. The papers address all current foundational and theoretical aspects of case-based reasoning as well as advanced applications in a variety of fields.

This book constitutes the refereed proceedings of the 9th International Conference on Conceptual Structures, ICCS 2001, held in Stanford, CA, USA in July/August 2001.The 26 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The book offers topical sections on language and knowledge structures, logical and mathematical foundations of conceptual structures, conceptual structures for data and knowledge bases, conceptual structures and meta-data, and algorithms and systems.

This book constitutes the refereed proceedings of the 6th International Workshop on Cooperative Information Agents, CIA 2002, held in Madrid, Spain, in September 2002.The revised papers - 15 full and 8 short - presented together with 4 invited contributions, were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on information agents for mobile computing environments, interaction and negotiation, information gathering and collaborative filtering, agent-based information and knowledge management, agent communication and cooperation, and information agent mobility.

This book constitutes the refereed proceedings of the 10th International Conference on Conceptual Structures, ICCS 2002, held in Borovets, Bulgaria. in July 2002.The 27 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on data and knowledge structures, information retrieval, natural language, ontology and semantics, interfaces and applications, and logical and mathematical foundations.

Multimodal Interfaces represents an emerging interdisciplinary research direction and has become one of the frontiers in Computer Science. Multimodal interfaces aim at efficient, convenient and natural interaction and communication between computers (in their broadest sense) and human users. They will ultimately enable users to interact with computers using their everyday skills. These proceedings include the papers accepted for presentation at the Third International Conference on Multimodal Interfaces (ICMI 2000) held in Beijing, China on 1416 O ctober 2000. The papers were selected from 172 contributions submitted worldwide. Each paper was allocated for review to three members of the Program Committee, which consisted of more than 40 leading researchers in the field. Final decisions of 38 oral papers and 48 poster papers were made based on the reviewers' comments and the desire for a balance of topics. The decision to have a single track conference led to a competitive selection process and it is very likely that some good submissions are not included in this volume. The papers collected here cover a wide range of topics such as affective and perceptual computing, interfaces for wearable and mobile computing, gestures and sign languages, face and facial expression analysis, multilingual interfaces, virtual and augmented reality, speech and handwriting, multimodal integration and application systems. They represent some of the latest progress in multimodal interfaces research.