| Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case D Cantone, A De Domenico, P Maugeri, EG Omodeo Fundamenta Informaticae 181 (1), 37-69, 2021 | 9 | 2021 |
| Modal reduction principles across relational semantics W Conradie, A De Domenico, K Manoorkar, A Palmigiano, M Panettiere, ... Fuzzy Sets and Systems, 108892, 2024 | 7 | 2024 |
| Polynomial-time satisfiability tests for boolean fragments of set theory D Cantone, A De Domenico, P Maugeri, E Omodeo CEUR WORKSHOP PROCEEDINGS 2396, 123-137, 2019 | 6 | 2019 |
| Algorithmic correspondence and analytic rules A De Domenico, G Greco arXiv preprint arXiv:2203.14147, 2022 | 4 | 2022 |
| A quadratic reduction of constraints over nested sets to purely Boolean formulae in CNF D Cantone, A De Domenico, P Maugeri, E Omodeo CEUR WORKSHOP PROCEEDINGS 2710, 214-230, 2020 | 4 | 2020 |
| Labelled calculi for the logics of rough concepts I van der Berg, A De Domenico, G Greco, KB Manoorkar, A Palmigiano, ... Indian Conference on Logic and Its Applications, 172-188, 2023 | 3 | 2023 |
| A meta-learning algorithm for interrogative agendas E Acar, A De Domenico, K Manoorkar, M Panettiere arXiv preprint arXiv:2301.01837, 2023 | 3 | 2023 |
| Unified inverse correspondence for DLE-logics W Conradie, A De Domenico, G Greco, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2203.09199, 2022 | 3 | 2022 |
| Subordination Algebras as Semantic Environment of Input/Output Logic A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... International Workshop on Logic, Language, Information, and Computation, 326-343, 2022 | 2 | 2022 |
| Non-distributive description logic I van der Berg, A De Domenico, G Greco, KB Manoorkar, A Palmigiano, ... International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 1 | 2023 |
| Labelled calculi for lattice-based modal logics I van der Berg, A De Domenico, G Greco, KB Manoorkar, A Palmigiano, ... Indian Conference on Logic and Its Applications, 23-47, 2023 | 1 | 2023 |
| GenderedOntoComedy: Toward a Gendered Representation of Literary Characters in the Dante’s Commedia S Anastasi, A De Domenico, M Nicolosi-Asmundo Copyright© 2022 AIUCD Associazione per l’Informatica Umanistica e la Cultura …, 2022 | 1 | 2022 |
| On the convexity of a fragment of pure set theory with applications within a nelson-oppen framework D Cantone, A De Domenico, P Maugeri arXiv preprint arXiv:2109.08309, 2021 | 1 | 2021 |
| An Ontology for the Iconographic Sources of La Divina Commedia. A De Domenico, D Cantone, MN Asmundo CILC, 157-168, 2020 | 1 | 2020 |
| Obligations and permissions, algebraically A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2403.03148, 2024 | | 2024 |
| Obligations and permissions on selfextensional logics A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2402.07336, 2024 | | 2024 |
| EGITH-Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage. S Anastasi, A De Domenico, MN Asmundo AI4CH@ AI* IA, 13-25, 2022 | | 2022 |
| Complexity assessments for decidable fragments of Set Theory. IV: A quadratic reduction of constraints over nested sets to Boolean formulae D Cantone, A De Domenico, P Maugeri, EG Omodeo arXiv preprint arXiv:2112.04797, 2021 | | 2021 |
| VU Research Portal E Acar, AD Domenico, K Manoorkar, M Panettiere | | 2021 |
| VU Research Portal W Conradie, AD Domenico, K Manoorkar, A Palmigiano, M Panettiere, ... Fuzzy Sets and Systems 407, 115-141, 2021 | | 2021 |
