|
2025 Conference Publication Many-Expert Decision TreesBadia, Guillermo, Noguera, Carles, Paparella, Alberto and Sciavicco, Guido (2025). Many-Expert Decision Trees. CEUR-WS. |
|
2024 Conference Publication AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023Badia, Guillermo and Rubin, Sasha (2024). AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023. Cambridge University Press. doi: 10.1017/bsl.2024.44 |
|
2024 Conference Publication Logical characterizations of weighted complexity classesBadia, Guillermo, Droste, Manfred, Noguera, Carles and Paul, Erik (2024). Logical characterizations of weighted complexity classes. Mathematical Foundations of Computer Science (MFCS 2024), Bratislava, Slovakia, 26-30 August 2024. Schloss Dagstuhl, Germany: Leibniz Center for Informatics. doi: 10.4230/LIPIcs.MFCS.2024.14 |
|
2024 Conference Publication Fitting's style many-valued interval temporal logic tableau system: theory and implementationBadia, Guillermo, Noguera, Carles, Paparella, Alberto, Sciavicco, Guido and Stan, Eduard I. (2024). Fitting's style many-valued interval temporal logic tableau system: theory and implementation. 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Montpellier, France, 28–30 October 2024. Wadern, Germany: Schloss Dagstuhl. doi: 10.4230/LIPIcs.TIME.2024.7 |
|
2022 Conference Publication Robinson consistency in many-sorted hybrid first-order logicsGaina, Daniel, Badia, Guillermo and Kowalski, Tomasz (2022). Robinson consistency in many-sorted hybrid first-order logics. 2022 Advances in Modal Logic (AiML), Rennes, France, 22-25 August 2022. London, United Kingdom: College Publications. |
|
2018 Conference Publication Saturated models in mathematical fuzzy logicBadia, Guillermo and Noguera, Carles (2018). Saturated models in mathematical fuzzy logic. 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), Linz, Austria, 16-18 May 2018. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ismvl.2018.00034 |
