Intellectics and computational logic

"Audience: Researchers working in the areas of Intellectics and Computational Logic, who are convinced that an intelligent behavior of machines should be based on a rigid formal treatment of knowledge representation and reasoning."--Jacket.