@inproceedings{DBLP:conf/aaai/DavilaST14, title = {Solving the Inferential Frame Problem in the General Game Description Language}, author = {Davila, Javier Romero and Saffidine, Abdallah and Thielscher, Michael}, booktitle = {{AAAI}}, pages = {515--521}, publisher = {{AAAI} Press}, year = {2014} }