First Page | Document Content | |
---|---|---|
Date: 2010-04-20 14:40:19 | Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden1 , Caitlin Phillips1 , Doina Precup1 , and Mehrnoosh SadrAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source WebsiteFile Size: 173,40 KBShare Document on Facebook |