IASCAR: Incremental Answer Set Counting by Anytime Refinement

Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed › peer-review

Contributors

Johannes Klaus Fichte - , Chair of Computational Logic (Author)
Sarah Alice Gaggl - , Chair of Computational Logic (Author)
Markus Hecher - (Author)
Dominik Rusovac - , Institute of Artificial Intelligence, Chair of Computational Logic (Author)

Original language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning - 16th International Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings
Publisher	Springer
Volume	Lecture Notes in Computer Science
Edition	13416
ISBN (electronic)	978-3-031-15707-3
Publication status	Published - 2022
Peer-reviewed	Yes

Scopus	85137979484