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