Honorable Mention at LPNMR 2022
From International Center for Computational Logic
News from the research group Logic Programming and Argumentation of September 20, 2022
Honorable Mention at LPNMR 2022
IASCAR: Incremental Answer Set Counting by Anytime Refinement receives "Honorable Mention" (best paper award finalist) at the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPMNR 2022).