Honorable Mention bei LPNMR 2022
Aus International Center for Computational Logic
Neuigkeit aus der Forschungsgruppe Logische Programmierung und Argumentation vom 20. September 2022
Honorable Mention bei LPNMR 2022
IASCAR: Incremental Answer Set Counting by Anytime Refinement erhält "Honorable Mention" (Best-Paper Finalist) auf der 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPMNR 2022).