@incollection {vermeir2002inconsistency,
	title = {An Inconsistency-Adaptive Proof Procedure for Logic Programming},
	booktitle = {Paraconsistency. The Logical Way to the Inconsistent},
	year = {2002},
	pages = {323-340},
	publisher = {Marcel Dekker},
	address = {New York},
	abstract = {<p>It is the goal of this paper to de ne a paraconsistent proof procedure that has the best of two mechanisms, in casu logic programming and inconsistency-adaptive logics. From logic programming we will maintain the ease of computing, and from adaptive logics their paraconsistency, dynamics and non-monotonicity. This will be done by combining the notion of competitor from logic programming together with the conditionallity that is common in all adaptive proofs.</p>},
	author = {Vermeir, Timothy},
	editor = {Carnielli, Walter A. and Coniglio, Marcelo E. and Loffredo D{\textquoteright}Ottaviano, Itala M.}
}
