E
Evelina Lamma
Researcher at University of Ferrara
Publications - 268
Citations - 3423
Evelina Lamma is an academic researcher from University of Ferrara. The author has contributed to research in topics: Logic programming & Abductive logic programming. The author has an hindex of 28, co-authored 262 publications receiving 3239 citations. Previous affiliations of Evelina Lamma include University of Bologna.
Papers
More filters
Journal ArticleDOI
Verifiable agent interaction in abductive logic programming: The SCIFF framework
TL;DR: The declarative and operational semantics of the SCIFF language, and the termination, soundness, and completeness results of theSCIFF proof procedure, are presented and it is demonstrated that SCIFF's possible application in the multiagent domain is demonstrated.
Proceedings Article
Modularity in logic programming
Evelina Lamma,Paola Mello +1 more
Abstract: Abstract The research on modular logic programming has evolved along two different directions during the past decade. Various papers have focused primarily on the problems of programming-in-the-large. They have proposed module systems equipped with compositional operators for building programs as combinations of separate and independent components. Other proposals have instead concentrated on the problem of programming-in-the-small in an attempt to enrich logic programming with abstraction and scoping mechanisms available in other programming paradigms. The issues that arise in the two approaches are substantially different. The compositional operators of the former allow one to structure programs without any need to extend the theory of Horn clauses. The scoping and abstraction mechanisms of the latter are modeled in terms of the logical connectives of extended logic languages. In this paper we provide a uniform reconstruction of the above approaches and we show, wherever this is possible, how the object-level logical connectives of the latter can be mapped onto the compositional operators of the former.
Journal ArticleDOI
Modularity in Logic Programming
TL;DR: A uniform reconstruction of the above approaches is provided and it is shown how the object-level logical connectives of the latter can be mapped onto the compositional operators of the former.
Book ChapterDOI
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
TL;DR: This paper investigates how, by properly tuning the learning algorithm, the approach can be adopted to mine models expressed in the ConDec notation, a graphical language for the declarative specification of business processes, and how such a mining framework has been concretely implemented as a ProM plug-in called DecMiner.
Journal ArticleDOI
Compliance verification of agent interaction: a logic-based software tool
TL;DR: A JAVA-PROLOG software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with the PROSOCS platform is presented.