Ekspertsystemer og vidensbaserede systemer

Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constellation of cooperating search services, using the ranking and joining of results as the dominant factors for service composition. The field is multi-disciplinary in nature and takes advantage of contributions from other research areas such as knowledge representation, human-computer interfaces, psychology, sociology, economics, and legal sciences. This book, the second in the Search Computing series, describes the evolution of theories, technologies, and methods related to search computing. The book has been divided into eight parts, reflecting the main research directions within the Search Computing project. The parts focus on: search as an information exploration task; interaction design issues when dealing with multi-domain search results; modeling and semantic description of search services; the rank-join problem; query processing techniques and architectures; tools and mashups for application development; the application of search computing to bio-informatics; and the exploitation potentials of project results.

A large international conference on Advances in Machine Learning and Data Analysis was held in UC Berkeley, California, USA, October 22-24, 2008, under the auspices of the World Congress on Engineering and Computer Science (WCECS 2008). This volume contains sixteen revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Expert system, Intelligent decision making, Knowledge-based systems, Knowledge extraction, Data analysis tools, Computational biology, Optimization algorithms, Experiment designs, Complex system identification, Computational modeling, and industrial applications. Advances in Machine Learning and Data Analysis offers the state of the art of tremendous advances in machine learning and data analysis and also serves as an excellent reference text for researchers and graduate students, working on machine learning and data analysis.

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.