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
This book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs
Recent progress in VLSI provides massive parallelism but general purpose parallel computers remain elusive due to limited communications performance. This book proposes a new high level approach to pr
From the Preface: This book represents the implementation of a decision adopted by the Council of the National Academy of Sciences relating to the celebration of the 500th anniversary of the birth of
How information can make us happy or miserable, and why we sometimes avoid it and sometimes seek it out.How much information is too much? Do we need to know how many calories are in the giant vat of p
An introductory engineering textbook by an award-winning MIT professor that covers the history of dynamics and the dynamical analyses of mechanical, electrical, and electromechanical systems. This i
A panoramic view of gay rights, gay life, and the gay experience around the world.In Global Gay, Frédéric Martel visits more than fifty countries and documents a revolution underway around the world:
An investigation of the syntax and semantics of wh-questions through the lens of intervention effects, offering a new proposal on overt and covert wh-movement. In this book, Hadas Kotek investigates
How the planet's two largest greenhouse gas emitters navigate climate policy. The United States and China together account for a disproportionate 45 percent of global carbon dioxide emissions. In 20
Converging and diverging views on the mind, the self, consciousness, the unconscious, free will, perception, meditation, and other topics.Buddhism shares with science the task of examining the mind em
A multidisciplinary examination of alternative framings of environmental problems, with using examples from forest, water, energy, and urban sectors. Does being an environmentalist mean caring about
A roadmap for integrating mindfulness into every aspect of social change: how to lead transformation with compassion for the needs and perspectives of all people.Gretchen Steidle knows first-hand the
Why policies should be based on careful consideration of their costs and benefits rather than on intuition, popular opinion, interest groups, and anecdotes.Opinions on government policies vary widely.
A comprehensive introduction to Support Vector Machines and related kernel methods. In the 1990s, a new type of learning algorithm was developed, based on results from statistical learning theory: t
The long-awaited new edition of a groundbreaking work on the impact of alternative concepts of space on modern art.In this groundbreaking study, first published in 1983 and unavailable for over a deca
Innovative artists in 1960s Japan who made art in the "wilderness" -- away from Tokyo, outside traditional norms, and with little institutional support -- with global resonances.1960s Japan was one of
Norbert Wiener's celebrated autobiography, available for the first time in one volume. Norbert Wiener -- A Life in Cybernetics combines for the first time the two volumes of Norbert Wiener's celebrate
Questions about the physical world, the mind, and technology in conversations that reveal a rich seam of interacting ideas.Science today is more a process of collaboration than moments of individual "
Essays, research, and art projects that formulate a Tidalectic worldview, addressing our most threatened ecosystem: the oceans.The oceans cover two-thirds of the planet, shaping human history and cult
