Travelled to:1 × Belgium
1 × Germany
1 × Japan
1 × Poland
1 × Spain
1 × Switzerland
1 × Vietnam
2 × Canada
2 × France
2 × Portugal
3 × Italy
3 × USA
Collaborated with:P.Sala C.Combi I.Cervesato G.Puppis G.Sciavicco D.Bresolin M.Franceschet L.Chittaro A.Molinari A.Peron ∅ I.M.Hodkinson G.Pozzi A.Policriti M.Slanina V.Goranko D.D.Monica L.Bozzelli
Talks about:logic (13) interv (9) tempor (7) modal (7) model (5) fragment (4) complex (4) event (4) decid (4) check (4)
Person: Angelo Montanari
DBLP: Montanari:Angelo
Contributed to:
2015
20152013
20132011
20102009
20092008
2008
20072007
20022001
20001998199719951994
2016Wrote 20 papers:
- CSL-2015-MolinariMP #logic #model checking
- A Model Checking Procedure for Interval Temporal Logics based on Track Representatives (AM, AM, AP), pp. 193–210.
- 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.
- LATA-2013-MontanariS #logic #regular expression
- Interval Logics and ωB-Regular Languages (AM, PS), pp. 431–443.
- LICS-2013-MontanariS #complexity #equivalence #logic
- Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (AM, PS), pp. 193–202.
- 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.
- ICALP-v2-2010-MontanariPS #decidability #logic
- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals (AM, GP, PS), pp. 345–356.
- CSL-2009-MontanariPS #decidability #logic
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (AM, GP, PS), pp. 394–408.
- 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.
- ICLP-2008-Montanari #logic
- Back to Interval Temporal Logics (AM), pp. 11–13.
- CIKM-2007-CombiMP #query #sql
- The t4sql temporal query language (CC, AM, GP), pp. 193–202.
- LICS-2007-MontanariP
- A Contraction Method to Decide MSO Theories of Deterministic Trees (AM, GP), pp. 141–150.
- CAiSE-2002-CombiM #multi #query
- Querying Data with Multiple Temporal Dimensions (CC, AM), pp. 711–714.
- CAiSE-2001-CombiM #modelling #multi
- Data Models with Multiple Temporal Dimensions: Completing the Picture (CC, AM), pp. 187–202.
- KR-2000-MontanariPS #automation #deduction #first-order #logic
- Supporting automated deduction in first-order modal logics (AM, AP, MS), pp. 547–556.
- KR-1998-CervesatoFM #calculus #complexity #model checking #quantifier
- The Complexity of Model Checking in Modal Event Calculi with Quantifiers (IC, MF, AM), pp. 368–379.
- ICLP-1997-CervesatoFM #calculus #complexity #model checking
- The Complexity of Model Checking in Modal Event Calculi (IC, MF, AM), p. 419.
- ICLP-1995-CervesatoCM #calculus #framework #logic programming #order
- A Modal Calculus of Partially Ordered Events in a Logic Programming Framework (IC, LC, AM), pp. 299–313.
- ILPS-1994-CervesatoCM #calculus
- Modal Event Calculus (IC, LC, AM), p. 675.
- IJCAR-2016-BozzelliMMPS #logic #model checking
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments (LB, AM, AM, AP, PS), pp. 389–405.