First Page | Document Content | |
---|---|---|
Date: 2009-01-04 08:03:51Logic programming Artificial intelligence Situation calculus Epistemic modal logic Modal logic Function Common knowledge Symbol Frame problem Logic Mathematical logic Mathematics | Complex Epistemic Modalities in the Situation CalculusAdd to Reading ListSource URL: people.eng.unimelb.edu.auDownload Document from Source WebsiteFile Size: 242,66 KBShare Document on Facebook |