← Back to papers

2015 IJCAI IJCAI 2015

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

Authors

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

Related papers

Fixing Tournaments for Kings, Chokers, and More 2015

A Characterization of n-Player Strongly Monotone Scheduling Mechanisms 2015

Limited Lookahead in Imperfect-Information Games 2015

Impartial Peer Review 2015

Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning 2015