IASCAR: Incremental Answer Set Counting by Anytime Refinement

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

Johannes Klaus Fichte - , Linköping University (Author)
Sarah Alice Gaggl - , Chair of Computational Logic (Author)
Markus Hecher - , Massachusetts Institute of Technology (MIT) (Author)
Dominik Rusovac - , Chair of Knowledge-based Systems (cfaed), Chair of Computational Logic (Author)

Original language	English
Pages (from-to)	505-532
Journal	Theory and Practice of Logic Programming
Volume	24
Issue number	3
Publication status	Published - 21 Feb 2024
Peer-reviewed	Yes

Scopus	85185785212
ORCID	/0000-0003-2425-6089/work/173986250