Title: Logic in Artificial Intelligence (Lecture Notes in Artificial Intelligence : Volume 838)