Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars an
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design
In recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java enjoy wide use in academia and industry. This te
This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly
The Structure of Typed Programming Languages describes the fundamental syntactic andsemantic features of modern programming languages, carefully spelling out their impacts on languagedesign. Using cla
Concurrent Constraint Programming introduces a new and rich class of programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.This intr
Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional instructio
This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of com
This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of com
A new edition of the essential text and professional reference, with substantial newmaterial on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-baseflow.
Camouflage is an adaptive logic of escape from photographic representation. InHide and Seek, Hanna Rose Shell traces the evolution of camouflage as itdeveloped in counterpoint to technological advance
This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an explo
In 1969, John McCarthy and Pat Hayes uncovered a problem that has haunted the field of artificial intelligence ever since--the frame problem. The problem arises when logic is used to describe the effe
Designed for undergraduates, An Introduction to High-Performance Scientific Computing assumes a basic knowledge of numerical computation and proficiency in Fortran or C programming and can be used in
The Formal Semantics of Programming Languages provides the basic mathematicaltechniques necessary for those who are beginning a study of the semantics and logics of programminglanguages. These techniq
The research reported in this book fulfills both a general and a specific purpose. Linear programming models are developed in order to improve the process of planning for economic development, both sh
At the heart of medical history is a deep enigma.The true structure and workings ofthe human body are, we casually assume, everywhere the same, a universal reality. But then we lookinto the past, and
This book describes in detail the relationship between symbolic representations of knowledge and abstract states of knowledge, exploring along the way the foundations of knowledge, knowledge bases, kn
Drawing on recent computer and cognitive science, Mitchell (architecture, Harvard) explores the languages of architectural form and graphic composition to illuminate the underlying concepts of design.
Foreword by Bjarne Stroustrup Software is generally acknowledged to be the single greatest obstacle preventing mainstream adoption of massively-parallel computing. While sequential applications are ro
A fascinating account, written in real time, of the unfolding of a scientific discovery: the first detection of gravitational waves.Scientists have been trying to confirm the existence of gravitationa
A study of the labor market integration of highly skilled Soviet immigrants to Israel that formulates dynamic models of job search and human capital investment. After the collapse of the Soviet Unio
Certain ideas have preoccupied thinkers since ancient times: the nature of mind, thesources of knowledge and belief, the nature of the self, ethics and the best way to lead our lives,the question of f
An analysis of the effect of public pension schemes on a country's fertility rate and a proposal for policies to reform pension coverage in light of this. The rapidly aging populations of many devel
Exploring the thought of Mulla Sadra Shirazi, an Iranian Shi'ite of the seventeenthcentury: a universe of politics, morality, liberty, and order that is indispensable to ourunderstanding of Islamic th
More than a simple expository history, A Thousand Years of Nonlinear History sketches the outlines of a renewed materialist philosophy of history in the tradition of Fernand Braudel, Gilles Deleuze,
Ed Ruscha is among the most innovative artists of the last forty years. He is also one of the first Americans to introduce a critique of popular culture and an examination of language into the visual
This book presents in detail a pair of models of the economics of climate change. The models, called RICE-99 (for the Regional Dynamic Integrated model of Climate and the Economy) and DICE-99 (for the
The five chapters of this book collect and illustrate techniques that have beenapplied to the prediction of reliability and availability of the various specific segments of anelectric power system. Th
The work of Alois Riegl (1858-1905) has been highly influential in art history of the modern age. Riegl, the most important member of the so-called Vienna School, developed a refined technique of vis
A common theme of this set of thirteen essays by one of the major figures in contemporary German philosophy is the idea of a postmetaphysical modernity. In his preface Wellmer relates the title of his
Passive Cooling addresses all of the existing creative energyless means of keeping buildings cool. Passive Cooling addresses all of the existing creative energyless means of keeping buildings cool.
Richard H. Day was one of the first economists to recognize the importance of complex dynamics, or chaos theory, to economics. He can justly be described as one of the originators of the now extensive
Lively, sometimes contrary policy writings by one of our leading economists. Winner of the 1998 Eccles Prize for Excellence in EconomicWritingA Stream of Windows offers a selection of Jagdish Bhagwa
In this groundbreaking work, Ariella Azoulay provides a compelling rethinking of the political and ethical status of photography. In her extraordinary account of the "civil contract" of pho
The greatest strength of this thoroughly revised and expanded edition of Lectures onInternational Trade is its rigorous algebraic and geometric treatment of the various models andresults of trade theo
The chapters of this volume evaluate models of the short-term retention of knowledge,conceptual knowledge, autobiographical knowledge, transitory mental representations, theneurobiological basis of me
