Weak AGM postulates and strong Ramsey Test: A logical formalization - Archive ouverte HAL Access content directly
Journal Articles Artificial Intelligence Year : 2005

Weak AGM postulates and strong Ramsey Test: A logical formalization

, , (1)
1
Giordano L.
  • Function : Author
Gliozzi V.
  • Function : Author

Abstract

no abstract
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01479580 , version 1

Cite

Giordano L., Gliozzi V., Nicola Olivetti. Weak AGM postulates and strong Ramsey Test: A logical formalization. Artificial Intelligence, 2005, 168 (1--2), pp.1--37. ⟨hal-01479580⟩
57 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More