On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

Open in new window