Paraconsistency. The Logical Way to the Inconsistent
| Title | An Inconsistency-Adaptive Proof Procedure for Logic Programming |
| Publication Type | Book Chapter (with title) |
| Authors | Vermeir, T |
| Secondary Authors | Carnielli, WA, Coniglio, ME, D'Ottaviano, IMLoffred |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-402897 |
|---|
UGent Biblio Link: