Angelo Montanari
Angelo Montanari
Professor of Computer Science, Univ. of Udine
Dirección de correo verificada de uniud.it
Título
Citado por
Citado por
Año
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
557*1998
A consensus glossary of temporal database concepts
CSJJ Clifford, R Elmasri, C Dyreson, FGWKN Kline, N Lorentzos, ...
SIGMOD record 23 (1), 1994
3961994
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
1552004
Temporal representation and reasoning in artificial intelligence: Issues and approaches
L Chittaro, A Montanari
Annals of Mathematics and Artificial Intelligence 28 (1-4), 47-106, 2000
1282000
Efficient temporal reasoning in the cached event calculus
L Chittaro, A Montanari1
Computational Intelligence 12 (3), 359-382, 1996
1081996
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
1012009
Propositional interval neighborhood temporal logics
V Goranko, A Montanari, G Sciavicco
J. UCS 9 (9), 1137-1167, 2003
972003
Metric and layered temporal logic for time granularity
A Montanari
ILLC Dissertation Series 1996-02, University of Amsterdam, 1996
881996
Dealing with Time Granularity in the Event Calculus.
A Montanari, E Maim, E Ciapessoni, E Ratto
FGCS, 702-712, 1992
771992
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
702010
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
672010
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
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
652008
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
621991
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
612007
Interval temporal logics: a journey
D Della Monica, V Goranko, A Montanari, G Sciavicco
Bulletin of EATCS 3 (105), 2013
502013
Decidable Theories of ω-Layered Metric Temporal Structures
A Montanari, A Peron, A Policriti
Advances in Temporal Logic, 91-108, 2000
49*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
491995
Time granularity
J Euzenat, A Montanari
472005
temporal Reasoning.
A Montanari, B Pernici
Temporal Databases, 534-562, 1993
461993
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20