#### Filter Results:

- Full text PDF available (32)

#### Publication Year

2006

2018

- This year (4)
- Last 5 years (40)
- Last 10 years (62)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Angelo Montanari, Gabriele Puppis, Pietro Sala
- ICALP
- 2010

In this paper, we focus our attention on the fragment of Halpern and Shoham’s modal logic of intervals (HS) that features four modal operators corresponding to the relations “meets”, “met by”, “begun… (More)

Interval temporal logics provide a natural framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive ontological entities.… (More)

- Carlo Combi, Paolo Parise, Pietro Sala, Giuseppe Pozzi
- 2013 IEEE 13th International Conference on Data…
- 2013

Functional dependencies (FD) model constraints over databases like "employees with the same role get the same salary". Some extensions have been introduced to represent temporal constraints: temporal… (More)

- Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
- 2011 IEEE 26th Annual Symposium on Logic in…
- 2011

The introduction of Halpern and Shoham's modal logic of intervals (later on called HS) dates back to 1986. Despite its natural semantics, this logic is undecidable over all interesting classes of… (More)

- Angelo Montanari, Gabriele Puppis, Pietro Sala
- CSL
- 2009

We introduce a spatial modal logic based on cone-shaped cardinal directions over the rational plane and we prove that, unlike projection-based ones, such as, for instance, Compass Logic, its… (More)

- Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
- STACS
- 2010

In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natural numbers. We first introduce… (More)

- Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
- GandALF
- 2012

Interval temporal logics provide a general framework for te mporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive ontological entities.… (More)

- Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
- TABLEAUX
- 2009

The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization and implementation of… (More)

Interval temporal logics provide a natural framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive ontological entities.… (More)

- Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
- J. Log. Comput.
- 2010

In this article, we develop tableau-based decision procedures for the logics of subinterval structures over dense linear orderings. In particular, we consider the two difficult cases: the relation of… (More)