16 citations · 21 across the 5 of their papers we have counts for
5 papers
Logic and Constraint Logic Programming for Distributed Constraint Optimization
Tiep Le, Enrico Pontelli, Tran Cao Son +1
The field of Distributed Constraint Optimization Problems (DCOPs) has gained momentum, thanks to its suitability in capturing complex problems (e.g., multi-agent coordination and r…
Justifications for Logic Programs under Answer Set Semantics
Enrico Pontelli, Tran Cao Son, Omar Elkhatib
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a…
PALS: Efficient Or-Parallelism on Beowulf Clusters
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo +1
This paper describes the development of the PALS system, an implementation of Prolog capable of efficiently exploiting or-parallelism on distributed-memory platforms--specifically…
A Constructive Semantic Characterization of Aggregates in ASP
Tran Cao Son, Enrico Pontelli
This technical note describes a monotone and continuous fixpoint operator to compute the answer sets of programs with aggregates. The fixpoint operator relies on the notion of aggr…
Set Unification
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
The unification problem in algebras capable of describing sets has been tackled, directly or indirectly, by many researchers and it finds important applications in various research…