Andrea De Domenico

According to our database, Andrea De Domenico authored at least 17 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Obligations and permissions on selfextensional logics.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

CoRR, 2024

2023

A Meta-Learning Algorithm for Interrogative Agendas.

Erman Acar, Andrea De Domenico, Krishna Manoorkar, Mattia Panettiere

CoRR, 2023

Non-distributive Description Logic.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Labelled Calculi for the Logics of Rough Concepts.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

Labelled Calculi for Lattice-Based Modal Logics.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

2022

Unified inverse correspondence for DLE-Logics.

Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis

CoRR, 2022

Modal reduction principles across relational semantics.

Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis

CoRR, 2022

Subordination Algebras as Semantic Environment of Input/Output Logic.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

Proceedings of the Logic, Language, Information, and Computation, 2022

Algorithmic correspondence and analytic rules.

Andrea De Domenico, Giuseppe Greco

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage.

Selenia Anastasi, Andrea De Domenico, Marianna Nicolosi Asmundo

Proceedings of the 1st Workshop on Artificial Intelligence for Cultural Heritage, 2022

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

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

On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework.

Domenico Cantone, Andrea De Domenico, Pietro Maugeri

Proceedings of the Proceedings 12th International Symposium on Games, 2021

2020

An Ontology for the Iconographic Sources of La Divina Commedia.

Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo

Proceedings of the 35th Italian Conference on Computational Logic, 2020

A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF.

Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019

Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory.

Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2008

SeSaR: Security for Safety.

Ermete Meda, Francesco Picasso, Andrea De Domenico, Paolo Mazzaron, Nadia Mazzino, Lorenzo Motta, Aldo Tamponi

Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008