Programming rational agents in a modal action logic
scientific article; zbMATH DE number 2085794