Vol-3508⫷ Vol-3509 ⫸Vol-3510
urn:nbn:de:0074-3509-0


Vol-3509/paper11⫷Vol-3509/paper12⫸Vol-3509/paper13
Nicolas RühlingTorsten SchaubTobias Stolzmann

Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report