Manifold Answer-Set Programs for Meta-reasoning.

Wolfgang Faber, Stefan Woltran

Browse the full LPNMR paper archive.