Searching for authors named "Angelo Montanari" – sorted by Relevance.
56 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
