Domenico Cantone | DeepAI

AI Chat

Featured Co-authors

Giampaolo Bella
24 publications
Daniele Francesco Santamaria
11 publications
Simone Faro
10 publications
Alberto Policriti
8 publications
Marianna Nicolosi-Asmundo
8 publications
Caterina Viola
7 publications
Arianna Pavone
7 publications
Andrea De Domenico
6 publications
Pietro Maugeri
2 publications
Carmelo Fabio Longo
2 publications
Corrado Santoro
2 publications

∙ 09/03/2023

Longest Common Substring and Longest Palindromic Substring in 𝒪̃(√(n)) Time

The Longest Common Substring (LCS) and Longest Palindromic Substring (LP...

0 Domenico Cantone, et al. ∙

∙ 08/22/2023

Quantum Circuits for Fixed Substring Matching Problems

Quantum computation represents a computational paradigm whose distinctiv...

0 Domenico Cantone, et al. ∙

∙ 06/14/2023

The Ontology for Agents, Systems and Integration of Services: OASIS version 2

Semantic representation is a key enabler for several application domains...

0 Giampaolo Bella, et al. ∙

∙ 03/31/2023

The Many Qualities of a New Directly Accessible Compression Scheme

We present a new variable-length computation-friendly encoding scheme, n...

0 Domenico Cantone, et al. ∙

∙ 12/09/2021

Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae

As a contribution to quantitative set-theoretic inferencing, a translati...

0 Domenico Cantone, et al. ∙

∙ 09/17/2021

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

The Satisfiability Modulo Theories (SMT) issue concerns the satisfiabili...

0 Domenico Cantone, et al. ∙

∙ 09/07/2021

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)

Blockchains are gaining momentum due to the interest of industries and p...

0 Giampaolo Bella, et al. ∙

∙ 01/03/2021

Text Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations

In this paper we investigate the approximate string matching problem whe...

0 Domenico Cantone, et al. ∙

∙ 12/02/2020

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services

In this contribution we extend an ontology for modelling agents and thei...

0 Domenico Cantone, et al. ∙

∙ 12/02/2018

Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations

Unbalanced translocations are among the most frequent chromosomal altera...

0 Domenico Cantone, et al. ∙

∙ 06/25/2018

Encoding Sets as Real Numbers (Extended version)

We study a variant of the Ackermann encoding N(x) := ∑_y∈ x2^N(y) of the...

0 Domenico Cantone, et al. ∙

∙ 05/18/2018

A set-based reasoner for the description logic (Extended Version)

We present a -based implementation of a reasoner for a decidable fragmen...

0 Domenico Cantone, et al. ∙

∙ 04/27/2018

An optimized KE-tableau-based system for reasoning in the description logic (Extended Version)

We present a -based procedure for the main TBox and ABox reasoning tasks...

0 Domenico Cantone, et al. ∙

∙ 04/27/2018

An optimized KE-tableau-based system for reasoning in the description logic

We present a -based procedure for the main TBox and ABox reasoning tasks...

0 Domenico Cantone, et al. ∙

∙ 02/21/2018

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)

We present a first result towards the use of entailment in- side relatio...

0 Domenico Cantone, et al. ∙

∙ 09/08/2017

The Shape of a Benedictine Monastery: The SaintGall Ontology

We present an OWL 2 ontology representing the Saint Gall plan, one of th...

0 Claudia Cantale, et al. ∙

∙ 09/07/2017

The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence

Given a set U of alternatives, a choice (correspondence) on U is a contr...

0 Domenico Cantone, et al. ∙

∙ 11/21/2012

An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World

This paper describes the analysis of a selected testbed of Semantic Web ...

0 Antonio Pisasale, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world