Creating and sharing knowledge for telecommunications

Adding abductive reasoning to a propositional logic

Rasga, J. ; Sernadas, C.

Journal of Logic and Computation Vol. 32, Nº 4, pp. 697 - 728, June, 2022.

ISSN (print): 0955-792X
ISSN (online): 1465-363X

Scimago Journal Ranking: 0,56 (in 2022)

Digital Object Identifier: 10.1093/logcom/exab074

Abstract