Angelo Montanari
Angelo Montanari
Professor of Computer Science, Univ. of Udine
Email verificata su uniud.it - Home page
Titolo
Citata da
Citata da
Anno
The consensus glossary of temporal database concepts—february 1998 version
CS Jensen, CE Dyreson, M B÷hlen, J Clifford, R Elmasri, SK Gadia, ...
Temporal Databases: Research and Practice, 367-405, 1998
959*1998
A road map of interval temporal logics and duration calculi
V Goranko, A Montanari, G Sciavicco
Journal of applied non-classical logics 14 (1-2), 9-54, 2004
1722004
Temporal representation and reasoning in artificial intelligence: Issues and approaches
L Chittaro, A Montanari
Annals of Mathematics and Artificial Intelligence 28 (1), 47-106, 2000
1332000
Efficient temporal reasoning in the cached event calculus
L Chittaro, A Montanari1
Computational Intelligence 12 (3), 359-382, 1996
1121996
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions
D Bresolin, V Goranko, A Montanari, G Sciavicco
Annals of Pure and Applied Logic 161 (3), 289-304, 2009
1072009
Propositional interval neighborhood temporal logics
V Goranko, A Montanari, G Sciavicco
J. Univers. Comput. Sci. 9 (9), 1137-1167, 2003
1012003
Metric and layered temporal logic for time granularity
A Montanari
ILLC Dissertation Series 1996-02, University of Amsterdam, 1996
861996
Dealing with Time Granularity in the Event Calculus.
A Montanari, E Maim, E Ciapessoni, E Ratto
FGCS, 702-712, 1992
781992
Tableaux for logics of subinterval structures over dense orderings
D Bresolin, V Goranko, A Montanari, P Sala
Journal of Logic and Computation 20 (1), 133-166, 2010
762010
Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals
A Montanari, G Puppis, P Sala
International Colloquium on Automata, Languages, and Programming, 345-356, 2010
742010
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
International Conference on Logic for Programming Artificial Intelligenceá…, 2008
722008
Embedding time granularity in a logical specification language for synchronous real-time systems
E Ciapessoni, E Corsetti, A Montanari, P San Pietro
Science of computer programming 20 (1-2), 141-171, 1993
661993
An optimal decision procedure for right propositional neighborhood logic
D Bresolin, A Montanari, G Sciavicco
Journal of Automated Reasoning 38 (1-3), 173-199, 2007
652007
Dealing with different time granularities in formal specifications of real-time systems
E Corsetti, A Montanari, E Ratto
Real-Time Systems 3 (2), 191-215, 1991
631991
Interval temporal logics: a journey
D Della Monica, V Goranko, A Montanari, G Sciavicco
Bulletin of EATCS 3 (105), 2013
552013
Decidable Theories of ω-Layered Metric Temporal Structures
A Montanari, A Peron, A Policriti
Advances in Temporal Logic, 91-108, 2000
51*2000
A set-theoretic translation method for polymodal logics
G D'Agostino, A Montanari, A Policriti
Journal of Automated Reasoning 15 (3), 317-337, 1995
501995
Search for dark matter produced in association with a Higgs boson decaying to a pair of bottom quarks in proton–proton collisions at s= 13 Te
AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ...
The European Physical Journal C 79 (3), 1-29, 2019
492019
The T4SQL temporal query language
C Combi, A Montanari, G Pozzi
Proceedings of the sixteenth ACM conference on Conference on information andá…, 2007
472007
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
D Bresolin, A Montanari, P Sala
Annual Symposium on Theoretical Aspects of Computer Science, 549-560, 2007
472007
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20