Nils Bulling

1 papers · 2015–2015 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Natasha Alechina (1) Hoang Nga Nguyen (1) Brian Logan (1)

Papers

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