Kees Doets

  • From Logic to Logic Programming

    From Logic to Logic Programming

    Kees Doets

    This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described. No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic.

    • Hardcover $10.75

Contributor

  • The Minimum Means of Reprisal

    The Minimum Means of Reprisal

    China's Search for Security in the Nuclear Age

    Jeffrey Lewis

    An analysis of China's nuclear and space capabilities, deployment strategies, and stance in arms control negotiations, and the implications for U.S. defense strategy.

    InThe Minimum Means of Reprisal, Jeffrey Lewis examines China's nuclear and space capabilities and deployment strategies, as well as the Chinese government's stance in arms control negotiations. Lewis finds that Chinese officials hold a "restrained view" about the role of nuclear weapons in national security and maintain a limited nuclear capacity sufficient to deter attack but not large enough for control of these weapons to be compromised.

    The future of cooperative security arrangements in space will depend largely on the U.S.-Chinese relationship, and Lewis warns that changes in U.S. defense strategy, including the weaponization of space, could signal to China that its capabilities are not sufficient to deter the United States from the use of force. Such a shift could cause China to reconsider its use of restraint in nuclear strategy, further damaging the already weakened arms control regime and increasing the nuclear threat to the United States and the world.

    • Hardcover $12.75
    • Paperback $30.00
  • Statehood and Security

    Statehood and Security

    Georgia after the Rose Revolution

    Bruno Coppieters and Robert Legvold

    The former Soviet state of Georgia threw off its corrupt and undemocratic government in the "Rose Revolution" of November, 2003. Today, the new government under President Mikheil Saaskashvili faces complex security problems both within and outside Georgia's borders. Statehood and Security looks at the many different layers of these challenges and explores the complicated ways they intersect and influence one another. It argues that Georgia's problems need to be taken seriously by the rest of the world and considers what Georgia, its regional neighbors, and the West can do—within the realm of the politically feasible—to improve the situation in ways that enhance the security of all concerned.

    For Georgia, as for the other post-Soviet states, security begins at home. Internal conflicts, including the intractable issue of the reintegration of breakaway Abkhazia and South Ossetia, threaten Georgia's territorial integrity. Regional conflict—including the quasi-state of war between Armenia and Azerbaijan and the effect of the ongoing Chechen insurgency on Russia—defines Georgia's relations with its neighbors and distracts it from its internal problems. The chapters in Statehood and Security, written by both Georgian and non-Georgian authors, examine such topics as Georgian national identity; the inefficacy of state institutions because of corruption, criminal activity, and paramilitary groups; Georgia's troubled relationship with Russia, including Russia's role in Abkhazia; and the role of the West.

    • Hardcover $11.75
    • Paperback $24.00
  • The Russian Military

    The Russian Military

    Power and Policy

    Steven E. Miller and Dmitri Trenin

    Russian military capacity remains a major consideration for global security even in the post-Soviet era. This book assesses today's Russian military and analyzes its possible future direction. The contributors—experts on the subject from both Russia and the West—consider not only how Russia has built its military capacity but also the policies and doctrines that have shaped Russia's defense posture. They discuss such topics as the downsizing of the Russian military, Russia's use of military power in regional conflicts, and the management of Russia's nuclear weapons.

    For more than a decade, Russian leaders have struggled to formulate security and defense policies that protect Russia's borders and project Russia's influence. The contributors to The Russian Military find that the choices Russian leaders have made have been significantly influenced by the military reforms Russia has attempted to implement since the collapse of the Soviet Union. The protracted and intense debate over military reform has been—and will continue to be—decisive in shaping Russian military capacity.

    • Hardcover $11.75
    • Paperback $27.00
  • Swords and Sustenance

    Swords and Sustenance

    The Economics of Security in Belarus and Ukraine

    Robert Legvold and Celeste A. Wallander

    The stability of the former Soviet states is threatened by their precarious geopolitical position within a turbulent economic and political environment. Swords and Sustenance explores the complex economic dimension of national security for two key post-Soviet countries, Belarus and Ukraine—that is, how they have dealt with the challenges posed by internal economic and political reform and their relationships with Russia and the West.

    The book first examines how differing commitments to economic and political reform (reform is largely absent in Belarus) affect Belarusian and Ukrainian approaches to security. It then considers the central role of Russia, and how Russian interests and policies toward Belarus and Ukraine limit the two countries' foreign and domestic policy choices. Two chapters discuss the national security implications for Belarus and Ukraine of two key economic factors in their foreign policy: energy trade (in the form of oil, gas, and pipelines) and military-industrial cooperation (including the sale of arms). Finally, the book considers the relationships of Belarus and Ukraine with regional and global institutions and explores the policies of the EU, NATO, and the United States toward Belarus and Ukraine.

    • Hardcover $10.75
    • Paperback $24.00
  • Thinking Strategically

    Thinking Strategically

    The Major Powers, Kazakhstan, and the Central Asian Nexus

    Robert Legvold

    More than ten years after the breakup of the Soviet Union, none of the major powers, including Russia, has developed a cohesive geopolitical strategy for dealing with the countries and regions that once made up the USSR. Even after September 11 and the sudden importance of Central Asia in the struggle against global terrorism, the United States continues to deal with the region in fragmented and incomplete ways. Thinking Strategically, the first volume in a series focusing on security challenges posed by the former Soviet Union, addresses the economic, political, and security interests at stake in Kazakhstan for Russia, the US, China, Europe, and Japan.Kazakhstan presents an interesting case study both because of its role as a pivot point between Russia and the world beyond and because of its position in Central Asia. The contributors to this book call it variously a buffer, a meeting place, a bridge, a gateway, and a strategic arena. Because of its internal problems—which include great economic uncertainty despite vast oil wealth, a disintegrating infrastructure, and the potential for internal instability—and its geopolitical position, Kazakhstan and the region of Central Asia present a complex set of opportunities and dangers for the major powers.The authors of each chapter, who come from Russia, the United States, China, the United Kingdom, Japan, and Kazakhstan, address the security challenges posed by Kazakhstan and Central Asia from the point of view of their respective countries or regions. From the Russian perspective, for example, Kazakhstan itself is central—as a bulwark against instability and a close economic partner—and Central Asia subordinate; other countries tend to view the entire Central Asia region strategically.

    • Hardcover $14.75
    • Paperback $27.00