Articles
Some Sitcalc Formulas for Robot Soccer
A collection of situation calculus formulas relating to robot soccer.A collection of situation calculus formulas for robot soccer (i.e., RoboCup). There will be mainly formulas for now. Discussion will be gradually filled in.
Download the article in PDF.
