A Resolution Method for Modal Logic S5

Yakoub Salhi; Michael Sioutis

doi:10.29007/1zgr

Communication Dans Un Congrès Année : 2015

A Resolution Method for Modal Logic S5

(1) , (1)

1

Yakoub Salhi

Fonction : Auteur
PersonId : 991063
IdHAL : yakoub-salhi
ORCID : 0000-0003-0100-4428
IdRef : 151187339

Centre de Recherche en Informatique de Lens

Michael Sioutis

Fonction : Auteur
PersonId : 173021
IdHAL : michael-sioutis
ORCID : 0000-0001-7562-2443
IdRef : 199746524

Centre de Recherche en Informatique de Lens

CV

Domaines

Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]

Michael Sioutis : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02070297

Soumis le : dimanche 17 mars 2019-14:48:54

Dernière modification le : mercredi 20 septembre 2023-15:36:06

Dates et versions

hal-02070297 , version 1 (17-03-2019)

Identifiants

HAL Id : hal-02070297 , version 1
DOI : 10.29007/1zgr

Citer

Yakoub Salhi, Michael Sioutis. A Resolution Method for Modal Logic S5. GCAI 2015. Global Conference on Artificial Intelligence, Oct 2015, Tbilisi, Georgia. pp.252-240, ⟨10.29007/1zgr⟩. ⟨hal-02070297⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS CNRS CRIL

30 Consultations

0 Téléchargements

A Resolution Method for Modal Logic S5

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager