Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz