ML Anthology

Finite Model Computation via Answer Set Programming

Martin Gebser, Orkunt Sabuncu, Torsten Schaub
IJCAI 2011 pp. 2626-2631
doi:10.5591/978-1-57735-516-8/IJCAI11-437 /ijcai/2011/gebser2011ijcai-finite/
IJCAI Semantic Scholar

Cite

Text

Gebser et al. "Finite Model Computation via Answer Set Programming." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-437

Markdown

[Gebser et al. "Finite Model Computation via Answer Set Programming." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/gebser2011ijcai-finite/) doi:10.5591/978-1-57735-516-8/IJCAI11-437

BibTeX

@inproceedings{gebser2011ijcai-finite,
  title     = {{Finite Model Computation via Answer Set Programming}},
  author    = {Gebser, Martin and Sabuncu, Orkunt and Schaub, Torsten},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {2626-2631},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-437},
  url       = {https://mlanthology.org/ijcai/2011/gebser2011ijcai-finite/}
}