Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may encounter, proposing various methods for solving them. The basic material is presented in depth; advanced material, involving new logic grammar formalisms and applications, is presented with a view towards breadth. Major sections of the book include: grammars for formal language and linguistic research, writing a simple logic grammar, different types of logic grammars, applications, and logic grammars and concurrency. This book is intended for those interested in logic programming, artificial intelligence, computational linguistics, Fifth Generation computing, formal languages and compiling techniques. It may be read profitably by upper-level undergraduates, post-graduate students, and active researchers on the above-named areas. Some familiarity with Prolog and logic programming would be helpful; the authors, however, briefly describe Prolog and its relation to logic grammars. After reading Logic Grammars, the reader will be able to cope with the ever-increasing literature of this new and exciting field.

Covers topics in philosophy, psychology, and scientific methods. Vols. 31- include "A Bibliography of philosophy," 1933-

This volume challenges prevailing understanding of the two great founders of sociological thought. In a detailed and systematic way the author demonstrates how Marx and Durkheim gradually developed the fundamental frameworks for sociological materialism and idealism. While most recent interpreters of Marx have placed alienation and subjectivity at the centre of his work, Professor Alexander suggests that it was the later Marx’s very emphasis on alienation that allowed him to avoid conceptualizing subjectivity altogether. In Durkheim’s case, by contrast, the author argues that such objectivist theorizing informed the early work alone, and he demonstrates that in his later writings Durkheim elaborated an idealist theory that used religious life as an analytical model for studying the institutions of secular society.

Since her death in 1986 and the publication of her letters and diaries in 1990, interest in the philosophy of Simone de Beauvoir has increased. An international group of philosophers present 16 essays that reveal Beauvoir as one of the century's most important and influential thinkers.

How Hegel proves the truth of logic by examining the dynamics of lived experience.