Vol-1349⫷ Vol-1350 ⫸Vol-1351
urn:nbn:de:0074-1350-0


Vol-1350/paper-37⫷Vol-1350/paper-38⫸Vol-1350/paper-39
Benjamin ZarrießJens Claßen

Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing