Backdoors to Normality for Disjunctive Logic Programs

Abstract

Full Citation:

Johannes Klaus Fichte, Stefan Szeider. Backdoors to Normality for Disjunctive Logic Programs. ACM Transactions on Computational Logic, volume 17, number 1, 2015.

Stefan Szeider

Head of Group

Stefan Szeider is a Professor at the Algorithms and Complexity Group.