Report copyright - FOL and situation calculus - Nottinghampsznza/G52PAS10/lecture8.pdf · Situation calculus is one way to represent change in FOL: Adds a situation argument to each non-eternal predicate
Please pass captcha verification before submit form