Download or read book ECAI 88 written by Bernd Radig and published by Morgan Kaufmann Publishers. This book was released on 1988 with total page 764 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scandinavian Conference on Artificial Intelligence 89 written by Hannu Jaakkola and published by IOS Press. This book was released on 1989 with total page 1006 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Dynamics and Management of Reasoning Processes written by John-Jules Ch. Meyer and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 385 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un certainty Management Systems) which took place in two stages from 1989-1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of 'Dynamics of Rea soning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The present volume presents work done in this context. This work has an emphasis on modelling and formal techniques in the investigation of the topic "Reasoning and Dynamics", but it is not mere theory that occupied us. Rather research was aimed at bridging the gap between theory and practice. Therefore also real-life applications of the modelling techniques were considered, and we hope this also shows in this volume, which is focused on the dynamics of reasoning processes. In order to give the book a broader perspective, we have invited a number of well-known researchers outside the project but working on similar topics to contribute as well. We have very pleasant recollections of the project, with its lively workshops and other meetings, with the many sites and researchers involved, both within and outside our own work package.
Download or read book Intelligent Agents written by Michael J. Wooldridge and published by Springer Science & Business Media. This book was released on 1995-01-26 with total page 1144 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Practice and Theory of Automated Timetabling written by Edmund Burke and published by Springer Science & Business Media. This book was released on 1996-10-02 with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt: Provides detailed information about the signal transduction pathways used by interferons to activate gene transcription. In addition, this book discusses how the same pathways are used by many other cytokines and thus provide a forum for cross-talk among these important biological response modifiers. Additionally, the book introduces the interferon system and describes the interferon-inducible genes whose products are responsible for the cellular actions of interferons. The nature of the interferon receptors and how the transcriptional signals are transmitted from the receptors on the cell surface to the genes in the nucleus are discussed in detail. Finally, the use of similar pathways of signal transduction by other cytokines is highlighted.
Download or read book Machine Learning written by Yves Kodratoff and published by Elsevier. This book was released on 2014-06-28 with total page 836 pages. Available in PDF, EPUB and Kindle. Book excerpt: Machine Learning: An Artificial Intelligence Approach, Volume III presents a sample of machine learning research representative of the period between 1986 and 1989. The book is organized into six parts. Part One introduces some general issues in the field of machine learning. Part Two presents some new developments in the area of empirical learning methods, such as flexible learning concepts, the Protos learning apprentice system, and the WITT system, which implements a form of conceptual clustering. Part Three gives an account of various analytical learning methods and how analytic learning can be applied to various specific problems. Part Four describes efforts to integrate different learning strategies. These include the UNIMEM system, which empirically discovers similarities among examples; and the DISCIPLE multistrategy system, which is capable of learning with imperfect background knowledge. Part Five provides an overview of research in the area of subsymbolic learning methods. Part Six presents two types of formal approaches to machine learning. The first is an improvement over Mitchell's version space method; the second technique deals with the learning problem faced by a robot in an unfamiliar, deterministic, finite-state environment.
Download or read book Truth Maintenance Systems written by João P. Martins and published by Springer Science & Business Media. This book was released on 1991-07-24 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.
Download or read book Logic Program Synthesis and Transformation Meta Programming in Logic written by Laurent Fribourg and published by Springer Science & Business Media. This book was released on 1994-11-30 with total page 468 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
Download or read book Aspects and Prospects of Theoretical Computer Science written by Jürgen Dassow and published by Springer Science & Business Media. This book was released on 1990-11-07 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by internationally distinguished speakers, (2) to provide a possibility for beginners in scientific work to present and discuss their results, and (3) to create an adequate opportunity for establishing first professional relations among the participants.
Download or read book Intelligent CAD Systems III written by Paul J.W. ten Hagen and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains a selection of revised versions of papers presented at the Third Eurographics Workshop on Intelligent CAD Systems, which was held at Hotel Opduin on the island of Texel in The Netherlands, April 3-7, 1989. The workshop theme was Practical Experience and Evaluation. It included five paper presentation sessions, each followed by a discussion. The workshop closed with a general discussion. The book is therefore divided into five parts: design process, system architecture, languages, geometric reasoning, and user interface. A report on the discussion session, written by the session's moderator, concludes each part. These reports are not intended to be exact records of the discussion, but rather the moderators' summary of their contents. The aim of the workshop was to share the experience the participants gained by developing intelligent CAD (Computer Aided Design) systems, and to evaluate the developed systems to determine which features were still lacking. The workshop was organized as the last one in a series of three workshops under the same title. The first workshop focused on theoretical and methodological aspects, resulting in a sound theoretical basis for intelligent CAD systems. Implementational issues were discussed at the second workshop, paying attention to systems developed with reference to this basis. The experience and evaluation showed a dual outcome. Firstly, it resulted in the development of a new generation of intelligent CAD systems. Secondly, it led us to the development of new theories for intelligent CAD.
Download or read book Qualitative Reasoning written by Hannes Werthner and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book provides a survey about the field of Qualitative Reasoning, it contrasts and classifies its approaches and puts them into a common framework. Qualitative Reasoning represents an approach of Artificial Intelligence to model dynamic systems, about which little information is available, and to derive statements about the potential behavior of these systems, putting emphasis on a causal explanation of the behavior. Both variables and relationships between variables are described by means of qualitative terms such as small and large or positive and negative. Since this approach also takes into consideration the way how humans reason about physical systems, it can be stated that Qualitative Reasoning participates in the creation of a cognitive theory of non-numerical process descriptions which can be mapped onto a digital computer. This approach can be used for simulation, diagnosis, design, structure identification and interpretation. Areas of application are physics, medicine, the field of ecology, process control, etc. In addition to the classification of existing methods, the book presents a new approach based on fuzzy sets. And the work relates Qualitative Reasoning with such fields of Expert Systems, System Theory and Cognitive Science.
Download or read book Building Intelligent Electronic Services written by Dietmar Jannach and published by GITO mbH Verlag. This book was released on 2006 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Expert Systems and Robotics written by Timothy Jordanides and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 745 pages. Available in PDF, EPUB and Kindle. Book excerpt: The areas of intelligent machines or robotic systems is of enormous technological and economic interest as competition in productivity intensifies. This volume gives the proceedings of the 1990 Advanced Study Institute on Expert Systems and Robotics. It presents research work already accomplished in the analytical theory of intelligent machines, work in progress and of current interest and some specific examples for further research. The papers in the volume range from the most theoretical to some descriptions of very practical working robots. The papers are organized into sections on vision and image analysis, robotic sensory systems, software/hardware and system simulation, robot control, applications, and reports of group meetings.
Download or read book Focus on Scientific Visualization written by Hans Hagen and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 394 pages. Available in PDF, EPUB and Kindle. Book excerpt: One of the important issues of Scientific Visualization is the utilization of the broad bandwidth of the human sensory system in steering and interpreting complex processes and simulations involving voluminous data sets across diverse scientific disciplines. This book presents the state-of-the-art in visualization techniques both as an overview for the inquiring scientist, and as a solid platform from which developers may extend existing techniques or devise new ones to meet the specific needs of their problems. A secondary goal in crafting this volume has been to provide a vehicle for teaching of state-of-the-art techniques in scientific visualization. The first part of the book covers the application areas fluid flow visualization in medicine, and environmental protection. The second set of chapters explain fundamentals of scientific visualization. It comprises contributions on data structuring and data administration, data modeling, and rendering. A final section is devoted to auditory representation of scientific data.
Download or read book ICDT 90 written by Serge Abiteboul and published by Springer Science & Business Media. This book was released on 1990-12-03 with total page 540 pages. Available in PDF, EPUB and Kindle. Book excerpt: The emergence of new paradigms for data management raises a variety of exciting challenges. An important goal of database theory is to answer these challenges by providing sound foundations for the development of the field. This volume contains the papers selected for the third International Conference on Database Theory, ICDT'90. The conferences in this series are held biannually in beautiful European cities, Rome in 1986 and Bruges in 1988 with proceedings published as volumes 234 and 326 in the same series. ICDT'90 was organized in Paris by the Institut National de Recherche en Informatique et Automatique. The conference features 2 invited presentations and 31 papers selected from 129 submissions. The papers describe original ideas and new results on the foundations of databases, knowledge bases, object-oriented databases, relational theory, transaction management, data structures and deductive databases. The volume offers a good overview of the state of the art and the current trends in database theory. It should be a valuable source of information for researchers interested in the field.
Download or read book Artificial Intelligence written by D. Sleeman and published by Routledge. This book was released on 2019-12-06 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: Originally published in 1992, this title reviews seven major subareas in artificial intelligence at that time: knowledge acquisition; logic programming and representation; machine learning; natural language; vision; the design of an AI programming environment; and medicine, a major application area of AI. This volume was an attempt primarily to inform fellow AI workers of recent European work in AI. It was hoped that researchers in ‘sister’ disciplines, such as computer science and linguistics would gain a deeper understanding of the assumptions, techniques and tools of contemporary AI.
Download or read book Constraint Networks written by Christophe Lecoutre and published by John Wiley & Sons. This book was released on 2013-03-01 with total page 461 pages. Available in PDF, EPUB and Kindle. Book excerpt: A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind, this book provides an accessible synthesis of the author's research and work in this area, divided into four main topics: representation, inference, search, and learning. The results obtained and reproduced in this book have a wide applicability, regardless of the nature of the problem to be solved or the type of constraints involved, making it an extremely user-friendly resource for those involved in this field.
