dl2asp: implementing default logic via answer set programming. In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formulas in a default theory. Based on this idea, we implement a new default logic solver – dl2asp. We report some experimental results, in particular the application of dl2asp for solving the fair division problem in social choice theory