Analytic Tableaux for KLM Preferential and Cumulative Logics - Archive ouverte HAL Access content directly
Journal Articles ACM Transactions on Computational Logic Year : 2009

Analytic Tableaux for KLM Preferential and Cumulative Logics

, , (1) ,
1
Giordano Laura.
  • Function : Author
Gliozzi Valentina.
  • Function : Author
Gian. Luca Pozzato
  • Function : Author

Abstract

no abstract
Not 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⟩
51 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More