3 citations · 3 across the 1 of their papers we have counts for
3 papers
cs.AI2008★ 3 cited
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…
cs.DC2006
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…
cs.AI2006★ 16 cited
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…