arXiv subjects

Domenico Cantone

Publications and source records attributed to Domenico Cantone.

38 records · Page 3Linked to original sources

arXiv2012

On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version)

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, and prove that it has a solvable satisfiability problem by showing that it enjoys a small model property. Then, we consider the fragments (4LQSR)^h of 4LQSR, consisting of 4LQSR-formulae whose quantifier prefixes have length bounded by h > 1 and satisfying certain syntactic constraints, and prove that each of them has an NP-complete satisfiability problem. Finally we show that the modal logic K45 can be expressed in 4LQSR^3.

cs.LO↗

arXiv2010

On Tuning the Bad-Character Rule: the Worst-Character Rule

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 Boyer-Moore algorithm. Our proposed rule selects a position relative to the current shift which yields the largest average advancement, according to the characters distribution in the text. Experimental results show that the worst-character rule achieves very good results especially in the case of long patterns or small alphabets in random texts and in the case of texts in natural languages.

cs.DS↗