`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:

### Wrote 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.