Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz - Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce ((Lecture Notes in Computer Science))