@article {3139252,
	title = {The generation of abductive explanations from inconsistent theories},
	journal = {Logic Journal of the IGPL},
	volume = {20},
	number = {2},
	year = {2012},
	pages = {400{\textendash}416},
	abstract = {<p>In this article I will show how the goal-directed proof procedure for the propositional fragment of the {\textquoteright}inconsistency-adaptive{\textquoteright} logic CLuN(r)from Batens (2005, J. Appl. Logic, 3, 221-250) called pCLuN(r) allows for generating sensible abductive explanations from finite inconsistent theories. Before this is shown, I give a more general account on how goal-directed proof procedures contribute to the study of abduction as backward reasoning. Between these two parts, I describe the goal-directed proof procedure for the propositional fragment of the {\textquoteright}inconsistency-adaptive{\textquoteright} logic CLuNr from Batens (2005, J. Appl. Logic, 3, 221-250).</p>},
	issn = {1367-0751},
	doi = {http://dx.doi.org/10.1093/jigpal/jzq056},
	author = {Provijn, Dagmar}
}
