Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

47

JELIA
2010
Springer

favoriteEmaildiscussreport

246views Artificial Intelligence» more JELIA 2010»

dl2asp: Implementing Default Logic via Answer Set Programming

13 years 9 months ago

dl2asp: Implementing Default Logic via Answer Set Programming

Download staff.scm.uws.edu.au

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.

Yin Chen, Hai Wan, Yan Zhang, Yi Zhou

Real-time Traffic

Answer Set Programming | Artificial Intelligence | Default Logic | Default Theory | JELIA 2010 |

claim paper

Related Content

» From Answer Set Logic Programming to Circumscription via Logic of GK

» A PreferenceBased Framework for Updating Logic Programs

» Defeasibility in Answer Set Programs via Argumentation Theories

» The Consistency Extractor System Querying Inconsistent Databases Using Answer Set Programs

» Answer Sets for Consistent Query Answering in Inconsistent Databases

» plp A Generic Compiler for Ordered Logic Programs

» Hierarchical Decision Making in Multiagent Systems Using Answer Set Programming

» Declarative Semantics for the Rule Interchange Format Production Rule Dialect

» Adding Evolving Abilities to a MultiAgent System

Post Info
More Details (n/a)

Added	28 Jan 2011
Updated	28 Jan 2011
Type	Journal
Year	2010
Where	JELIA
Authors	Yin Chen, Hai Wan, Yan Zhang, Yi Zhou

Comments (0)