Tableau calculus for preference-based conditional logics : PCL and its extensions - Aix-Marseille Université Access content directly
Journal Articles ACM Transactions on Computational Logic Year : 2009

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

Giordano L.
  • Function : Author
Gliozzi V.
  • Function : Author
Schwind C.
  • Function : Author

Abstract

no abstract
No file

Dates and versions

hal-01479562 , version 1 (28-02-2017)

Identifiers

  • HAL Id : hal-01479562 , version 1

Cite

Giordano L., Gliozzi V., Nicola Olivetti, Schwind C.. Tableau calculus for preference-based conditional logics : PCL and its extensions. ACM Transactions on Computational Logic, 2009, 10 (3). ⟨hal-01479562⟩
55 View
0 Download

Share

Gmail Facebook X LinkedIn More