Typology of axioms for a weighted modal logic - Archive ouverte HAL Access content directly
Journal Articles WL4AI, IJCAI 2015 Year : 2015

Typology of axioms for a weighted modal logic

, , (1)
1
B. Legastelois
  • Function : Author
M.-J. Lesot
  • Function : Author
A. Revault d'Allonnes
  • Function : Author
Laboratoire d'Informatique Avancée de Saint-Denis

Domains

Computer Science [cs]

Haki Shtalbi  : Connect in order to contact the contributor

https://hal-univ-paris8.archives-ouvertes.fr/hal-03241171

Submitted on : Friday, May 28, 2021-2:44:29 PM

Last modification on : Saturday, May 29, 2021-3:22:40 AM

Not file

Dates and versions

hal-03241171 , version 1 (28-05-2021)

Identifiers

  • HAL Id : hal-03241171 , version 1

Cite

B. Legastelois, M.-J. Lesot, A. Revault d'Allonnes. Typology of axioms for a weighted modal logic: article publié dans actes de colloque. WL4AI, IJCAI 2015, 2015, Workshop on Weighted Logics for Artifical Intelligence, pp.40-47. ⟨hal-03241171⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS8 LIASD UNIV-PARIS-LUMIERES
11 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More