2 works on record
Logic programming and nonmonotonic reasoning
AI*IA 2019 – Advances in Artificial Intelligence