Automated Reasoning (IFIP Transactions A: Computer Science and Technology)

The research frontiers of Automated Reasoning are explored and extended in this book. The range is wide, spanning Geometric Reasoning, Nonmonotonic Reasoning, Uncertain Reasoning, Pansystems Theory, Parallel Reasoning, Temporal Reasoning, Qualitative Reasoning, Analogical Reasoning, Constraint Reasoning, Search and Neurocomputing. Contributions, combining practice and theory, have been sourced from specialists in the fields of Artificial Intelligence, Logic and Mathematics and the book should be of significant interest to researchers, developers and students involved in disciplines across these fields.Shi, Zhongzhi is the author of 'Automated Reasoning (IFIP Transactions A: Computer Science and Technology)', published 1993 under ISBN 9780444898760 and ISBN 044489876X.