BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Montanari:Angelo

Contributed to:

CSL 20152015
LATA 20152015
LATA 20132013
LICS 20132013
LICS 20112011
ICALP (2) 20102010
CSL 20092009
SEFM 20092009
CSL 20082008
ICLP 20082008
CIKM 20072007
LICS 20072007
CAiSE 20022002
CAiSE 20012001
KR 20002000
KR 19981998
ICLP 19971997
ICLP 19951995
ILPS 19941994
IJCAR 20162016

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.