Lecture Notes in Computer Science Cadoli, Marco Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical app...