Complex Epistemic Modalities in the Situation Calculus

First Page		Document Content
Date: 2009-01-04 08:03:51 Logic 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 Calculus Add to Reading List Source URL: people.eng.unimelb.edu.au Download Document from Source Website File Size: 242,66 KB Share Document on Facebook

	Demo Rules \|: This is the subroutine symbol, and it only appears on ice. Each symbol marks a single subroutine on a piece of ice. DocID: 1xVp5 - View Document
	Aquis Exchange Monthly Statistics Top Stocks by Value (EUR) Stock Symbol DocID: 1xVaq - View Document
	Aquis Exchange Monthly Statistics Top Stocks by Value (EUR) Stock Symbol DocID: 1xUvn - View Document
	Aquis Exchange Monthly Statistics Top Stocks by Value (EUR) Stock Symbol DocID: 1xTnG - View Document
	Symbol Legend Job posting website Community Service Recruitment Agency DocID: 1vrEw - View Document