Fuscà, Davide; Leone, Nicola; Calimeri, Francesco; Perri, Simona (2018-01-19)
Answer Set Programming (ASP) is a well-established declarative problem solving
paradigm; it features high expressiveness and the ability to deal with incomplete
knowledge, so it became widely used in AI and it is now ...