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 481, 108892, 2024 | 8 | 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 |
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 |
Algorithmic correspondence and analytic rules A De Domenico, G Greco arXiv preprint arXiv:2203.14147, 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 |
Unified inverse correspondence for DLE-logics W Conradie, A De Domenico, G Greco, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2203.09199, 2022 | 2 | 2022 |
Obligations and permissions, algebraically A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2403.03148, 2024 | 1 | 2024 |
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 |
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 | 1 | 2021 |
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 |
The Decision Problem for Undirected Graphs with Reachability and Acyclicity D Cantone, A De Domenico, P Maugeri Conference on Computability in Europe, 431-446, 2024 | | 2024 |
Description Logic for Rough Concepts KB Manoorkar, A De Domenico, A Palmigiano International Joint Conference on Rough Sets, 67-89, 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 |