You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This comparative history of the higher education systems in Poland, East Germany, and the Czech lands reveals an unexpected diversity within East European stalinism. With information gleaned from archives in each of these places, John Connelly offers a valuable case study showing how totalitarian states adapt their policies to the contours of the societies they rule. The Communist dictum that universities be purged of "bourgeois elements" was accomplished most fully in East Germany, where more and more students came from worker and peasant backgrounds. But the Polish Party kept potentially disloyal professors on the job in the futile hope that they would train a new intelligentsia, and Czech...
This book constitutes the refereed proceedings of the 9th International Symposium on Methodologies for Intelligent Systems, ISMIS '96, held in Zakopane, Poland, in June 1996. The 53 revised full papers presented were selected from a total of 124 submissions; also included are 10 invited papers by leading experts surveying the state of the art in the area. The volume covers the following areas: approximate reasoning, evolutionary computation, intelligent information systems, knowledge representation and integration, learning and knowledge discovery, and AI logics.
This book constitutes the refereed proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000, held in Varna, Bulgaria in September 2000.The 34 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on knowledge construction, reasoning under certainty, reasoning under uncertainty, actors and agents, Web mining, natural language processing, complexity and optimization, fuzzy and neural systems, and algorithmic learning.
The 12th Australian Joint Conference on Artificial Intelligence (AI'QQ) held in Sydney, Australia, 6-10 December 1999, is the latest in a series of annual re gional meetings at which advances in artificial intelligence are reported. This series now attracts many international papers, and indeed the constitution of the program committee reflects this geographical diversity. Besides the usual tutorials and workshops, this year the conference included a companion sympo sium at which papers on industrial appUcations were presented. The symposium papers have been published in a separate volume edited by Eric Tsui. Ar99 is organized by the University of New South Wales, and sponsored by the Aus tr...
A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.
The Eighth Scandinavian Conference on Artificial Intelligence continues a tradition of being one of the most important regional AI conferences in Europe. Keith Downing focuses on the low road to artificial intelligence, that is, the development of AI through evolutionary artificial life approaches. The topics of the accepted papers range from multi-agent systems, robots, natural languages and machine learning to general knowledge-based systems and formal approaches to AI. This collection of papers together exemplifies the diversity of research in artificial intelligence today. Two of the invited speakers, both focus on vision, although each from slightly different viewpoints. One considers biological models for vision and its consequences for artificial vision, whereas the other considers the relation between real world objects and their internal representation in robots. The last keynote speaker, presents answer set programming, a new idea for declarative programming.
The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.
The idea of a symposium devoted to the contemporary knowledge of the world of Copernicus - the planetary system - to commemorate the 500th anniversary of his birth, came during the XIV General Assembly of IAU in Brighton. The Executive Committee has approved it in the program of the Extraordinary (Copernicus) General Assembly ofIAU in Poland in 1973. The IAU Symposium No 65 (Copernicus Symposium IV) on the 'Exploration of the Planetary System' was held in Copernicus' native town - Torun, Poland, from 5th to 8th September, 1973 under the auspices of Commissions 16 (Physical Study of Planets and Satellites) and 40 (Radio-astronomy) and the co-sponsorship of COSPAR. There were about 140 invited...
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995. The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.
This volume contains the 137 papers accepted for presentation at the 15th European Conference on Artificial Intelligence (ECAI '02), which is organized by the European Co-ordination Committee on Artificial Intelligence.