dl2asp: Implementing Default Logic via Answer Set Programming

Abstract 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.

Authors

• Yin Chen 0005
• Hai Wan
• Yan Zhang 0003
• Yi Zhou 0013

Keywords

No keywords are indexed for this paper.