Andrea De Domenico

24 papers B 2C 2Misc 1Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Normative Implications.
DEON
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Xiaolong Wang
2024 J jnl
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space.
CoRR
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2024 — conf
Description Logic for Rough Concepts.
IJCRS (1)
Krishna Manoorkar, Andrea De Domenico, Alessandra Palmigiano
2024 J jnl
Modal reduction principles across relational semantics.
Fuzzy Sets Syst.
Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
2024 J jnl
Obligations and permissions on selfextensional logics.
CoRR
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2024 C conf
The Decision Problem for Undirected Graphs with Reachability and Acyclicity.
CiE
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
2023 J jnl
A Meta-Learning Algorithm for Interrogative Agendas.
CoRR
Erman Acar, Andrea De Domenico, Krishna Manoorkar, Mattia Panettiere
2023 — conf
Labelled Calculi for Lattice-Based Modal Logics.
ICLA
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
2023 — conf
Labelled Calculi for the Logics of Rough Concepts.
ICLA
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
2023 B conf
Non-distributive Description Logic.
TABLEAUX
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
2022 B conf
Algorithmic correspondence and analytic rules.
AiML
Andrea De Domenico, Giuseppe Greco
2022 J jnl
Algorithmic correspondence and analytic rules.
CoRR
Andrea De Domenico, Giuseppe Greco
2022 — conf
EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage.
AI4CH@AI*IA
Selenia Anastasi, Andrea De Domenico, Marianna Nicolosi Asmundo
2022 J jnl
Modal reduction principles across relational semantics.
CoRR
Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
2022 C conf
Subordination Algebras as Semantic Environment of Input/Output Logic.
WoLLIC
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2022 J jnl
Subordination Algebras as Semantic Environment of Input/Output Logic.
CoRR
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2022 J jnl
Unified inverse correspondence for DLE-Logics.
CoRR
Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis
2021 J jnl
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case.
Fundam. Informaticae
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2021 J jnl
Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae.
CoRR
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2021 — conf
On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework.
GandALF
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
2020 — conf
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF.
CILC
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2020 — conf
An Ontology for the Iconographic Sources of La Divina Commedia.
CILC
Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo
2019 — conf
Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory.
CILC
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
2008 Misc conf
SeSaR: Security for Safety.
CISIS
Ermete Meda, Francesco Picasso, Andrea De Domenico, Paolo Mazzaron, Nadia Mazzino, Lorenzo Motta, Aldo Tamponi