Sciweavers

JOLLI
2010
123views more  JOLLI 2010»
13 years 10 months ago
The Situation Calculus: A Case for Modal Logic
Abstract The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of th...
Gerhard Lakemeyer