A. Dovier

发表

A. Dovier, G. Rossi, 1993 .
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2013 .
Enrico Pontelli, A. Dovier, G. Rossi, 2000, Inf. Process. Lett..
Alessandro Dal Palù, Agostino Dovier, Rolf Backofen, 2004 .
Enrico Pontelli, A. Dovier, Ferdinando Fioretto, 2012 .
L. Bortolussi, A. Dovier, F. Fogolari, 2005 .
F. Spoto, A. Dovier, AnalysisSandro Bozzoli, 2007 .
Agostino Dovier, Carla Piazza, Alberto Policriti, 2000, APPIA-GULP-PRODE.
Yuanlin Zhang, A. Dovier, Neng-Fa Zhou, 2011 .
A. Dovier, F. Fabiano, Davide Soldà, 2022, CILC.
Letizia Tanca, Agostino Dovier, Agostino Cortesi, 1998, APPIA-GULP-PRODE.
Agostino Dovier, Tran Cao Son, Alessandro Burigana, 2021, PRICAI.
A. Dovier, Lorenzo Cian, Talissa Dreossi, 2022, CILC.
Enrico Pontelli, L. Michel, A. Dovier, 2022, CILC.
Enrico Pontelli, A. Dovier, Ferdinando Fioretto, 2014 .
Agostino Dovier, Enrico Pontelli, Andrea Formisano, 2021, Theory Pract. Log. Program..
A. Dovier, A. Formisano, Michele Collevati, 2022, Italian Conference on Computational Logic.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 1993, ICLP Workshop on Logic Programming with Sets.
Agostino Dovier, Enrico Pontelli, Alessandro Burigana, 2020, Theory and Practice of Logic Programming.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2013, J. Artif. Intell. Res..
Agostino Dovier, Enrico Pontelli, Andrea Formisano, 2015 .
Agostino Dovier, Enrico Pontelli, Alessandro Burigana, 2020, ICAPS.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2016, CILC.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2018, Declarative Logic Programming.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 2001, Theory and Practice of Logic Programming.
Agostino Dovier, Puri Arenas, P. Arenas, 1995, PLILP.
Lukás Chrpa, Agostino Dovier, Roman Barták, 2017, Sci. Comput. Program..
Agostino Dovier, Roman Barták, Neng-Fa Zhou, 2015, PPDP.
Agostino Dovier, Roman Barták, Neng-Fa Zhou, 2015, Theory and Practice of Logic Programming.
Agostino Dovier, Enrico Pontelli, Andrea Formisano, 2018, Handbook of Parallel Constraint Reasoning.
Agostino Dovier, Enrico Pontelli, Andrea Formisano, 2016, PADL.
Agostino Dovier, Enrico Pontelli, Andrea Formisano, 2015, ICLP.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2013, CILC.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 2003, APPIA-GULP-PRODE.
Agostino Dovier, Manuele Bicego, Vittorio Murino, 2001, EMMCVPR.
Davide Ancona, Agostino Dovier, D. Ancona, 2015, Fundam. Informaticae.
Agostino Dovier, Carla Piazza, Alberto Policriti, 2002, WoLLIC.
Agostino Dovier, Carla Piazza, Alberto Policriti, 2001, CAV.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 2000, TOPL.
Agostino Dovier, Gianfranco Rossi, Davide Aliffi, 1999, J. Funct. Log. Program..
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 1996, J. Log. Program..
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 1992, ELP.
Andrea Omicini, Agostino Dovier, Maria Chiara Meo, 2001, APPIA-GULP-PRODE.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2007, Softw. Pract. Exp..
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2018, KI - Künstliche Intelligenz.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2012, CILC.
Agostino Dovier, Enrico Pontelli, Andrea Formisano, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.
Agostino Dovier, Carla Piazza, Alberto Policriti, 2004, Theor. Comput. Sci..
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2009, Fundam. Informaticae.
Agostino Dovier, Carla Piazza, A. Dovier, 2003, IEEE Trans. Knowl. Data Eng..
Letizia Tanca, Agostino Dovier, Agostino Cortesi, 2002, Theor. Comput. Sci..
Agostino Dovier, A. Dovier, 2015, ICLP.
Agostino Dovier, A. Dovier, 2014, CILC.
Agostino Dovier, Andrea Formisano, Flavio Vella, 2019, DECLARE.
Agostino Dovier, Enrico Pontelli, Andrea Formisano, 2009, J. Exp. Theor. Artif. Intell..
Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo, 2006, TOCL.
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, 2004, BMC Bioinformatics.
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, 2018, CILC.
Agostino Dovier, David S. Warren, D. Warren, 2012, International Conference on Logic Programming.
Agostino Dovier, Enrico Pontelli, Federico Campeotto, 2015, J. Exp. Theor. Artif. Intell..
A. Dovier, C. Piazza, A. Policriti, 2007 .
A. Dovier, F. Fabiano, Davide Soldà, 2023, Journal of Logic and Computation.
A. Dovier, F. Fabiano, Davide Soldà, 2022, CILC.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2015, J. Exp. Theor. Artif. Intell..
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2012, CP.
Agostino Dovier, Gianfranco Rossi, Carla Piazza, 2003, TOCL.
Agostino Dovier, Enrico Pontelli, Ferdinando Fioretto, 2015, ACM Trans. Model. Comput. Simul..
Davide Ancona, Agostino Dovier, D. Ancona, 2013, Theory Pract. Log. Program..
Davide Ancona, Agostino Dovier, D. Ancona, 2013 .
Agostino Dovier, Alessandro Burigana, Francesco De Martino, 2020, ICTCS.
Agostino Dovier, Enrico Pontelli, Roie Zivan, 2017, ArXiv.
L. Bortolussi, A. Dovier, F. Fogolari, 2005 .
Agostino Dovier, Enrico Pontelli, Federico Campeotto, 2013, 2013 42nd International Conference on Parallel Processing.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2010, Theory and Practice of Logic Programming.
A. Dal Palù, A. Dovier, E. Pontelli, 2009 .
A. Dovier, F. Fogolari, G. Esposito, 2023, WIREs Computational Molecular Science.
Agostino Dovier, Enrico Pontelli, Ferdinando Fioretto, 2019, Intelligenza Artificiale.
Agostino Dovier, Enrico Pontelli, Ferdinando Fioretto, 2014, ECAI.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2009, ICLP.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi, 2001, New Generation Computing.
A. Dovier, A. Policriti, A. Formisano, 1997, ILPS.
Agostino Dovier, Enrico Pontelli, Andrea Formisano, 2011, Theory and Practice of Logic Programming.
Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli, 2001, APPIA-GULP-PRODE.
Agostino Dovier, Gianfranco Rossi, A. Dovier, 1993, ILPS.
Agostino Dovier, Angelo Montanari, Carla Piazza, 2010, Fundam. Informaticae.
Agostino Dovier, Elisa Quintarelli, A. Dovier, 2009, Comput. Lang. Syst. Struct..
Agostino Dovier, Angelo Montanari, Carla Piazza, 2010 .
A. Montanari, A. Dovier, C. Piazza, 2022 .
Enrico Pontelli, A. Dovier, A. D. Palù, 2015, J. Exp. Theor. Artif. Intell..
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2014, PADL.
Enrico Pontelli, L. Michel, A. Dovier, 2022, CILC.
Agostino Dovier, Luca Di Gaspero, Raffaele Cipriano, 2009, RCRA@AI*IA.
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, 2003, CSCLP.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, 2010, Int. J. Data Min. Bioinform..