Vol-1268⫷ Vol-1269 ⫸Vol-1270
urn:nbn:de:0074-1269-0


Vol-1269/paper269⫷Vol-1269/paper281⫸Vol-1269/paper293

SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract)