IASCAR: Incremental Answer Set Counting by Anytime Refinement

Fichte, Johannes Klaus; Gaggl, Sarah Alice; Hecher, Markus; Rusovac, Dominik

doi:10.1007/978-3-031-15707-3_17

by Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac

Reference:

IASCAR: Incremental Answer Set Counting by Anytime RefinementJohannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik RusovacLogic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, volume 13416 of Lecture Notes in Computer Science, pages 217–230, 2022, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@inproceedings{DBLP:conf/lpnmr/FichteGHR22,
keywords = "reveal",
  author    = {Johannes Klaus Fichte and
               Sarah Alice Gaggl and
               Markus Hecher and
               Dominik Rusovac},
  title     = {{IASCAR:} Incremental Answer Set Counting by Anytime Refinement},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
               Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
  pages     = {217--230},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-15707-3\_17},
  doi       = {10.1007/978-3-031-15707-3\_17},
  Xeditor    = {Georg Gottlob and
               Daniela Inclezan and
               Marco Maratea},
  series    = {Lecture Notes in Computer Science},
  volume    = {13416},
  publisher = {Springer},
}