@inproceedings{DBLP:conf/aaai/SonSSSY16, title = {Solving Goal Recognition Design Using {ASP}}, author = {Son, Tran Cao and Sabuncu, Orkunt and Schulz{-}Hanke, Christian and Schaub, Torsten and Yeoh, William}, booktitle = {{AAAI}}, pages = {3181--3187}, publisher = {{AAAI} Press}, year = {2016} }