16 citations · 22 across the 4 of their papers we have counts for
4 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…
Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming
Phan Huy Tu, Tran Cao Son, Chitta Baral
We extend the 0-approximation of sensing actions and incomplete information in [Son and Baral 2000] to action theories with static causal laws and prove its soundness with respect…
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…