An Inconsistency-Adaptive Proof Procedure for Logic Programming

TitleAn Inconsistency-Adaptive Proof Procedure for Logic Programming
Publication TypeBook Chapter (with title)
AuthorsVermeir, T
Secondary AuthorsCarnielli, WA, Coniglio, ME, D'Ottaviano, IMLoffred