M. Proietti

发表

Maurizio Proietti, Hirohisa Seki, H. Seki, 2014 .
M. Proietti, F. Fioravanti, A. Pettorossi, 2015 .
M. Proietti, A. Pettorossi, Valerio Senni, 2008 .
M. Proietti, F. Fioravanti, A. Pettorossi, 2002, IEEE International Conference on Systems, Man and Cybernetics.
M. Proietti, A. Pettorossi, Valerio Senni, 2009 .
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2022 .
M. Proietti, F. Fioravanti, A. Pettorossi, 2012 .
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 1994 .
M. Proietti, F. Fioravanti, A. Pettorossi, 2007 .
M. Proietti, F. Fioravanti, A. Pettorossi, 2022, Theory and Practice of Logic Programming.
Marco Montali, Maurizio Proietti, Paolo Felli, 2021, Fundam. Informaticae.
Maurizio Proietti, Hirohisa Seki, H. Seki, 2014, Lecture Notes in Computer Science.
Maurizio Proietti, Claudia Diamantini, Domenico Potena, 2013, Int. J. Inf. Syst. Model. Des..
Maurizio Proietti, Fabrizio Smith, Francesco Taglino, 2012, INVIT.
Maurizio Proietti, Fabrizio Smith, Francesco Taglino, 2012, NGEBIS.
Maurizio Proietti, Michele Missikoff, Fabrizio Smith, 2010 .
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 1996, CSUR.
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 1994, J. Log. Program..
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 1993, Formal Program Development.
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 1991, PEPM '91.
Maurizio Proietti, Fabrizio Smith, M. Proietti, 2014, SIMPDA.
Maurizio Proietti, Fabrizio Smith, M. Proietti, 2013, ICAART.
Alberto Pettorossi, Maurizio Proietti, Valerio Senni, 2008, ICLP.
Alberto Pettorossi, Maurizio Proietti, Emanuele De Angelis, 2012, CILC.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2011, Theory and Practice of Logic Programming.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2010, LOPSTR.
Alberto Pettorossi, Maurizio Proietti, Valerio Senni, 2005, LOPSTR.
Antonio De Nicola, Maurizio Proietti, Michele Missikoff, 2010, DEXA.
Antonio De Nicola, Maurizio Proietti, Michele Missikoff, 2010, SEBD.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2017, RuleML+RR.
Maurizio Proietti, Emanuele De Angelis, Guglielmo De Angelis, 2021, 2021 IEEE International Conference on Service-Oriented System Engineering (SOSE).
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2021, J. Log. Comput..
John P. Gallagher, Alberto Pettorossi, Manuel V. Hermenegildo, 2021, Theory Pract. Log. Program..
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2018, Theory and Practice of Logic Programming.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2017, LOPSTR.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2017, ArXiv.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2017, Theory and Practice of Logic Programming.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2016, SAS.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2015, Theory and Practice of Logic Programming.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2013, Festschrift for Dave Schmidt.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2013, VPT@CAV.
Alberto Pettorossi, Maurizio Proietti, Sophie Renault, 2003, High. Order Symb. Comput..
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2000, LOPSTR.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2016, CILC.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2015 .
M. Proietti, F. Fioravanti, A. Pettorossi, 2015 .
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2013, CILC.
Alberto Pettorossi, Maurizio Proietti, Valerio Senni, 2010, 25 Years GULP.
M. Proietti, A. Pettorossi, 2002, Computational Logic: Logic Programming and Beyond.
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 1994, GULP.
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 1996, The Knowledge Engineering Review.
Maurizio Proietti, Michele Missikoff, Fabrizio Smith, 2011, DEXA.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2016, LOPSTR.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2019, TAP@FM.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2011, Fundam. Informaticae.
M. Proietti, A. Pettorossi, V. Senni, 2009, Fundam. Informaticae.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2011, LOPSTR.
Alberto Pettorossi, Maurizio Proietti, Valerio Senni, 2010, Theory and Practice of Logic Programming.
Alberto Pettorossi, Maurizio Proietti, Valerio Senni, 2009, LOPSTR.
Alberto Pettorossi, Maurizio Proietti, Valerio Senni, 2006, ICLP.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2004, Program Development in Computational Logic.
M. Proietti, F. Fioravanti, A. Pettorossi, 2002, LOPSTR.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2001, LOPSTR.
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 2000, Computational Logic.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2013, Fundam. Informaticae.
Alberto Pettorossi, Maurizio Proietti, Valerio Senni, 2010, CILC.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2004, MSRAS.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2012, LOPSTR.
Alberto Pettorossi, Maurizio Proietti, Kung-Kiu Lau, 1995, ILPS.
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 2002, Formal Aspects of Computing.
Alberto Pettorossi, Maurizio Proietti, Sophie Renault, 1996, LOPSTR.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2011, Intelligenza Artificiale.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2020, IJCAR.
Fabio Fioravanti, Maurizio Proietti, Valerio Senni, 2015, J. Log. Comput..
Alberto Pettorossi, Maurizio Proietti, M. Proietti, 1990, ESOP.
Alberto Pettorossi, Fabio Fioravanti, Maurizio Proietti, 2012, CILC.