Nicola Olivetti

发表

Tiziano Dalmonte, Sara Negri, Nicola Olivetti, 2019, AI*IA.
Laura Giordano, Nicola Olivetti, N. Olivetti, 1998, J. Log. Program..
Nicola Olivetti, Régis Alenda, 2011, TABLEAUX.
Nicola Olivetti, Gian Luca Pozzato, N. Olivetti, 2013, CILC.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, 1994, ICLP.
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, 2000, ECAI.
Nicola Olivetti, Gian Luca Pozzato, 2003, TABLEAUX.
Nicola Olivetti, Gian Luca Pozzato, Régis Alenda, 2010, Electron. Notes Theor. Comput. Sci..
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, 2002, Stud Logica.
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, 2005, Artif. Intell..
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2007, LPAR.
Nicola Olivetti, Sara Negri, Vincent Risch, 2016, Advances in Modal Logic.
Nicola Olivetti, Gian Luca Pozzato, Björn Lellmann, 2017, TABLEAUX.
Tiziano Dalmonte, Nicola Olivetti, Elaine Pimentel, 2020, J. Log. Comput..
Dov M. Gabbay, Nicola Olivetti, D. Gabbay, 2002 .
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2012, CILC.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2009, Fundam. Informaticae.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, 1996, Log. J. IGPL.
Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2003 .
Camilla Schwind, Nicola Olivetti, Régis Alenda, 2009, TABLEAUX.
Nicola Olivetti, Gian Luca Pozzato, 2015, TABLEAUX.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2009, AI*IA.
Nicola Olivetti, 2004, Journal of Automated Reasoning.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, 2000, J. Log. Program..
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2015, Description Logics.
Nicola Olivetti, George Metcalfe, N. Olivetti, 2011, Log. Methods Comput. Sci..
Nicola Olivetti, Gian Luca Pozzato, Björn Lellmann, 2016, JELIA.
Dov M. Gabbay, Nicola Olivetti, 2000 .
Dov M. Gabbay, Nicola Olivetti, Agata Ciabattoni, 1999, Soft Comput..
Dov M. Gabbay, Nicola Olivetti, 2000 .
Tiziano Dalmonte, Nicola Olivetti, Charles Grellois, 2020, J. Philos. Log..
Nicola Olivetti, Gian Luca Pozzato, 2005, TABLEAUX.
Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2003, CSL.
Laura Giordano, Nicola Olivetti, 1992, JICSLP.
Tiziano Dalmonte, Nicola Olivetti, Elaine Pimentel, 2020, LFCS.
Nicola Olivetti, Gian Luca Pozzato, Régis Alenda, 2012, JELIA.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2006, TOCL.
Nicola Olivetti, Sara Negri, Vincent Risch, 2018, The Review of Symbolic Logic.
Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2005, Log. J. IGPL.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2013, ArXiv.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2011, CILC.
Laura Giordano, Camilla Schwind, Nicola Olivetti, 2008, Il Milione.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2008, JELIA.
Dov M. Gabbay, Nicola Olivetti, 2000 .
Tiziano Dalmonte, Nicola Olivetti, Sara Negri, 2018, Advances in Modal Logic.
Camilla Schwind, Nicola Olivetti, N. Olivetti, 2001, ICTCS.
Nicola Olivetti, Gian Luca Pozzato, Régis Alenda, 2016, J. Log. Comput..
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2013, CILC.
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, 2015, Lecture Notes in Computer Science.
Nicola Olivetti, Sara Negri, Marianna Girlando, 2018, Advances in Modal Logic.
Nicola Olivetti, N. Olivetti, 1999 .
Nicola Olivetti, Piero A. Bonatti, N. Olivetti, 1997, TABLEAUX.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2012, JELIA.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2013, AI*IA.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2008 .
Laura Giordano, Camilla Schwind, Nicola Olivetti, 2003, TABLEAUX.
Nicola Olivetti, Piero A. Bonatti, N. Olivetti, 1997, CSL.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2010, LPAR.
Nicola Olivetti, Sara Negri, Marianna Girlando, 2020, J. Log. Comput..
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2006, ECAI.
Nicola Olivetti, Gian Luca Pozzato, 2015, CILC.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2015, AI*IA.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2010, ECAI.
Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2002, TOCL.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2009, Description Logics.
Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato, 2020, IJCAR.
Nicola Olivetti, George Metcalfe, N. Olivetti, 2009, TABLEAUX.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, 1994, ICLP 1994.
Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2002, TABLEAUX.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2005, LPAR.
Camilla Schwind, Nicola Olivetti, Gian Luca Pozzato, 2007, TOCL.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2012, Description Logics.
Camilla Schwind, Nicola Olivetti, Dmitry Tishkovsky, 2010, CSL.
Nicola Olivetti, Björn Lellmann, Marianna Girlando, 2019, JELIA.
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, 2018, Fundam. Informaticae.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2013, Artif. Intell..
Nicola Olivetti, Gian Luca Pozzato, Björn Lellmann, 2020, CILC.
Nicola Olivetti, 2003, Stud Logica.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2013, Description Logics.
Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2004, Arch. Math. Log..
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2011, TABLEAUX.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2015, Artif. Intell..
Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2009 .
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2015, AI*IA.
Laura Giordano, Camilla Schwind, Nicola Olivetti, 2009, TOCL.
Dov M. Gabbay, Nicola Olivetti, George Metcalfe, 2004, CSL.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2014, ICTCS.
Nicola Olivetti, Gian Luca Pozzato, Björn Lellmann, 2017, TABLEAUX.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2011, IJCAI.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2009, LPNMR.
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, 2001, AI*IA.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2014, Description Logics.
Nicola Olivetti, Daniele Mundici, 1998, Theor. Comput. Sci..
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2006, JELIA.
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, 1998, JELIA.
Nicola Olivetti, Piero A. Bonatti, N. Olivetti, 2002, TOCL.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, 1995, LPNMR.
Nicola Olivetti, Lea Terracini, 1992, J. Log. Lang. Inf..
Nicola Olivetti, 2021, Electronic Proceedings in Theoretical Computer Science.
Tiziano Dalmonte, Nicola Olivetti, Charles Grellois, 2021, TABLEAUX.
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2013 .
Nicola Olivetti, Gian Luca Pozzato, 2008 .
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2007 .
Laura Giordano, Nicola Olivetti, Gian Luca Pozzato, 2011 .
Camilla Schwind, Nicola Olivetti, Dmitry Tishkovsky, 2010, CSL 2010.
Dov M. Gabbay, Nicola Olivetti, D. Gabbay, 2000 .