SeSaR: Security for Safety. - Ermete Meda; Francesco Picasso; Andrea De Domenico; Paolo Mazzaron; Nadia Mazzino; Lorenzo Motta; Aldo Tamponi (CISIS, 2008)

Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory. - Domenico Cantone; Andrea De Domenico; Pietro Maugeri; Eugenio G. Omodeo (CILC, 2019)

A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF. - Domenico Cantone; Andrea De Domenico; Pietro Maugeri; Eugenio G. Omodeo (CILC, 2020)

An Ontology for the Iconographic Sources of La Divina Commedia. - Andrea De Domenico; Domenico Cantone; Marianna Nicolosi Asmundo (CILC, 2020)

On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework. - Domenico Cantone; Andrea De Domenico; Pietro Maugeri (GandALF, 2021)

Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae. - Domenico Cantone; Andrea De Domenico; Pietro Maugeri; Eugenio G. Omodeo (CoRR, 2021)

Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case. - Domenico Cantone; Andrea De Domenico; Pietro Maugeri; Eugenio G. Omodeo (Fundam. Informaticae, 2021)

EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage. - Selenia Anastasi; Andrea De Domenico; Marianna Nicolosi Asmundo (AI4CH@AI*IA, 2022)

Algorithmic correspondence and analytic rules. - Andrea De Domenico; Giuseppe Greco 001 (AiML, 2022)

Subordination Algebras as Semantic Environment of Input/Output Logic. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (WoLLIC, 2022)

Unified inverse correspondence for DLE-Logics. - Willem Conradie; Andrea De Domenico; Giuseppe Greco 001; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis (CoRR, 2022)

Labelled Calculi for Lattice-Based Modal Logics. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (ICLA, 2023)

Labelled Calculi for the Logics of Rough Concepts. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (ICLA, 2023)

Non-distributive Description Logic. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (TABLEAUX, 2023)

A Meta-Learning Algorithm for Interrogative Agendas. - Erman Acar; Andrea De Domenico; Krishna Manoorkar; Mattia Panettiere (CoRR, 2023)

The Decision Problem for Undirected Graphs with Reachability and Acyclicity. - Domenico Cantone; Andrea De Domenico; Pietro Maugeri (CiE, 2024)

Description Logic for Rough Concepts. - Krishna Manoorkar; Andrea De Domenico; Alessandra Palmigiano (IJCRS (1), 2024)

Obligations and permissions on selfextensional logics. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (CoRR, 2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (CoRR, 2024)

Modal reduction principles across relational semantics. - Willem Conradie; Andrea De Domenico; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Daira Pinto Prieto; Apostolos Tzimoulis (Fuzzy Sets Syst., 2024)