2 citations · 5 across the 5 of their papers we have counts for
5 papers
On the satisfiability problem for a 3-level quantified syllogistic
Domenico Cantone, Marianna Nicolosi Asmundo
We show that a collection of three-sorted set-theoretic formulae, denoted TLQSR and which admits a restricted form of quantification over individual and set variables, has a solvab…
An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World
Antonio Pisasale, Domenico Cantone
This paper describes the analysis of a selected testbed of Semantic Web ontologies, by a SPARQL query, which determines those ontologies that can be related to the description logi…
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions
Domenico Cantone, Cristiano Longo
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers an…
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version)
Domenico Cantone, Marianna Nicolosi Asmundo
We introduce a multi-sorted stratified syllogistic, called 4LQSR, admitting variables of four sorts and a restricted form of quantification over variables of the first three sorts,…
On Tuning the Bad-Character Rule: the Worst-Character Rule
Domenico Cantone, Simone Faro
In this note we present the worst-character rule, an efficient variation of the bad-character heuristic for the exact string matching problem, firstly introduced in the well-known…