( en | de | ru )

 

Disambiguation of "Fichte, Johannes Klaus"

Author of the publication

copydeleteadd this publication to your clipboard
Dual-normal logic programs - the forgotten class.

, , and . Theory Pract. Log. Program., 15 (4-5): 495-510 (2015)

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.

Klaus Fichte

Erich Fichte

Alexander Fichte

Irene Fichte

Christa Fichte

 

Other publications of authors with the same name

Dual-normal logic programs - the forgotten class., , and . Theory Pract. Log. Program., 15 (4-5): 495-510 (2015)Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019., and . CoRR, (2019)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 . LATA, volume 10792 of Lecture Notes in Computer Science, page 130-142. Springer, (2018)Counting Complexity for Reasoning in Abstract Argumentation., , and . CoRR, (2018)Treewidth-Aware Quantifier Elimination and Expansion for QCSP., , and . CP, volume 12333 of Lecture Notes in Computer Science, page 248-266. Springer, (2020)Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution., , and . SAT, volume 5584 of Lecture Notes in Computer Science, page 114-127. Springer, (2009)