Searching for authors named Angelo Montanari – sorted by Relevance.
-
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability
- Theories of !-Layered Metric Temporal Structures: Expressiveness and Decidability ANGELO
- Cited by 1 (0 self) – Add To MetaCart
-
Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches
- : Issues and Approaches Luca Chittaro and Angelo Montanari Dipartimento di Matematica e Informatica
- Cited by 11 (1 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
-
The Taming (Timing) of the States
- The Taming (Timing) of the States ANGELO MONTANARI , Dipartimento di Matematica e Informatica
- Cited by 7 (7 self) – Add To MetaCart
-
Decidability Results for Metric and Layered Temporal Logics
- Decidability results for metric and layered temporal logics Angelo Montanari and Alberto Policriti
- Cited by 16 (11 self) – Add To MetaCart
-
Time granularities and ultimately periodic automata
- Time Granularities and Ultimately Periodic Automata Davide Bresolin, Angelo Montanari
- Cited by 3 (1 self) – Add To MetaCart
-
Executing Metric Temporal Logic
- Executing Metric Temporal Logic ? Angelo Montanari and Alberto Policriti Dipartimento di
- Cited by 4 (4 self) – Add To MetaCart
-
Towards an Automata-Theoretic Counterpart of Combined Temporal Logics
- and Angelo Montanari Department of Mathematics and Computer Science, University of Udine, Italy
- Cited by 2 (2 self) – Add To MetaCart
-
A Calculus of Macro-Events: Progress Report
- Division ITT Industries, Inc. Alexandria, VA 22303-1410, USA iliano@(email omitted); Angelo Montanari
- Cited by 2 (0 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

