This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.

Castel Ivano, originally built in 1375, is one of many beautiful and impressive castles strategically placed atop hills in Trentino's Valsugana in Northern Italy. It was in this castle on a series of brilliant sunny crisp November days in 1990 that an international group of computer scientists and cognitive scientists met at a workshop to discuss theoretical and applied issues concerning communi cation from an Artificial Intelligence and Cognitive Science perspective. About forty people, representing nine countries, participated in the workshop, either as speakers, discussants, or observers....

Based on a NATO research workshop on advanced education technology, this volume demonstrates how both children and adults can be introduced to control technology (such as robotics) in an active learning environment in order to develop cross-curricular problem-solving skills.

This book is a collection of some of the papers that werepresented during aNATO Advanced Research Workshop held inKusadasi, Turkey, August 24-28, 1992. Attendance at thisworkshop was mainly by invitation only, drawing peoplerepresenting industry, government and the academiccommunity. Many of the participants were internationallyrecognized leaders in the topic of the workshop.The papers in the volume are grouped in six parts, with abalance of theory and applications. Some papers provideintroductory and overview material as well as reviews of thestate of the art and others provide detail in...

This volume in the NATO Advanced Educational Technologyprogram gives a comprehensive overview of the field ofstudent modelling. Student modelling, a special case of usermodelling, gives an intelligent tutoring system thecapability to individualize its interactions with a student.The book collects together contributions from many of theworld's leading authorities on student modelling. Theyinclude formalists, knowledge engineers, and cognitivescientists, to give the book an interdisciplinary flavourthat enriches the treatment. The editors have written anoverallintroduction that helps to...

This volume deals with the design of computer-integrated manufacturing and production systems from a human-factors perspective. Based on a NATO Advanced Study Institute, it contains contributions from leading experts as well as the edited results of several workshops on the key phases of systems design: specification, design, building, and evaluation. Each phase is discussed from both theoretical and practical points of view.
The contents of the book are organized into four parts: business and enterprise context of human-centred systems; information, communication, interfacing and their...

In the last decade there have been rapid developments in the field of computer-based learning environments. A whole new generation of computer-based learning environments has appeared, requiring new approaches to design and development. One main feature of current systems is that they distinguish different knowledge bases that are assumed to be necessary to support learning processes. Current computer-based learning environments often require explicit representations of large bodies of knowledge, including knowledge of instruction. This book focuses on instructional models as explicit,...

This book discusses the implications of new informationtechnologies and cognitive psychology for mathematicalproblem solving research and practice.Based on a NATOAdvanced Research Workshop held in Portugal in 1991, itoffers both empirical research and theoretical papers.The book includes a thorough discussion on the nature andpurpose of problem solving as a mathematical activity, providing a view of the importance of complementaryactivities such as investigations, conjecturing and problemposing. It focuses on cognitive processes, instruction, classroom processes, and the teacher's role, and...

Distributed memory multiprocessors - parallel computers that consist of microprocessors interconnected in a regular topology - are increasingly being used to solve large problems in many applications. This NATO ASI volume examines the restructuring of computations for such machines.

This volume contains papers on software for high performanceparallel computation. Their purpose is to evaluate thecurrent state of the art in software for parallelcomputation, identify the main factors inhibiting practicalapplications of parallel computers, and suggest possibleremedies. In particular, they focus on parallel software, programming tools, and practical experience of usingparallel computers for solving demanding problems. Criticalissues relative to the practical use of parallel computinginclude: portability, reusability and debugging, parallelization of sequential programs,...