Pontificia Universidad Católica de Chile Pontificia Universidad Católica de Chile

Incomplete Causal Laws in the Situation Calculus Using Free Fluents