Vol-1450⫷ Vol-1451 ⫸Vol-1452
urn:nbn:de:0074-1451-0


Vol-1451/paper1⫸Vol-1451/paper2
Mario Alviano

Evaluating Answer Set Programming with Non-Convex Recursive Aggregates