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

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
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
- Projekt:Project: CPEC, NAVAS
- Forschungsgruppe:Research Group: Logische Programmierung und Argumentation
@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}
}