Urmăriți
Angelo Montanari
Angelo Montanari
Professor of Computer Science, Univ. of Udine
Adresă de e-mail confirmată pe uniud.it - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
1008*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
1992004
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
1342000
Efficient temporal reasoning in the cached event calculus
L Chittaro, A Montanari1
Computational Intelligence 12 (3), 359-382, 1996
1271996
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
1132009
On propositional interval neighborhood temporal logics
A Montanari, G Sciavicco
Journal of Universal computer science 9 (9), 1137-1167, 2003
1092003
Metric and layered temporal logic for time granularity
A Montanari
University of Amsterdam, 1996
971996
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
782010
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
772010
Dealing with time granularity in the event calculus
A Montanari, E Maim, E Ciapessoni, E Ratto
Proceedings of Fifth Generation Computer Systems' 92, 702-712, 1992
761992
Interval temporal logics: a journey
D Della Monica, V Goranko, A Montanari, G Sciavicco
Bulletin of EATCS 3 (105), 2013
742013
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
Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008
732008
Synthesis of LTL formulas from natural language texts: State of the art and research directions
A Brunello, A Montanari, M Reynolds
26th International symposium on temporal representation and reasoning (TIME …, 2019
712019
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
691993
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
651991
An optimal decision procedure for right propositional neighborhood logic
D Bresolin, A Montanari, G Sciavicco
Journal of Automated Reasoning 38, 173-199, 2007
642007
Time granularity
J Euzenat, A Montanari
Foundations of Artificial Intelligence 1, 59-118, 2005
592005
Managing different time granularities of clinical information by an interval-based temporal data model
C Combi, F Pinciroli, G Pozzi
Methods of information in medicine 34 (05), 458-474, 1995
591995
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning
A Bernardini, A Brunello, GL Gigli, A Montanari, N Saccomanno
Artificial Intelligence in Medicine 118, 102133, 2021
552021
A set-theoretic translation method for polymodal logics
G D'Agostino, A Montanari, A Policriti
Journal of Automated Reasoning 15, 317-337, 1995
531995
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20