Agostino Dovier
发表
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2007
.
Agostino Dovier,
Roman Barták,
Neng-Fa Zhou,
2015,
PPDP.
Agostino Dovier,
Enrico Pontelli,
Federico Campeotto,
2015,
J. Exp. Theor. Artif. Intell..
Lukás Chrpa,
Agostino Dovier,
Roman Barták,
2017,
Sci. Comput. Program..
Agostino Dovier,
Vítor Santos Costa,
2012,
Theory Pract. Log. Program..
Letizia Tanca,
Agostino Dovier,
Agostino Cortesi,
1998,
APPIA-GULP-PRODE.
Agostino Dovier,
Enrico Pontelli,
Alessandro Burigana,
2020,
Theory and Practice of Logic Programming.
Agostino Dovier,
Vítor Santos Costa,
2012,
ICLP.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2010,
Theory Pract. Log. Program..
Agostino Dovier,
Andrea Formisano,
Alberto Policriti,
1997,
ILPS.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2013,
J. Artif. Intell. Res..
Agostino Dovier,
Carla Piazza,
Alberto Policriti,
2001,
CAV.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2011,
IJCAI.
Alessandro Dal Palù,
Agostino Dovier,
Sebastian Will,
2007,
Constraints.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2012,
CILC.
Agostino Dovier,
Enrico Pontelli,
2010,
25 Years GULP.
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
2001,
Theory and Practice of Logic Programming.
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
1994,
ICLP.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2007,
Softw. Pract. Exp..
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2012
.
Letizia Tanca,
Agostino Dovier,
Agostino Cortesi,
2002,
Theor. Comput. Sci..
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2013,
CILC.
Andrea Omicini,
Agostino Dovier,
Maria Chiara Meo,
2001,
APPIA-GULP-PRODE.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2007,
ICLP.
Agostino Dovier,
Gianfranco Rossi,
A. Dovier,
1993,
ILPS.
Agostino Dovier,
Gianfranco Rossi,
Alberto Policriti,
1998,
Fundam. Informaticae.
Agostino Dovier,
Neng-Fa Zhou,
2011,
ICTAI.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2005,
PPDP '05.
Agostino Dovier,
Enrico Pontelli,
Tran Cao Son,
2015,
2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2014,
PADL.
Agostino Dovier,
2017,
Theory Pract. Log. Program..
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2003,
PPDP '03.
Agostino Dovier,
Gianfranco Rossi,
Alberto Policriti,
1996,
FroCoS.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2018,
KI - Künstliche Intelligenz.
Agostino Dovier,
Andrea Formisano,
Eugenio G. Omodeo,
2006,
TOCL.
Agostino Dovier,
Enrico Pontelli,
2009,
LPNMR.
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
1993,
ICLP Workshop on Logic Programming with Sets.
Agostino Dovier,
Alberto Policriti,
Alice Tarzariol,
2020,
Fundam. Informaticae.
Agostino Dovier,
Luca Di Gaspero,
Raffaele Cipriano,
2013,
Hybrid Metaheuristics.
Agostino Dovier,
Angelo Montanari,
Carla Piazza,
2010,
Fundam. Informaticae.
Agostino Dovier,
Gianfranco Rossi,
Roberta Carmona,
1997,
APPIA-GULP-PRODE.
Agostino Dovier,
Roberto Giacobazzi,
Elisa Quintarelli,
2001,
APPIA-GULP-PRODE.
Agostino Dovier,
Luca Bortolussi,
Federico Fogolari,
2007,
Multiagent Grid Syst..
Andrea Omicini,
Agostino Dovier,
Maria Chiara Meo,
2001
.
Agostino Dovier,
Roman Barták,
Neng-Fa Zhou,
2016,
CILC.
Agostino Dovier,
Enrico Pontelli,
Federico Campeotto,
2013,
2013 42nd International Conference on Parallel Processing.
Alessandro Dal Palù,
Agostino Dovier,
Andrea Formisano,
2018,
CILC.
Andrea Omicini,
Agostino Dovier,
Enrico Denti,
2018,
Fundam. Informaticae.
Agostino Dovier,
Carla Piazza,
A. Dovier,
2003,
IEEE Trans. Knowl. Data Eng..
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2005,
ICLP.
Agostino Dovier,
Carla Piazza,
Alberto Policriti,
2004,
Theor. Comput. Sci..
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
2003,
APPIA-GULP-PRODE.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2007,
AAAI.
Agostino Dovier,
Gianfranco Rossi,
Carla Piazza,
1998,
APPIA-GULP-PRODE.
Agostino Dovier,
Andrea Fusiello,
Michela Farenzena,
2006,
2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'06).
Davide Ancona,
Agostino Dovier,
D. Ancona,
2013
.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2010,
CILC.
Agostino Dovier,
Nicola Rizzo,
2020,
CILC.
Agostino Dovier,
2012
.
Agostino Dovier,
Gianfranco Rossi,
1993,
GULP.
Agostino Dovier,
2019,
CILC.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2009,
LPNMR.
Agostino Dovier,
2008,
Il Milione.
Agostino Dovier,
Roberto Giacobazzi,
Agostino Dovier,
2003
.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2015,
J. Exp. Theor. Artif. Intell..
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
1998,
IJCSLP.
Agostino Dovier,
Enrico Pontelli,
Federico Igne,
2019,
CILC.
Agostino Dovier,
Gianfranco Rossi,
Carla Piazza,
2003,
TOCL.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2011,
Theory and Practice of Logic Programming.
Agostino Dovier,
Vítor Santos Costa,
2012,
ICLP.
Agostino Dovier,
Federico Fogolari,
Matteo Burato,
2002,
Electron. Notes Theor. Comput. Sci..
Agostino Dovier,
Andrea Formisano,
Flavio Vella,
2019,
DECLARE.
Agostino Dovier,
Neng-Fa Zhou,
2011,
2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
2000,
Inf. Process. Lett..
Agostino Dovier,
Enrico Pontelli,
Ferdinando Fioretto,
2014,
ECAI.
Agostino Dovier,
Alessandro Burigana,
Francesco De Martino,
2020,
ICTCS.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2009,
ICLP.
Alessandro Dal Palù,
Agostino Dovier,
Sebastian Will,
2010
.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2009,
Fundam. Informaticae.
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
2001,
New Generation Computing.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2018,
Handbook of Parallel Constraint Reasoning.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2010,
Theory and Practice of Logic Programming.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2015,
ICLP.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2009,
LPNMR.
Agostino Dovier,
Elisa Quintarelli,
A. Dovier,
2009,
Comput. Lang. Syst. Struct..
Agostino Dovier,
Marco De Bortoli,
Francesco Contaldo,
2017,
ICTCS/CILC.
Agostino Dovier,
Alberto Policriti,
Eugenio G. Omodeo,
1999,
Applicable Algebra in Engineering, Communication and Computing.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2015
.
Agostino Dovier,
Gianfranco Rossi,
Carla Piazza,
2000,
APPIA-GULP-PRODE.
Agostino Dovier,
Enrico Pontelli,
Ferdinando Fioretto,
2019,
Intelligenza Artificiale.
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
1991,
ICLP.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2011,
ICLP.
Davide Rocchesso,
Agostino Dovier,
Federico Avanzini,
2003
.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2018,
Declarative Logic Programming.
Agostino Dovier,
A. Dovier,
2014,
CILC.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2010,
Fundam. Informaticae.
Agostino Dovier,
Puri Arenas,
P. Arenas,
1995,
PLILP.
Agostino Dovier,
A. Dovier,
2015,
ICLP.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2009,
J. Exp. Theor. Artif. Intell..
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
1992,
ELP.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2012,
CP.
Agostino Dovier,
Luca Di Gaspero,
Raffaele Cipriano,
2009,
RCRA@AI*IA.
Agostino Dovier,
Enrico Pontelli,
Carla Piazza,
2004,
Constraints.
Agostino Dovier,
Enrico Pontelli,
Roie Zivan,
2017,
ArXiv.
Alessandro Dal Palù,
Agostino Dovier,
Federico Fogolari,
2004,
BMC Bioinformatics.
Agostino Dovier,
Elisa Quintarelli,
2001,
DBPL.
Agostino Dovier,
Alberto Policriti,
1997,
APPIA-GULP-PRODE.
Agostino Dovier,
Roman Barták,
Neng-Fa Zhou,
2016,
2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI).
Agostino Dovier,
Carla Piazza,
Alberto Policriti,
2000,
APPIA-GULP-PRODE.
Alessandro Dal Palù,
Agostino Dovier,
Luca Bortolussi,
2004
.
Agostino Dovier,
Paolo Benoli,
Maria Concetta Brocato,
2016,
CILC.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2005,
LPAR.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2016,
PADL.
Davide Ancona,
Agostino Dovier,
D. Ancona,
2015,
Fundam. Informaticae.
Agostino Dovier,
2003,
Theory Pract. Log. Program..
Agostino Dovier,
Enrico Pontelli,
Ferdinando Fioretto,
2015,
AAMAS.
Davide Ancona,
Agostino Dovier,
D. Ancona,
2013,
Theory Pract. Log. Program..
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
1996,
J. Log. Program..
Agostino Dovier,
Luca Di Gaspero,
Raffaele Cipriano,
2006,
Hybrid Metaheuristics.
Agostino Dovier,
Jacopo Mauro,
Raffaele Cipriano,
2008,
ICLP.
Agostino Dovier,
Gianfranco Rossi,
Davide Aliffi,
1999,
J. Funct. Log. Program..
Agostino Dovier,
Roman Barták,
Neng-Fa Zhou,
2015,
Theory and Practice of Logic Programming.
Agostino Dovier,
Puri Arenas,
1997,
J. Funct. Log. Program..
Agostino Dovier,
Enrico Pontelli,
1993,
PLILP.
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
2000,
TOPL.
Agostino Dovier,
David S. Warren,
D. Warren,
2012,
International Conference on Logic Programming.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2016,
CILC.
Agostino Dovier,
Manuele Bicego,
Vittorio Murino,
2001,
EMMCVPR.
Agostino Dovier,
Gianfranco Rossi,
Alberto Policriti,
1994,
GULP-PRODE.
Davide Rocchesso,
Alessandro Dal Palù,
Agostino Dovier,
2004,
Computer.
Agostino Dovier,
Andrea Fusiello,
Michela Farenzena,
2005
.
Agostino Dovier,
Angelo Montanari,
Carla Piazza,
2010
.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2011,
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.
Alessandro Dal Palù,
Agostino Dovier,
Federico Fogolari,
2003,
CSCLP.
Agostino Dovier,
Enrico Pontelli,
Federico Igne,
2018,
ICLP.
Agostino Dovier,
Enrico Pontelli,
Alessandro Burigana,
2020,
ICAPS.
Agostino Dovier,
Enrico Pontelli,
Alessandro Burigana,
2020
.
Agostino Dovier,
Fausto Spoto,
S. Bozzoli,
2003,
APPIA-GULP-PRODE.
Agostino Dovier,
Gianfranco Rossi,
Eugenio G. Omodeo,
1993,
ICLP Workshop on Logic Programming with Sets.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2010,
Int. J. Data Min. Bioinform..
Agostino Dovier,
1993,
ELP.
Andrea Omicini,
Agostino Dovier,
Enrico Denti,
2016,
CILC.
Alessandro Dal Palù,
Agostino Dovier,
Federico Fogolari,
2004,
ICLP.
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi,
1999,
APPIA-GULP-PRODE.
Agostino Dovier,
Enrico Pontelli,
Ferdinando Fioretto,
2015,
ACM Trans. Model. Comput. Simul..
Agostino Dovier,
Carla Piazza,
Alberto Policriti,
2002,
WoLLIC.
Agostino Dovier,
Enrico Pontelli,
Francesco Fabiano,
2019,
CILC.
Agostino Dovier,
Alberto Policriti,
Alice Tarzariol,
2017,
ICTCS/CILC.
Viviana Mascardi,
Agostino Dovier,
Alessio Stalla,
2011,
CILC.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2021,
Theory Pract. Log. Program..
Agostino Dovier,
Tran Cao Son,
Alessandro Burigana,
2021,
PRICAI.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2013
.
Alessandro Dal Palù,
Agostino Dovier,
A. Dovier,
2008
.
Agostino Dovier,
A. Dovier,
2012
.
Alessandro Dal Palù,
Agostino Dovier,
Rolf Backofen,
2004
.