An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem - Université Côte d'Azur Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem

Jean-Marie Lagniez
Centre de Recherche en Informatique de Lens
Daniel Le Berre
Centre de Recherche en Informatique de Lens
CV
Tiago de Lima
Centre de Recherche en Informatique de Lens
Valentin Montmirail
Centre de Recherche en Informatique de Lens

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
Article-17.pdf (665.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Valentin Montmirail  : Connectez-vous pour contacter le contributeur

https://hal.univ-cotedazur.fr/hal-02271403

Soumis le : dimanche 8 mai 2022-23:13:09

Dernière modification le : jeudi 7 mars 2024-14:36:38

Archivage à long terme le : mardi 9 août 2022-18:13:01

Télécharger pour visualiser

Dates et versions

hal-02271403 , version 1 (08-05-2022)

Identifiants

  • HAL Id : hal-02271403 , version 1

Citer

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail. An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Jul 2018, Oxford, United Kingdom. pp.1-18. ⟨hal-02271403⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS CNRS UNIV-COTEDAZUR CRIL
61 Consultations
61 Téléchargements

Partager

Gmail Facebook X LinkedIn More