Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Backdoor Trees for Answer Set Programming., and . ASPOCP@LPNMR, volume 1868 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)A Practical Account into Counting Dung's Extensions by Dynamic Programming., , , and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 387-400. Springer, (2022)IASCAR: Incremental Answer Set Counting by Anytime Refinement., , , and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 217-230. Springer, (2022)ApproxASP - a Scalable Approximate Answer Set Counter., , , , , and . AAAI, page 5755-5764. AAAI Press, (2022)Default logic and bounded treewidth., , and . Inf. Comput., (2022)Dual-normal logic programs - the forgotten class., , and . Theory Pract. Log. Program., 15 (4-5): 495-510 (2015)Backdoors to the Tractability of Answer Set Programming.. Theory Pract. Log. Program., (2013)Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019., and . CoRR, (2019)Counting Complexity for Reasoning in Abstract Argumentation., , and . CoRR, (2018)Default Logic and Bounded Treewidth., , and . LATA, volume 10792 of Lecture Notes in Computer Science, page 130-142. Springer, (2018)