Verification of Knowledge-Based Programs over Description Logic Actions.

Benjamin Zarrie, Jens Claen

Browse the full IJCAI paper archive.