Goal-directed execution of answer set programs

Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta. Goal-directed execution of answer set programs. In Danny De Schreye, Gerda Janssens, Andy King, editors, Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. pages 35-44, ACM, 2012. [doi]

@inproceedings{MarpleBMG12,
  title = {Goal-directed execution of answer set programs},
  author = {Kyle Marple and Ajay Bansal and Richard Min and Gopal Gupta},
  year = {2012},
  doi = {10.1145/2370776.2370782},
  url = {http://doi.acm.org/10.1145/2370776.2370782},
  researchr = {https://researchr.org/publication/MarpleBMG12},
  cites = {0},
  citedby = {0},
  pages = {35-44},
  booktitle = {Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012},
  editor = {Danny De Schreye and Gerda Janssens and Andy King},
  publisher = {ACM},
  isbn = {978-1-4503-1522-7},
}