Angelo Montanari
Papers
1
Total Citations
10
H-Index
1
About
Angelo Montanari is a leading researcher at the intersection of temporal reasoning, formal methods, and artificial intelligence, with a particular focus on interval-based temporal logics and their applications in computer science. His major contributions include pioneering work on the expressiveness and decidability of interval temporal logics, notably the logic of Allen’s interval relations, and developing automated reasoning techniques for these formalisms. Montanari’s research has significantly advanced the theoretical foundations of temporal representation, enabling robust verification and planning in dynamic systems. His work has garnered substantial impact, with his most-cited papers collectively accumulating thousands of citations—including seminal studies on the complexity of interval logics and their use in model checking. A notable achievement is his leadership in the European project on temporal reasoning for robotics, as reflected in his recent 2024 survey on AI and robotics in the furniture industry, which has already attracted early citations. Montanari’s contributions have shaped both theoretical computer science and practical AI applications, making him a key figure in temporal logic research.
Research Focus
Key Achievements
Top Papers
- 1