An ASP semantics for Constraints involving Conditional Aggregates