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
UGent Biblio Link http://hdl.handle.net/1854/LU-402897

Export as...

BibTex   Tagged   XML   RIS
UGent Biblio Link: 
http://hdl.handle.net/1854/LU-402897