IASCAR: Incremental Answer Set Counting by Anytime Refinement

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Johannes Klaus Fichte - , Linköping University (Autor:in)
Sarah Alice Gaggl - , Professur für Computational Logic (Autor:in)
Markus Hecher - , Massachusetts Institute of Technology (MIT) (Autor:in)
Dominik Rusovac - , Professur für Wissensbasierte Systeme (cfaed), Professur für Computational Logic (Autor:in)

Originalsprache	Englisch
Seiten (von - bis)	505-532
Fachzeitschrift	Theory and Practice of Logic Programming
Jahrgang	24
Ausgabenummer	3
Publikationsstatus	Veröffentlicht - 21 Feb. 2024
Peer-Review-Status	Ja

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