N. Olivetti
发表
Dov M. Gabbay,
Nicola Olivetti,
D. Gabbay,
1998,
Stud Logica.
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity
pdf
Tiziano Dalmonte,
Nicola Olivetti,
Elaine Pimentel,
2020,
J. Log. Comput..
D. Gabbay,
N. Olivetti,
G. Metcalfe,
2008
.
D. Gabbay,
N. Olivetti,
G. Metcalfe,
2010
.
D. Gabbay,
N. Olivetti,
G. Metcalfe,
2004
.
Dov M. Gabbay,
Nicola Olivetti,
D. Gabbay,
2000
.
Laura Giordano,
Nicola Olivetti,
Valentina Gliozzi,
2015,
Lecture Notes in Computer Science.
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2013,
ArXiv.
N. Olivetti,
G. Pozzato,
2007
.
N. Olivetti,
G. Pozzato,
2016
.
N. Olivetti,
G. Pozzato,
R. Alenda,
2012
.
N. Olivetti,
G. Pozzato,
2007
.
N. Olivetti,
G. Pozzato,
2022
.
Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
1994,
ICLP 1994.
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2015,
AI*IA.
N. Olivetti,
Valentina Gliozzi,
Laura Giordano,
2007
.
N. Olivetti,
Valentina Gliozzi,
Laura Giordano,
2007
.
N. Olivetti,
Valentina Gliozzi,
Laura Giordano,
2005
.
N. Olivetti,
G. Pozzato,
2005
.
N. Olivetti,
G. Metcalfe,
2005,
We Will Show Them!.
N. Olivetti,
2015
.
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2013,
Artif. Intell..
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2009,
Fundam. Informaticae.
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2013
.
Nicola Olivetti,
Piero A. Bonatti,
N. Olivetti,
2002,
TOCL.
Nicola Olivetti,
N. Olivetti,
1999
.
Nicola Olivetti,
Piero A. Bonatti,
N. Olivetti,
1997,
CSL.
Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
2000,
J. Log. Program..
Nicola Olivetti,
George Metcalfe,
N. Olivetti,
2011,
Log. Methods Comput. Sci..
Dov M. Gabbay,
Nicola Olivetti,
George Metcalfe,
2002,
TOCL.
Dov M. Gabbay,
Nicola Olivetti,
Agata Ciabattoni,
1999,
Soft Comput..
Nicola Olivetti,
Sara Negri,
Marianna Girlando,
2020,
J. Log. Comput..
Nicola Olivetti,
Sara Negri,
N. Olivetti,
2015,
TABLEAUX.
Nicola Olivetti,
Sara Negri,
Vincent Risch,
2018,
The Review of Symbolic Logic.
Nicola Olivetti,
Sara Negri,
Vincent Risch,
2016,
Advances in Modal Logic.
Laura Giordano,
Nicola Olivetti,
Valentina Gliozzi,
2005,
Artif. Intell..
Camilla Schwind,
Nicola Olivetti,
N. Olivetti,
2001,
ICTCS.
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2015,
Artif. Intell..
Tiziano Dalmonte,
Nicola Olivetti,
Gian Luca Pozzato,
2020,
IJCAR.
Tiziano Dalmonte,
Nicola Olivetti,
Elaine Pimentel,
2020,
LFCS.
Tiziano Dalmonte,
Sara Negri,
Nicola Olivetti,
2019,
AI*IA.
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2007,
LPAR.
Nicola Olivetti,
George Metcalfe,
N. Olivetti,
2009,
TABLEAUX.
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2012,
JELIA.
Dov M. Gabbay,
Nicola Olivetti,
George Metcalfe,
2005,
Log. J. IGPL.
Dov M. Gabbay,
Nicola Olivetti,
D. Gabbay,
2002
.
Dov M. Gabbay,
Nicola Olivetti,
George Metcalfe,
2003,
CSL.
Laura Giordano,
Nicola Olivetti,
N. Olivetti,
1998,
J. Log. Program..
A. Ciabattoni,
N. Olivetti,
X. Parent,
2023,
DEON.
A. Ciabattoni,
N. Olivetti,
X. Parent,
2022,
PRIMA.
N. Olivetti,
Valentina Gliozzi,
Laura Giordano,
2015,
Artif. Intell..
Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
1995,
LPNMR.
N. Olivetti,
C. Schwind,
Valentina Gliozzi,
2009,
TOCL.
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2006,
TOCL.
Laura Giordano,
Nicola Olivetti,
Gian Luca Pozzato,
2005,
LPAR.
Laura Giordano,
Camilla Schwind,
Nicola Olivetti,
2003,
TABLEAUX.
N. Olivetti,
C. Schwind,
N. Peltier,
2020,
A Guided Tour of Artificial Intelligence Research.
Nicola Olivetti,
Gian Luca Pozzato,
N. Olivetti,
2013,
CILC.
Laura Giordano,
Camilla Schwind,
Nicola Olivetti,
2008,
Il Milione.
Nicola Olivetti,
Piero A. Bonatti,
N. Olivetti,
1997,
TABLEAUX.