EPIA'91

EPIA'91 PDF

Author: Pedro Barahona

Publisher: Springer Science & Business Media

Published: 1991-09-23

Total Pages: 308

ISBN-13: 9783540545354

DOWNLOAD EBOOK →

The Portuguese Association for Artificial Intelligence has been organizing Portuguese Conferences on Artificial Intelligence, now held every second year, since 1985. This volume contains selected papers from the Fifth Conference on Artificial Intelligence. The conference has an international status: 62 contributions from 13 countries were received, of which 26 were from Portugal. To guarantee a high scientific standard, all the contributions were reviewed by at least three researchers,and only 20 papers were accepted and included in these proceedings. The papers are organized into sections on constraints, search, knowledge representation, temporal reasoning, planning, diagnosis and repair, and learning.

Logics in Artificial Intelligence

Logics in Artificial Intelligence PDF

Author: Craig MacNish

Publisher: Springer Science & Business Media

Published: 1994-08-10

Total Pages: 436

ISBN-13: 9783540583325

DOWNLOAD EBOOK →

This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision.

Fuzzy Control

Fuzzy Control PDF

Author: Rainer Hampel

Publisher: Springer Science & Business Media

Published: 2013-06-02

Total Pages: 413

ISBN-13: 3790818410

DOWNLOAD EBOOK →

The present edited volume is of special importance, and for various reasons. First of all, it is one of the most comprehensive and multifaceted coverage of broadly per ceived fuzzy control in the literature. The editors have succeeded to collect papers from leading scholars and researchers on various subjects related to the topic of the volume. What is relevant and original is that - as opposed to so many volumes on fuzzy control published by virtually all major publishing houses that are strongly technically oriented and covering a narrow spectrum of issues relevant to fuzzy con trol itself - the editors have adopted a more general and far sighted approach. Basically, the perspective assumed in the volume is that though fuzzy control has reached such a level of maturity and implementability that it has become a part of in dustrial practice, science and academic research still have a relevant role to play in this area. One should however take into account that by their very nature, the role of science and academic research is very peculiar and going beyond straightforward ap plications, ad hoc solutions, "quick and dirty" tools and techniques, etc. that are usu ally effective and efficient for solving practical problems. This does not mean that as pects of practical implementations should not be accounted for by scholars and re searchers.

Human and Machine Perception 3

Human and Machine Perception 3 PDF

Author: Virginio Cantoni

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 247

ISBN-13: 1461513618

DOWNLOAD EBOOK →

The following are the proceedings of the Fourth International Workshop on Human and Machine Perception held in Palermo, Italy, on June 20 -23, 2000, under the auspices of three Institutions: the Cybernetic and Biophysics Group (GNCB) of the Italian National Research Council (CNR) and the two Inter-Department Centers of Cognitive Sciences of Palermo and Pavia University respectively. A broad spectrum of topics are covered in this series, ranging from computer perception to psychology and physiology of perception. The theme of this workshop on Human and Machine Perception was focused on Thinking, Deciding, and Acting. As in the past editions the final goal has been the analysis and the comparison of biological and artificial solutions. The focus of the lectures has been on presenting the state-of-the-art and outlining open questions. In particular, they sought to stress links, suggesting possible synergies between the different cultural areas. The panel discussion has been conceived as a forum for an open debate, briefly introduced by each panelist, and mainly aimed at deeper investigation of the different approaches to perception and strictly related topics. The panelists were asked to prepare a few statements on hot-points as a guide for discussion. These statements were delivered to the participants together with the final program, for a more qualified discussion.

Resolution Methods for the Decision Problem

Resolution Methods for the Decision Problem PDF

Author: C. Fermüller

Publisher: Springer Science & Business Media

Published: 1993-07-29

Total Pages: 220

ISBN-13: 9783540567325

DOWNLOAD EBOOK →

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.

Machine Learning: ECML-93

Machine Learning: ECML-93 PDF

Author: Pavel B. Brazdil

Publisher: Springer Science & Business Media

Published: 1993-03-23

Total Pages: 492

ISBN-13: 9783540566021

DOWNLOAD EBOOK →

This volume contains the proceedings of the Eurpoean Conference on Machine Learning (ECML-93), continuing the tradition of the five earlier EWSLs (European Working Sessions on Learning). The aim of these conferences is to provide a platform for presenting the latest results in the area of machine learning. The ECML-93 programme included invited talks, selected papers, and the presentation of ongoing work in poster sessions. The programme was completed by several workshops on specific topics. The volume contains papers related to all these activities. The first chapter of the proceedings contains two invited papers, one by Ross Quinlan and one by Stephen Muggleton on inductive logic programming. The second chapter contains 18 scientific papers accepted for the main sessions of the conference. The third chapter contains 18 shorter position papers. The final chapter includes three overview papers related to the ECML-93 workshops.

Foundations of Knowledge Representation and Reasoning

Foundations of Knowledge Representation and Reasoning PDF

Author: Gerhard Lakemeyer

Publisher: Springer Science & Business Media

Published: 1994-06-28

Total Pages: 372

ISBN-13: 9783540581079

DOWNLOAD EBOOK →

The papers collected in this book cover a wide range of topics in asymptotic statistics. In particular up-to-date-information is presented in detection of systematic changes, in series of observation, in robust regression analysis, in numerical empirical processes and in related areas of actuarial sciences and mathematical programming. The emphasis is on theoretical contributions with impact on statistical methods employed in the analysis of experiments and observations by biometricians, econometricians and engineers.

Extensions of Logic Programming

Extensions of Logic Programming PDF

Author: Roy Dyckhoff

Publisher: Springer Science & Business Media

Published: 1994-05-20

Total Pages: 376

ISBN-13: 9783540580256

DOWNLOAD EBOOK →

The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.