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

	Robot Location Estimation in the Situation Calculus Vaishak Belle and Hector J. Levesque Dept. of Computer Science University of Toronto ICAPS Workshop on Planning and Robotics, June 2013 DocID: 1uXeI - View Document
	I N F S Y S R E S E A R C H R DocID: 1riTl - View Document
	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc DocID: 1qzAi - View Document
	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 DocID: 1q99R - View Document
	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu DocID: 1p49M - View Document