基于偏好的条件逻辑的 Tableau 演算 电子书下载

原名:Tableau calculus for preference-based conditional logics
作品简介:1(1) Dipartimento di Informatica – Universit`a del Piemonte Orientale A. 3可以给出等效定义，如 [Burgess 1981] 和 [Nejdl……