DMCA

A Tableaux Calculus for KLM Preferential and Cumulative Logics

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