A. Montanari
发表
Massimo Franceschet,
A. Montanari,
2001
.
I. Cervesato,
A. Montanari,
L. Chittaro,
1995
.
V. Goranko,
A. Montanari,
G. Sciavicco,
2004
.
A. Montanari,
A. Policriti,
1997
.
A. Montanari,
A. Policriti,
G. D'Agostino,
1995
.
A. Montanari,
A. Policriti,
G. D'Agostino,
1995
.
Angelo Montanari,
Massimo Franceschet,
Massimo Franceschet,
2003
.
Martin Breunig,
Philippe Bonnet,
Arie Shoshani,
2009,
Encyclopedia of Database Systems.
Angelo Montanari,
Alessandro Provetti,
Iliano Cervesato,
1993
.
Angelo Montanari,
Alessandro Provetti,
Iliano Cervesato,
1993
.
Angelo Montanari,
Massimo Franceschet,
Massimo Franceschet,
2001
.
M. de Rijke,
A. Montanari,
1995
.
G. Gigli,
A. Montanari,
A. Bernardini,
2022,
Scientific data.
Johan van Benthem,
Angelo Montanari,
Alberto Policriti,
1997,
J. Log. Comput..
Gustavo Alonso,
Martin Breunig,
Vilém Novák,
2009,
Encyclopedia of Database Systems.
Martin Breunig,
Philippe Bonnet,
Arie Shoshani,
2009,
Encyclopedia of Database Systems.
A. Montanari,
2007
.
A. Montanari,
Mark Reynolds,
N. Gigante,
2016
.
Dario Della Monica,
A. Montanari,
A. Murano,
2016
.
Gustavo Alonso,
Martin Breunig,
Vilém Novák,
2009,
Encyclopedia of Database Systems.
Dario Della Monica,
V. Goranko,
A. Montanari,
2011
.
Angelo Montanari,
Luca Chittaro,
Alessandro Provetti,
1994,
ECAI.
I. Cervesato,
Massimo Franceschet,
A. Montanari,
1997
.
A. Provetti,
A. Montanari,
L. Chittaro,
1994
.
Angelo Montanari,
Enrico Maim,
Emanuele Ciapessoni,
1992,
FGCS.
Barbara Pernici,
Angelo Montanari,
Nina Edelweiss,
1994,
ORM.
Angelo Montanari,
Massimo Franceschet,
Iliano Cervesato,
2000,
Comput. Intell..
A. Cimatti,
S. Tonetta,
A. Montanari,
2022,
FoSSaCS.
Dario Della Monica,
A. Montanari,
P. Sala,
2015
.
A. Montanari,
Andrea Brunello,
Nicola Saccomanno,
2022,
Pervasive Mob. Comput..
Dario Della Monica,
A. Montanari,
G. Sciavicco,
2014
.
A. Artale,
A. Montanari,
Luca Geatti,
2022,
Proceedings of the AAAI Conference on Artificial Intelligence.
Angelo Montanari,
Luca Chittaro,
A. Montanari,
2000,
Annals of Mathematics and Artificial Intelligence.
Michael H. Böhlen,
Yousef J. Al-Houmaily,
Sônia Fernandes Silva,
2009,
Encyclopedia of Database Systems.
Dario Della Monica,
Angelo Montanari,
Pietro Sala,
2016,
JELIA.
Valentin Goranko,
Guido Sciavicco,
Dario Della Monica,
2016,
Acta Informatica.
Guido Sciavicco,
Dario Della Monica,
Luca Aceto,
2014,
JELIA.
Guido Sciavicco,
Dario Della Monica,
Luca Aceto,
2013,
2013 20th International Symposium on Temporal Representation and Reasoning.
Ugo Dal Lago,
Gabriele Puppis,
Angelo Montanari,
2003,
ICTCS.
Dov M. Gabbay,
Valentin Goranko,
Ulle Endriss,
2003
.
Matjaz Gams,
Angelo Montanari,
Eva Cerncic,
2016,
Informatica.
Angelo Montanari,
Elena Ratto,
Edoardo Corsetti,
1991,
Real-Time Systems.
Guido Sciavicco,
Dario Della Monica,
David de Frutos-Escrig,
2017,
TIME.
Guido Sciavicco,
Angelo Montanari,
Isabel Navarrete,
2012,
ICAART.
Guido Sciavicco,
Angelo Montanari,
Isabel Navarrete,
2012,
ICAART.
Angelo Montanari,
Luca Chittaro,
A. Montanari,
1996,
The Knowledge Engineering Review.
Barbara Pernici,
Angelo Montanari,
B. Pernici,
1993,
Temporal Databases.
Fernando Jiménez,
Enrico Marzano,
Gracia Sánchez,
2019,
Expert Syst. J. Knowl. Eng..
Angelo Montanari,
Mark Reynolds,
Marta Cialdea Mayer,
2018,
TIME.
Angelo Montanari,
Pietro Sala,
Adriano Peron,
2017,
ACM Trans. Comput. Log..
Enrico Marzano,
Nicola Vitacolonna,
Angelo Montanari,
2019,
J. Cases Inf. Technol..
Angelo Montanari,
Pietro Sala,
Carlo Combi,
2011,
SSTD.
Davide Bresolin,
Guido Sciavicco,
Dario Della Monica,
2014,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2007,
LFCS.
Valentin Goranko,
Guido Sciavicco,
Angelo Montanari,
2004,
J. Appl. Non Class. Logics.
Enrico Marzano,
Guido Sciavicco,
Angelo Montanari,
2019,
Comput..
Enrico Marzano,
Guido Sciavicco,
Angelo Montanari,
2018,
MIKE.
A. Montanari,
A. Casoli,
L. Palla,
2001
.
A. Montanari,
D. King,
C. Koeberl,
2002
.
A. Montanari,
Federico Pittino,
Andrea Brunello,
2021,
Sensors.
Dario Della Monica,
Angelo Montanari,
Andrea Brunello,
2020,
OVERLAY.
Dario Della Monica,
Angelo Montanari,
Andrea Brunello,
2019,
OVERLAY@AI*IA.
Valentin Goranko,
Guido Sciavicco,
Dario Della Monica,
2012,
J. Univers. Comput. Sci..
M. de Rijke,
Maarten de Rijke,
Angelo Montanari,
2004,
Automated Software Engineering.
Angelo Montanari,
Massimo Franceschet,
Massimo Franceschet,
2002
.
Angelo Montanari,
Andrea Brunello,
Gian Luigi Gigli,
2021,
Artif. Intell. Medicine.
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
Dario Della Monica,
Angelo Montanari,
Pietro Sala,
2012,
Logic Programs, Norms and Action.
A. Montanari,
Andrea Brunello,
Nicola Saccomanno,
2022,
IEEE Access.
Angelo Montanari,
Aniello Murano,
Giuseppe Perelli,
2014,
Acta Informatica.
Angelo Montanari,
Massimo Franceschet,
Massimo Franceschet,
2003,
Theory and Practice of Logic Programming.
A. Montanari,
A. D. Torre,
Andrea Brunello,
2022,
Sensors.
Angelo Montanari,
Andrea Brunello,
Nicola Saccomanno,
2021,
IEEE Sensors Journal.
Angelo Montanari,
Donatella Gubiani,
Chris Marshall,
2017,
2017 International Conference on Localization and GNSS (ICL-GNSS).
D. A. King,
A. Montanari,
C. Koeberl,
1999
.
Dario Della Monica,
V. Goranko,
A. Montanari,
2013,
Software & Systems Modeling.
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2010,
ECAI.
Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
2010,
J. Log. Comput..
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
2009,
M4M.
Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
2008
.
Valentin Goranko,
Guido Sciavicco,
Angelo Montanari,
2003,
J. Univers. Comput. Sci..
Valentin Goranko,
Guido Sciavicco,
Dario Della Monica,
2013,
Bull. EATCS.
Davide Bresolin,
Guido Sciavicco,
Dario Della Monica,
2012,
GandALF.
M. de Rijke,
Maarten de Rijke,
Angelo Montanari,
1997,
Theor. Comput. Sci..
Arie Segev,
Curtis E. Dyreson,
John F. Roddick,
1994,
SIGMOD 1994.
Ramez Elmasri,
Sushil Jajodia,
Arie Segev,
1997,
Temporal Databases, Dagstuhl.
A. Montanari,
Martin Kraft,
Federico Pittino,
2020,
2020 International Conference on Data Mining Workshops (ICDMW).
A. Montanari,
G. Sciavicco,
Andrea Brunello,
2022,
ArXiv.
Angelo Montanari,
Donatella Gubiani,
Chris Marshall,
2018,
2018 Ubiquitous Positioning, Indoor Navigation and Location-Based Services (UPINLBS).
Dario Della Monica,
A. Montanari,
Andrea Brunello,
2023,
IEEE Access.
Angelo Montanari,
Alessandro Cimatti,
Stefano Tonetta,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Davide Bresolin,
Guido Sciavicco,
Dario Della Monica,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Angelo Montanari,
A. Montanari,
1996,
ILLC dissertation series.
Angelo Montanari,
Andrea Brunello,
Mark Reynolds,
2019,
TIME.
A. Montanari,
Andrea Brunello,
Nicola Saccomanno,
2023,
Expert Systems with Applications.
Gabriele Puppis,
Angelo Montanari,
A. Montanari,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Gabriele Puppis,
Angelo Montanari,
Pietro Sala,
2009,
CSL.
A. Montanari,
Luca Geatti,
N. Gigante,
2022,
GandALF.
Angelo Montanari,
Pietro Sala,
A. Montanari,
2021,
Theor. Comput. Sci..
A. Cimatti,
A. Montanari,
Luca Geatti,
2021,
Formal Methods in System Design.
Angelo Montanari,
Pietro Sala,
A. Montanari,
2014,
GandALF.
Angelo Montanari,
Alessandro Cimatti,
Stefano Tonetta,
2021,
SEFM.
Angelo Montanari,
Mark Reynolds,
Marta Cialdea Mayer,
2020,
Theor. Comput. Sci..
Gerhard J. Woeginger,
Angelo Montanari,
Adriano Peron,
2020,
Theor. Comput. Sci..
Guido Sciavicco,
Dario Della Monica,
Angelo Montanari,
2017,
IJCAI.
Angelo Montanari,
Marta Cialdea Mayer,
Nicola Gigante,
2017,
ICAPS.
Angelo Montanari,
Nicola Gigante,
Andrea Orlandini,
2016,
2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).
Dario Della Monica,
Angelo Montanari,
Salvatore La Torre,
2020,
TIME.
Dario Della Monica,
Angelo Montanari,
Pietro Sala,
2018,
KR.
Angelo Montanari,
Luca Chittaro,
A. Montanari,
1996,
Comput. Intell..
Angelo Montanari,
Luca Geatti,
Nicola Gigante,
2021,
OVERLAY@GandALF.
Angelo Montanari,
Donatella Gubiani,
A. Montanari,
2009,
DEXA.
Angelo Montanari,
Massimo Franceschet,
Massimo Franceschet,
1999,
Annals of Mathematics and Artificial Intelligence.
Valentin Goranko,
Guido Sciavicco,
Angelo Montanari,
2003,
TABLEAUX.
A. Montanari,
M. D. Rijke,
1997,
Theor. Comput. Sci..
M. de Rijke,
Maarten de Rijke,
Angelo Montanari,
1995,
AMAST.
Davide Bresolin,
Guido Sciavicco,
Dario Della Monica,
2014,
Theor. Comput. Sci..
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2009,
Ann. Pure Appl. Log..
Angelo Montanari,
Alberto Policriti,
A. Montanari,
1996,
Notre Dame J. Formal Log..
Angelo Montanari,
Emanuele Ciapessoni,
Pierluigi San Pietro,
1993,
Sci. Comput. Program..
E. Corsetti,
E. Crivelli,
D. Mandrioli,
1991,
Proceedings of the Sixth International Workshop on Software Specification and Design.
L. Bozzelli,
A. Montanari,
A. Peron,
2021,
Theor. Comput. Sci..
Angelo Montanari,
Adriano Peron,
Laura Bozzelli,
2019,
FSTTCS.
Agostino Dovier,
Angelo Montanari,
Carla Piazza,
2010,
Fundam. Informaticae.
Guido Sciavicco,
Angelo Montanari,
Ian M. Hodkinson,
2008,
CSL.
J. Benthem,
A. Montanari,
A. Policriti,
1997,
J. Log. Comput..
Angelo Montanari,
Massimo Franceschet,
Donatella Gubiani,
2007,
18th International Workshop on Database and Expert Systems Applications (DEXA 2007).
Massimo Franceschet,
A. Montanari,
2007
.
Angelo Montanari,
Iliano Cervesato,
I. Cervesato,
1999,
J. Log. Program..
Guido Sciavicco,
Dario Della Monica,
Angelo Montanari,
2019,
GCAI.
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2011,
Software & Systems Modeling.
Angelo Montanari,
Adriano Peron,
Alberto Molinari,
2015,
2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).
Agostino Dovier,
Angelo Montanari,
Carla Piazza,
2010
.
A. Montanari,
A. Dovier,
C. Piazza,
2022
.
Angelo Montanari,
Donatella Gubiani,
Chris Marshall,
2019,
Geo spatial Inf. Sci..
Angelo Montanari,
Pietro Sala,
A. Montanari,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Davide Bresolin,
Valentin Goranko,
Guido Sciavicco,
2008,
LPAR.
Angelo Montanari,
Alessandro Provetti,
Iliano Cervesato,
1993
.
Angelo Montanari,
Carlo Combi,
Combi Carlo,
2001,
CAiSE.
Davide Bresolin,
Guido Sciavicco,
Dario Della Monica,
2012,
ECAI.
Gabriele Puppis,
Angelo Montanari,
Pietro Sala,
2010,
ICALP.
Angelo Montanari,
Donatella Gubiani,
Andrea Dalla Torre,
2019,
ADBIS.
Gabriele Puppis,
Angelo Montanari,
A. Montanari,
2004,
FSTTCS.
M. H. van den Berg,
J. Kamps,
M. Dastani,
1996
.
Angelo Montanari,
Carla Piazza,
Massimo Franceschet,
2009,
SEBD.
Ugo Dal Lago,
Gabriele Puppis,
Angelo Montanari,
2007,
Theor. Comput. Sci..