27 citations · 58 across the 13 of their papers we have counts for
10 papers · 1 filter
Interval Temporal Logic Decision Tree Learning
Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan
Decision trees are simple, yet powerful, classification models used to classify categorical and numerical data, and, despite their simplicity, they are commonly used in operations…
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
Willem Conradie, Salih Durhan, Guido Sciavicco
There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points a…
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
Willem Conradie, Salih Durhan, Guido Sciavicco
There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points a…
On Sub-Propositional Fragments of Modal Logic
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
In this paper, we consider the well-known modal logics , , , and , and we study some of their sub-propositional fragments, namely…
On the Expressive Power of Sub-Propositional Fragments of Modal Logic
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notabl…
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco +3
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, t…