16 citations · 56 across the 25 of their papers we have counts for
4 papers · 1 filter
Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations
Domenico Cantone, Simone Faro, Arianna Pavone
Unbalanced translocations are among the most frequent chromosomal alterations, accounted for 30\% of all losses of heterozygosity, a major genetic event causing inactivation of tum…
Encoding Sets as Real Numbers (Extended version)
Domenico Cantone, Alberto Policriti
We study a variant of the Ackermann encoding of the hereditarily finite sets by the natural numbers, applicable to the larger coll…
A set-based reasoner for the description logic (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R…
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Ewa Orłowska
We present a first result towards the use of entailment in- side relational dual tableau-based decision procedures. To this end, we introduce a fragment of RL(1) which admits a res…