Order:
  1. The Logic of Knowledge Bases.Hector J. Levesque & Gerhard Lakemeyer - 2000 -
  2.  56
    The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
    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 the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3. SLAP: Specification Logic of Actions with Probability.Gavin Rens, Thomas Meyer & Gerhard Lakemeyer - 2014 - Journal of Applied Logic 12 (2):128-150.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography