Analytic Tableaux for KLM Preferential and Cumulative Logics - Aix-Marseille Université Access content directly
Journal Articles ACM Transactions on Computational Logic Year : 2009

Analytic Tableaux for KLM Preferential and Cumulative Logics

Giordano Laura.
  • Function : Author
Gliozzi Valentina.
  • Function : Author
Gian. Luca Pozzato
  • Function : Author

Abstract

no abstract
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01479564 , version 1

Cite

Giordano Laura., Gliozzi Valentina., Nicola Olivetti, Gian. Luca Pozzato. Analytic Tableaux for KLM Preferential and Cumulative Logics. ACM Transactions on Computational Logic, 2009, 10 (3). ⟨hal-01479564⟩
52 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More