IASCAR: Incremental Answer Set Counting by Anytime Refinement

Johannes Klaus FichteJohannes Klaus Fichte, Sarah Alice GagglSarah Alice Gaggl, Dominik RusovacDominik Rusovac

Johannes Klaus Fichte, Sarah Alice Gaggl, 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

Details
Bibtex

Projekt:Project: CPEC, NAVAS
Forschungsgruppe:Research Group: Logische Programmierung und ArgumentationLogic Programming and Argumentation

@inproceedings{FGR2022,
  author    = {Johannes Klaus Fichte and Sarah Alice Gaggl 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}
}