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 contains a cohesive, self-contained collection of theoretical and applied research results that have been achieved in this project which pertain to nonmonotonic and approximate easoning systems developed for an experimental unmanned aerial vehicle system used in the project. This book should be of interest to the theoretician and applied researcher alike and to autonomous system developers and software agent and intelligent system developers.
This book covers in a great depth the fast growing topic of tools, techniques and applications of soft computing (e.g., fuzzy logic, genetic algorithms, neural networks, rough sets, Bayesian networks, and other probabilistic techniques) in the ontologies and the Semantic Web. The author shows how components of the Semantic Web (like the RDF, Description Logics, ontologies) can be covered with a soft computing methodology.
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.
None
This book constitutes the refereed proceedings of the 21st International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2008, held in Wroclaw, Poland, in June 2008. The 75 revised full papers presented were carefully reviewed and selected from 302 submissions. The papers are organized in topical sections on computer vision, fuzzy system applications, robot and manufacturing, data mining and KDS, neural networks, machine learning, natural language processing, internet application and education, heuristic search, application systems, agent-based system, evolutionary and genetic algorithms, knowledge management, and other applications. The book concludes with 15 contributions from the following special sessions: knowledge driven manufacturing systems, joint session on adaptive networked systems and fuzzy knowledge bases, and software agents and multi-agent systems.
Invited papers; knowledge representation and automated reasoning; tutoring systems; machine learning; neural networks; distributed AI; knowledge acquisition and knowledge bases; posters.
This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others.