16 citations · 22 across the 4 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
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…