Book

Logic-based artificial intelligence

by Jack Minker