Skip to content

Author

Marco Console

We have 2 of 61 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Open access Sep 2026

Finite Axiomatizability by Disjunctive Existential Rules (Extended Abstract)

In this short paper, we discuss a model-theoretic characterization of when a collection of relational structures is axiomatizable via a finite set of disjunctive existential rules. The presented characterization uses the property of criticality, a refined version of closure under direct products, and a new property tha...

M. Calautti, Marco Console, Andreas Pieris · 0 citations
2026

Formal Reasoning with Learned Predicates (Extended Abstract)

This paper provides its computational complexity analysis for ontologies specified in (the Description Logic counterpart of) RDFS, and binary Multi-Layer Perceptrons, and binary Multi-Layer Perceptrons.

Gianluca Cima, Marco Console, Laura Papi · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.