AIICSR '97 (Artificial Intelligence and Information-Control Systems of Robots) is one of the most traditional East-West professional meetings devoted to artifical intelligence (AI) and its applications in robots. The themes of the conference are aimed at the issues of AI theory and applications. The conference is devoted to the development and philosophical reflections of AI, and presents the most important topics, such as knowledge discovery and data mining, and study of context. In addition to robots, AI has created softbots — software robots working in a complex information environment. The WWW has become the most exciting application of AI. Further important topics in this volume include formal modelling of reactive systems, development of parallel and distributed computer architectures, declarative programming, agent societies and other fields, from which theoretical results in computer vision and its applications in robotics deserve special attention.

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.

This is a model of practice in which service providers work with service users in the provision of social care services, in effect, a working partnership. This book explores the theory and practice of this developing innovative practice in social work and related fields.

These proceedings are devoted to communicating significant developments in all areas pertinent to Parallel Symbolic Computation.The scope includes algorithms, languages, software systems and application in any area of parallel symbolic computation, where parallelism is interpreted broadly to include concurrent, distributive, cooperative schemes, and so forth.