Incomplete Causal Laws in the Situation Calculus Using Free Fluents.

Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardia

Browse the full IJCAI paper archive.