Formally Verifying Dynamic Properties of Knowledge Based Systems.

Perry Groot, Annette ten Teije, Frank van Harmelen

Browse the full EKAW paper archive.