Buscar
Mostrando ítems 1-1 de 1
Computing Abduction in Semantic Tableaux
(Revista Computación y Sistemas; Vol. 2 No. 1, 1998-09-17)
Abstract. The aim o/ this paper is to propose a way to extend the
framework o/ semantic tableaux in order ta compute several
/orma o/ abductive explanations: atomic, conjunctive
and in disjunctive formo Our /ocus is on ...