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

Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen

Browse the full IJCAI paper archive.