Automated Deduction for Logics of Default Reasoning.

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

Browse the full ECAI paper archive.