Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings