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