16 citations · 56 across the 25 of their papers we have counts for
13 papers · 1 filter
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…
The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence
Domenico Cantone, Alfio Giarlotta, Stephen Watson
Given a set U of alternatives, a choice (correspondence) on U is a contractive map c defined on a family Omega of nonempty subsets of U. Semantically, a choice c associates to each…
A C++ reasoner for the description logic (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We present an ongoing implementation of a KE-tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\mathcal{DL}\lang…
A set-theoretical approach for ABox reasoning services (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
In this paper we consider the most common ABox reasoning services for the description logic ($\mathcal{DL}_{\mat…