Andrea De Domenico

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 21

Top Topics

Boolean Formula

Davis Putnam Logemann Loveland

Top Venues

Fundam. Informaticae

Publications

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