This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial intelligence. Nowadays, logic is not any longer mainly associated to mathematical and philosophical problems. The term applied logic has a far wider meaning, as numerous applications of logical methods, particularly in computer science, artificial intelligence, or formal linguistics, testify. As demonstrated also in this volume, a variety of non-standard logics gained increased importance for knowledge representation and reasoning under uncertainty.
Early Modern Metaphysical Literature illuminates now-obscured aspects of cultural negotiation and denaturalization germane to numerous Metaphysical texts. Examining poetry and prose by Donne, Marvell, Lanyer, Crashaw, and Edward Herbert, this book challenges readers to recognize the provocative strangeness of these writings in their original contexts and today.
This book provides an original analysis of the problems facing global governance and in particular that of one of the most globalised of all industries – shipping. Central to all global trade and its dramatic growth, shipping faces difficulties of governance stemming from its every globalised nature. The current characteristics of global governance – nation-state fixation, anachronistic institutions, inadequate stakeholder involvement and an over-domination of owner interests are dwarfed by the problems of stasis and fixation which means that policies to address problems of safety, the environment and security are inadequate. This book provides a full and wide ranging discussion of how governance can be animated in a global context so that the dynamism of the maritime industry and its problems can be prevented, regulated and understood. Its unique approach to governance makes it essential reading for all maritime policy-makers and those analysing maritime issues, alongside those with an interest in governance in its widest sense.
Building theories of organizations is challenging: theories are partial and "folk" categories are fuzzy. The commonly used tools--first-order logic and its foundational set theory--are ill-suited for handling these complications. Here, three leading authorities rethink organization theory. Logics of Organization Theory sets forth and applies a new language for theory building based on a nonmonotonic logic and fuzzy set theory. In doing so, not only does it mark a major advance in organizational theory, but it also draws lessons for theory building elsewhere in the social sciences. Organizational research typically analyzes organizations in categories such as "bank," "hospital," or "university." These categories have been treated as crisp analytical constructs designed by researchers. But sociologists increasingly view categories as constructed by audiences. This book builds on cognitive psychology and anthropology to develop an audience-based theory of organizational categories. It applies this framework and the new language of theory building to organizational ecology. It reconstructs and integrates four central theory fragments, and in so doing reveals unexpected connections and new insights.
This book studies the international coordination of monetary and fiscal policies in the world economy. It carefully discusses the process of policy competition and the structure of policy cooperation. As to policy competition, the focus is on monetary and fiscal competition between Europe and America. Similarly, as to policy cooperation, the focus is on monetary and fiscal cooperation between Europe and America. The spillover effects of monetary policy are negative while the spillover effects of fiscal policy are positive. The policy targets are price stability and full employment. The policy makers follow either cold-turkey or gradualist strategies. Policy expectations are adaptive or rational. The world economy consists of two, three or more regions. The present book is part of a larger research project on European Monetary Union, see the references at the back of the book. Some parts of this project were presented at the World Congress of the International Economic Association in Lisbon. Other parts were presented at the International Institute of Public Finance, at the Macro Study Group of the German Economic Association, at the Annual Meeting of the Austrian Economic Association, at the Gottingen Workshop on International Economics, at the Halle Workshop on Monetary Economics, at the Research Seminar on Macroeconomics in Freiburg, and at the Passau Workshop on International Economics.
European monetary unification seems to be one of the most important events in international monetary affairs since the breakdown of Bretton Woods. It pos es a major challenge to central banks, governments, and labour unions. It opens up new fields of economic research that are both intriguing and fascinating. European Monetary Union amounts to a switch of regime. Surely the Mundell Fleming model of the open economy does no longer apply to Germany or France. The effects of shocks and policies on output and prices should have changed dramatically in size. Some of them should even work in the opposite direction now. The present book is part of a larger research project on monetary union, see Carlberg (1999, 2000, 2001, 2002, 2003). Some parts of this project were presented at the World Congress of the International Economic Association in Lisbon. Other parts were presented at the Macro Study Group of the German Economic Association, at the Annual Meeting of the Austrian Economic Association in Klagenfurt, at the Pass au Workshop on International Economics, at the Halle Workshop on Monetary Economics, and at the Research Seminar on Macroeconomics in Freiburg. Moreover, book reviews were published in the Economic Journal, Kyklos, the Journal of Economics, and the Journal of Economics and Statistics.
This volume coherently present 24 thoroughly revised full papers accepted for the ECAI-94 Workshop on Agent Theories, Architectures, and Languages. There is currently considerable interest, from both the AI and the mainstream CS communities, in conceptualizing and building complex computer systems as collections of intelligent agents. This book is devoted to theoretical and practical aspects of architectural and language-related design and implementation issues of software agents. Particularly interesting is the comprehensive survey by the volume editors, which outlines the key issues and indicates, via a comprehensive bibliography, topics for further reading. In addition, a glossary of key terms in this emerging field and a comprehensive subject index is included.
In a world of organizations that are in constant change scholars have long sought to understand and explain how they change. This book introduces research methods that are specifically designed to support the development and evaluation of organizational process theories. The authors are a group of highly regarded experts who have been doing collaborative research on change and development for many years.
Autonomous, Model-Based Diagnosis Agents defines and describes the implementation of an architecture for autonomous, model-based diagnosis agents. It does this by developing a logic programming approach for model-based diagnosis and introducing strategies to deal with more complex diagnosis problems, and then embedding the diagnosis framework into the agent architecture of vivid agents. Autonomous, Model-Based Diagnosis Agents surveys extended logic programming and shows how this expressive language is used to model diagnosis problems stemming from applications such as digital circuits, traffic control, integrity checking of a chemical database, alarm-correlation in cellular phone networks, diagnosis of an automatic mirror furnace, and diagnosis of communication protocols. The book reviews a bottom-up algorithm to remove contradiction from extended logic programs and substantially improves it by top-down evaluation of extended logic programs. Both algorithms are evaluated in the circuit domain including some of the ISCAS85 benchmark circuits. This comprehensive in-depth study of concepts, architectures, and implementation of autonomous, model-based diagnosis agents will be of great value for researchers, engineers, and graduate students with a background in artificial intelligence. For practitioners, it provides three main contributions: first, it provides many examples from diverse areas such as alarm correlation in phone networks to inconsistency checking in databases; second, it describes an architecture to develop agents; and third, it describes a sophisticated and declarative implementation of the concepts and architectures introduced.
This book studies interactions between monetary and wage policies in the Euro area, closely reviewing and discussing the process of policy competition and the structure of policy cooperation. On policy competition, the book focuses on competition between the European central bank, the American central bank, the German labour union, and the French labour union. As to policy cooperation, the focus is on the same institutions. Includes numerical simulations and solutions.
This book deals with international growth, featuring the dynamics of foreign debt and domestic capital. It proves useful to consider the Solow model, the overlapping generations model and the infinite horizon model. Phase diagrams serve to trace out the processes of adjustment induced by various shocks. Take for instance an increase in the saving rate, a rise in the rate of labour growth, or a one-time technical progress. What will be the effects on the balance of payments, the foreign position, the stock of capital, and consumption? The first chapter is concerned with the small open economy, chapter II is on large countries. In chapter III capital mobility is restricted, in chapter IV labour mobility is introduced, in chapter V wages are fixed, and in chapter VI growth becomes endogenous.
The 50th volume of Progress in Botany appears in new guise. In cooperation with Springer-Verlag we have changed from the less attractive typewriter composition to the direct reproduction of a manuscript which was writ ten by means of a text editing system and produced by a laser printer. We, the editors, should like to take the appearance of Volume 50 as the occasion for a few short remarks. Our younger readers are perhaps not aware that our Book Series was founded in 1931 by Fritz von Wettstein, based on the following thoughts and considerations, aptly formulated by him in the Preface to the first volume. "One of the greatest dangers threatening progress in the science of botany is the absolutely unbelievable growth in volume of the literature. The quality of journals, books and individual works that are daily sent to us makes it impossible for anyone person to maintain a general view of the progress made in botany in all the specialized fields, let alone to find time for results from associated su bjects. For varying reasons, every botanist must find this state of matters insupportable. Let us endeavor, in the general interest, to retain a wide background of knowledge, and not become limited specialists. The vitally necessary connections between the specialized fields can only flourish, or even exist, if the general view of botany as a whole can be maintained.
This book studies the interactions between monetary and fiscal poUcies in the euro area. It carefully discusses the process of policy competition and the structure of policy cooperation. As to policy competition, the focus is on competition between the European central bank, the American central bank, the German government, and the French government. As to policy cooperation, the focus is on the same institutions. These are higher-dimensional issues. The pohcy targets are price stability and full employment. The policy makers follow co- turkey or gradualist strategies. The policy decisions are taken sequentially or simultaneously. Monetary and fiscal policies have spillover effects. Special features of this book are numerical simulations of policy competition and numerical solutions to policy cooperation. The present book is part of a larger research project on European Monetary Union, see the references at the back of the book. Some parts of this project were presented at the World Congress of the International Economic Association. Other parts were presented at the International Conference on Macroeconomic Analysis, at the International Institute of Public Finance, at the Macro Study Group of the German Economic Association, at the Annual Meeting of the Austrian Economic Association, at the Gottingen Workshop on International Economics, at the Halle Workshop on Monetary Economics, at the Research Seminar on Macroeconomics in Freiburg, and at the Passau Workshop on International Economics.
This book is based on the second International Workshop on Agent Theories, Architectures, and Languages, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95 in Montreal, Canada in August 1995. The 26 papers are revised final versions of the workshop presentations selected from a total of 54 submissions; also included is a comprehensive introduction, a detailed bibliography listing 355 relevant publications, and a subject index. The book is structured into seven sections, reflecting the most current major directions in agent-related research. Together with its predecessor, Intelligent Agents, published as volume 890 in the LNAI series, this book provides a timely and comprehensive state-of-the-art report.
Sensor Technologies: Healthcare, Wellness and Environmental Applications explores the key aspects of sensor technologies, covering wired, wireless, and discrete sensors for the specific application domains of healthcare, wellness and environmental sensing. It discusses the social, regulatory, and design considerations specific to these domains. The book provides an application-based approach using real-world examples to illustrate the application of sensor technologies in a practical and experiential manner. The book guides the reader from the formulation of the research question, through the design and validation process, to the deployment and management phase of sensor applications. The processes and examples used in the book are primarily based on research carried out by Intel or joint academic research programs. “Sensor Technologies: Healthcare, Wellness and Environmental Applications provides an extensive overview of sensing technologies and their applications in healthcare, wellness, and environmental monitoring. From sensor hardware to system applications and case studies, this book gives readers an in-depth understanding of the technologies and how they can be applied. I would highly recommend it to students or researchers who are interested in wireless sensing technologies and the associated applications.” Dr. Benny Lo Lecturer, The Hamlyn Centre, Imperial College of London “This timely addition to the literature on sensors covers the broad complexity of sensing, sensor types, and the vast range of existing and emerging applications in a very clearly written and accessible manner. It is particularly good at capturing the exciting possibilities that will occur as sensor networks merge with cloud-based ‘big data’ analytics to provide a host of new applications that will impact directly on the individual in ways we cannot fully predict at present. It really brings this home through the use of carefully chosen case studies that bring the overwhelming concept of 'big data' down to the personal level of individual life and health.” Dermot Diamond Director, National Centre for Sensor Research, Principal Investigator, CLARITY Centre for Sensor Web Technologies, Dublin City University "Sensor Technologies: Healthcare, Wellness and Environmental Applications takes the reader on an end-to-end journey of sensor technologies, covering the fundamentals from an engineering perspective, introducing how the data gleaned can be both processed and visualized, in addition to offering exemplar case studies in a number of application domains. It is a must-read for those studying any undergraduate course that involves sensor technologies. It also provides a thorough foundation for those involved in the research and development of applied sensor systems. I highly recommend it to any engineer who wishes to broaden their knowledge in this area!" Chris Nugent Professor of Biomedical Engineering, University of Ulster
This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial intelligence. Nowadays, logic is not any longer mainly associated to mathematical and philosophical problems. The term applied logic has a far wider meaning, as numerous applications of logical methods, particularly in computer science, artificial intelligence, or formal linguistics, testify. As demonstrated also in this volume, a variety of non-standard logics gained increased importance for knowledge representation and reasoning under uncertainty.
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.