Vol-615⫷ Vol-616 ⫸Vol-617
urn:nbn:de:0074-616-0


None⫷None⫸None
Mario AlvianoWolfgang Faber 0001Nicola Leone

Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation