Maria del Pilar Pozos Parra, Laurent Perrussel, Jean-Marc Thévenin. On Enumerating Models for the Logic of Paradox Using Tableau. In Davide Ciucci, Gabriella Pasi, Barbara Vantaggi, editors, Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Volume 11142 of Lecture Notes in Computer Science, pages 228-242, Springer, 2018. [doi]
@inproceedings{ParraPT18,
title = {On Enumerating Models for the Logic of Paradox Using Tableau},
author = {Maria del Pilar Pozos Parra and Laurent Perrussel and Jean-Marc Thévenin},
year = {2018},
doi = {10.1007/978-3-030-00461-3_16},
url = {https://doi.org/10.1007/978-3-030-00461-3_16},
researchr = {https://researchr.org/publication/ParraPT18},
cites = {0},
citedby = {0},
pages = {228-242},
booktitle = {Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings},
editor = {Davide Ciucci and Gabriella Pasi and Barbara Vantaggi},
volume = {11142},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-00461-3},
}