Analytic Tableaux for KLM Preferential and Cumulative Logics.

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

Browse the full LPAR paper archive.