Tableau calculus for preference-based conditional logics: PCL and its extensions

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind. Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log., 10(3), 2009. [doi]

No reviews for this publication, yet.