IASCAR: Incremental Answer Set Counting by Anytime Refinement

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

IASCAR: Incremental Answer Set Counting by Anytime Refinement

Johannes Klaus FichteJohannes Klaus Fichte,  Sarah Alice GagglSarah Alice Gaggl,  Markus HecherMarkus Hecher,  Dominik RusovacDominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement


Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
@inproceedings{FGHR2022,
  author    = {Johannes Klaus Fichte and Sarah Alice Gaggl and Markus Hecher and
               Dominik Rusovac},
  title     = {IASCAR: Incremental Answer Set Counting by Anytime Refinement},
  booktitle = {Proceedings of the 16th International Conference on Logic
               Programming and Non-monotonic Reasoning (LPNMR 2022)},
  year      = {2022}
}