SOLARES-ROJAS, ALEJANDRO

Book review D’Agostino et al.: Depth-Bounded Reasoning. Volume I: Classical Propositional Logic

The Reasoner; Año: 2025 vol. 19

DAGOSTINO, MARCELLO; SOLARES-ROJAS, ALEJANDRO

Tractable depth-bounded approximations to FDE and its satellites

JOURNAL OF LOGIC AND COMPUTATION; Año: 2023 vol. 34 p. 815 - 855