Statistical learning and analysis techniques have become extremely important today, given the tremendous growth in the size of heterogeneous data...
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists...
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be...
Perspectives in Artificial Intelligence, Volume 1: Case-Based Planning: Viewing Planning as a Memory Task focuses on the processes, methodologies, and...
One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and...
This volume covers the integration of fuzzy logic and expert systems. A vital resource in the field, it includes techniques for applying fuzzy systems...
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical...
This is the first comprehensive introduction to computational learning theory. The author's uniform presentation of fundamental results and their...
How to deal with uncertainty is a subject of much controversy in Artificial Intelligence. This volume brings together a wide range of perspectives on...
A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, Principles of Artificial Intelligence...