We address the issue of quantitatively assessing the severity of inconsistencies in logic programs under the answer set semantics. While measuring inconsistency in classical logics has been investigated for some time now, taking the non-monotonicity of answer set semantics into account brings new challenges that have to be addressed by reasonable accounts of inconsistency measures. We investiga...

Reasoning with inconsistent ontologies is to use an inconsistency reasoner to get meaningful answers from inconsistent ontologies. In this paper, we propose an improved inconsistency reasoner which selects some consistent subsets by using minimal inconsistent sets(MIS) and a resolution method to improve the run-time performance of the reasoning processing. A minimal inconsistent set contains a ...

This paper investigates the behavioral and policy mechanisms that generate dependence on welfare programs. A dynamic model with labor supply disincentives and state dependence in preferences is expanded to incorporate time-inconsistency, which induces addictive behavior due to problems of self-commitment. Estimation is based on data from a welfare reform experiment, which contains a unique poli...