swMATH ID: 208
Software Authors: Chen, Yin; Wan, Hai; Zhang, Yan; Zhou, Yi
Description: 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
Homepage: http://www.springerlink.com/content/6767ttp612245k47/fulltext.pdf
Related Software: DeReS; CUDA; Lparse
Cited in: 3 Publications

Citations by Year