Results 261 to 270 of about 7,466,358 (278)
Some of the next articles are maybe not open access.
Extending resolution to resolution logics
Journal of Experimental & Theoretical Artificial Intelligence, 1991Abstract In previous papers (O'Hearn & Stachniak 1989b, Stachniak & O'Hearn 1990, Stachniak 1989,1990a) we proposed an algebraic methodological framework for the introduction and analysis of resolution proof systems for finitely-valued logical calculi. In the present paper we extend this approach to a wider class of the so-called resolution logics.
openaire +1 more source
Resolution from the Belgian Resolution Authority's Perspective
2018DE BATSELIER, E., “Resolution from the Belgian Resolution Authority’s Perspective”, in HOUBEN, R. en VANDENBRUWAENE, W. (Eds.), The Single Resolution Mechanism, in Privaat en Publiek Financieel Recht, Volume 2, Intersentia, Antwerpen, 2017, 49-75.
openaire +2 more sources

