Vol-2508⫷ Vol-2509 ⫸Vol-2510
urn:nbn:de:0074-2509-0


Vol-2509/paper5⫷Vol-2509/paper6⫸Vol-2509/paper7

Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies