Travelled to:1 × Canada
1 × France
1 × Italy
1 × Vietnam
Collaborated with:D.Bresolin A.Montanari P.Sala I.M.Hodkinson E.Muñoz-Velasco V.Goranko D.D.Monica
Talks about:logic (5) interv (4) fragment (2) tempor (2) neighborhood (1) constraint (1) axiomatiz (1) structur (1) proposit (1) undecid (1)
Person: Guido Sciavicco
DBLP: Sciavicco:Guido
Contributed to:
2015
2011
2009
20082017Wrote 5 papers:
- LATA-2015-BresolinMMSS #complexity #logic #on the
- On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures (DB, DDM, AM, PS, GS), pp. 511–523.
- LICS-2011-BresolinMSS #decidability #logic #what
- What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL (DB, AM, PS, GS), pp. 387–396.
- SEFM-2009-BresolinGMS #constraints #integer #logic
- Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths (DB, VG, AM, GS), pp. 240–249.
- CSL-2008-HodkinsonMS #axiom #logic
- Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T (IMH, AM, GS), pp. 308–322.
- CSL-2017-BresolinMS #logic #performance #reasoning
- Fast(er) Reasoning in Interval Temporal Logic (DB, EMV, GS), p. 17.