This book builds on decades of research and provides contemporary theoretical foundations for practical applications to intelligent technologies and advances in
How can human-level artificial intelligence be achieved? What are the potential consequences? This book describes a research approach toward achieving human-lev
Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to arti
The past 50 years have witnessed a revolution in computing and related communications technologies. The contributions of industry and university researchers to
Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and desig