Presents recent breakthroughs in the theory, methods, and applications of safety and risk analysis for safety engineers, risk analysts, and policy makers Safety principles are paramount to addressing structured handling of safety concerns in all technological systems.  Meer

Formal representations of values and norms are employed in several academic disciplines and specialties, such as economics, jurisprudence, decision theory and social choice theory.  Meer

Formal representations of values and norms are employed in several academic disciplines and specialties, such as economics, jurisprudence, decision theory and social choice theory.  Meer

The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases.  Meer

The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases.  Meer

This Element offers a broad perspective on responsibility for health. This includes responsibilities in the prevention of disease and accidents, and in the creation of healthcare for all.  Meer

This volume is the first extensive study of the historical and philosophical connections between technology and mathematics. Coverage includes the use of mathematics in ancient as well as modern technology, devices and machines for computation, cryptology, mathematics in technological education, the epistemology of computer-mediated proofs, and the relationship between technological and mathematical computability.  Meer

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined.  Meer

This book provides a critical examination of how the choice of what to believe is represented in the standard model of belief change. In particular the use of possible worlds and infinite remainders as objects of choice is critically examined.  Meer

This volume is the first extensive study of the historical and philosophical connections between technology and mathematics. Coverage includes the use of mathematics in ancient as well as modern technology, devices and machines for computation, cryptology, mathematics in technological education, the epistemology of computer-mediated proofs, and the relationship between technological and mathematical computability.  Meer

The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human beliefs and to the contents of databases.  Meer

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions.  Meer

This edited volume explores the interplay between philosophies in a wide-ranging analysis of how technological applications in science inform our systems of thought.  Meer

This edited volume explores the interplay between philosophies in a wide-ranging analysis of how technological applications in science inform our systems of thought.  Meer

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions.  Meer