Cuteri, Bernardo; Leone, Nicola; Ricca, Francesco (2019-01-17)
This work is focused on Answer Set Programming (ASP), that is an expressive
formalism for Knowledge Representation and Reasoning. Over time,
ASP has been more and more devoted to solving real-world problems thanks
to ...