Inductive Situation Calculus.

Marc Denecker, Eugenia Ternovska

Browse the full KR paper archive.