An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem
Domains
Artificial Intelligence [cs.AI]| Origin | Files produced by the author(s) |
|---|
Conference Papers
Year : 2018
Valentin Montmirail : Connect in order to contact the contributor
https://hal.univ-cotedazur.fr/hal-02271403
Submitted on : Sunday, May 8, 2022-11:13:09 PM
Last modification on : Thursday, March 7, 2024-2:36:38 PM
Long-term archiving on : Tuesday, August 9, 2022-6:13:01 PM
Dates and versions
Identifiers
- HAL Id : hal-02271403 , version 1
Cite
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⟩
Collections
67
View
94
Download