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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-15675-5_11 | JELIA |
Keywords | DocType | Volume |
propositional case,internal relationship,fair division problem,social choice theory,default theory,answer set programming,new default logic solver,default logic | Conference | 6341 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-15674-6 | 4 |
PageRank | References | Authors |
0.39 | 23 | 4 |