17 citations · 22 across the 3 of their papers we have counts for
3 papers
A Machine Learning guided Rewriting Approach for ASP Logic Programs
Elena Mastria, Jessica Zangari, Simona Perri +1
Answer Set Programming (ASP) is a declarative logic formalism that allows to encode computational problems via logic programs. Despite the declarative nature of the formalism, some…
A Framework for Easing the Development of Applications Embedding Answer Set Programming
Francesco Calimeri, Davide Fuscà, Stefano Germano +2
Answer Set Programming (ASP) is a well-established declarative problem solving paradigm which became widely used in AI and recognized as a powerful tool for knowledge representatio…
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
Simona Perri, Francesco Scarcello, Nicola Leone
Abduction, first proposed in the setting of classical logics, has been studied with growing interest in the logic programming area during the last years. In this paper we study abd…