Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae.

Ofer Arieli

Browse the full ECAI paper archive.