Towards an Expressive Decidable Logical Action Theory

Open in new window