Reasoning about actions with imprecise and incomplete state descriptions
scientific article; zbMATH DE number 5634447
scientific article