IASCAR: Incremental Answer Set Counting by Anytime Refinement

Autor:	Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
Rok vydání:	2022
Zdroj:	Logic Programming and Nonmonotonic Reasoning ISBN: 9783031157066
DOI:	10.1007/978-3-031-15707-3_17
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e2536baee00a3b01cedff3cc38465434 https://doi.org/10.1007/978-3-031-15707-3_17 Zobrazit plný text záznamu