|
2025 Conference Publication Generating and counting finite FL<sub>ew</sub>-chainsBadia, Guillermo, Monego, Riccardo, Noguera, Carles, Paparella, Alberto and Sciavicco, Guido (2025). Generating and counting finite FLew-chains. IEEE. doi: 10.1109/fuzz62266.2025.11152214 |
|
2025 Conference Publication Definable classes of models and frames in bi-intuitionistic logicBadia, Guillermo, Kowalski, Tomasz and Olkhovikov, Grigory (2025). Definable classes of models and frames in bi-intuitionistic logic. 2nd Third Workshop, Edmonton, Canada, 13-14 May 2024. London, United Kingdom: College Publications. |
|
2025 Conference Publication Many-expert decision treesBadia, Guillermo, Noguera, Carles, Paparella, Alberto and Sciavicco, Guido (2025). Many-expert decision trees. 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Bolzano, Italy, 28-29 November 2024. Aachen, Germany: Technical University of Aachen. |
|
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 |
