ML Anthology

Conflict-Driven ASP Solving with External Sources and Program Splits

Christoph Redl
IJCAI 2017 pp. 1239-1246
doi:10.24963/IJCAI.2017/172 /ijcai/2017/redl2017ijcai-conflict/
PDF IJCAI Semantic Scholar

Cite

Text

Redl. "Conflict-Driven ASP Solving with External Sources and Program Splits." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/172

Markdown

[Redl. "Conflict-Driven ASP Solving with External Sources and Program Splits." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/redl2017ijcai-conflict/) doi:10.24963/IJCAI.2017/172

BibTeX

@inproceedings{redl2017ijcai-conflict,
  title     = {{Conflict-Driven ASP Solving with External Sources and Program Splits}},
  author    = {Redl, Christoph},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {1239-1246},
  doi       = {10.24963/IJCAI.2017/172},
  url       = {https://mlanthology.org/ijcai/2017/redl2017ijcai-conflict/}
}