Searching for authors named "Massimo Franceschet" – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
Hybrid logics on linear structures: Expressivity and complexity
- …Hybrid Logics on Linear Structures: Expressivity and Complexity Massimo Franceschet Department…
- Cited by 10 (4 self) – Add To MetaCart
-
Branching within Time: an Expressively Complete and Elementary decdable Temporal Logic for Time Granularity
- … Granularity Massimo Franceschet and Angelo Montanari Department of Mathematics and Computer Science…
- Cited by 5 (5 self) – Add To MetaCart
-
Towards an Automata-Theoretic Counterpart of Combined Temporal Logics
- …Towards an automata-theoretic counterpart of combined temporal logics Massimo Franceschet…
- Cited by 2 (2 self) – Add To MetaCart
-
A graph-theoretic approach to efficiently reason about partially ordered events in the Event Calculus
- … Calculus Massimo Franceschet Angelo Montanari Dipartimento di Matematica e Informatica, Università di Udine…
- Cited by 1 (1 self) – Add To MetaCart
-
Branching within Time
- …Branching within Time Massimo Franceschet and Angelo Montanari Dipartimento di Matematica e…
- Cited by 1 (1 self) – Add To MetaCart
-
A Combined Approach to Temporal Logics for Time Granularity
- …A combined approach to temporal logics for time granularity Massimo Franceschet 1 and Angelo…
- Cited by 4 (1 self) – Add To MetaCart
-
Time granularities in databases, data mining, and temporal reasoning, by Claudio
- …“Time Granularities in Databases, Data Mining, and Temporal Reasoning” (Book Review) Massimo…
- Cited by 2 (2 self) – Add To MetaCart
-
A Logical Approach to Represent and Reason about Calendars
- … Science, University of Verona, Italy E-mail: combi@(email omitted); Massimo Franceschet Department of Sciences…
- Cited by 6 (3 self) – Add To MetaCart
-
A Guided Tour Through Some Extensions Of The Event Calculus
- …A Guided Tour through some Extensions of the Event Calculus ∗ Iliano Cervesato, † Massimo…
- Cited by 4 (2 self) – Add To MetaCart
-
Event calculus with explicit quantifiers
- …Event Calculus with Explicit Quantifiers ∗ Iliano Cervesato † , Massimo Franceschet ‡ , and Angelo…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
