A. Formisano
发表
Enrico Pontelli,
A. Dovier,
A. D. Palù,
2013
.
S. Costantini,
A. Formisano,
2019,
AI*IA.
E. Omodeo,
A. Policriti,
A. Formisano,
2004
.
J. Awrejcewicz,
Kurt Marti,
Michael Beer,
2014
.
S. Costantini,
A. Formisano,
V. Pitoni,
2022
.
S. Costantini,
A. Formisano,
2022,
CILC.
S. Costantini,
A. Formisano,
2022,
ICLP Workshops.
Marta Simeoni,
A. Formisano,
2004
.
S. Costantini,
A. Formisano,
V. Pitoni,
2022,
CILC.
S. Costantini,
A. Formisano,
V. Pitoni,
2022,
NMR.
Enrico Pontelli,
L. Michel,
A. Dovier,
2022,
CILC.
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,
Andrea Formisano,
2015
.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2016,
CILC.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2018,
Declarative Logic Programming.
Andrea Formisano,
Dario Campagna,
A. Formisano,
2013,
Fundam. Informaticae.
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.
Calogero G. Zarba,
Domenico Cantone,
Andrea Formisano,
2003,
Theor. Comput. Sci..
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.
S. Costantini,
A. Formisano,
V. Pitoni,
2022,
Interaction Studies.
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.
Andrea Formisano,
Alberto Policriti,
Eugenio G. Omodeo,
2018
.
Alessandro Dal Palù,
Agostino Dovier,
Andrea Formisano,
2018,
CILC.
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2019,
CILC.
Domenico Cantone,
Marianna Nicolosi Asmundo,
Andrea Formisano,
2012,
RAIRO Theor. Informatics Appl..
Andrea Capotorti,
Andrea Formisano,
A. Capotorti,
2008,
Mathematical Structures in Computer Science.
Andrea Formisano,
Pasquale De Luca,
A. Formisano,
2020,
SAI.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2015,
J. Exp. Theor. Artif. Intell..
Giovanni De Gasperis,
Pedro Cabalar,
S. Costantini,
2019,
Annals of Mathematics and Artificial Intelligence.
Andrea Formisano,
Eugenio G. Omodeo,
E. Omodeo,
2010,
25 Years GULP.
Andrea Formisano,
Ewa Orlowska,
Eugenio G. Omodeo,
2006,
Theory and Applications of Relational Structures as Knowledge Instruments.
Stefania Costantini,
Andrea Formisano,
Giovanni De Gasperis,
2021,
ASPOCP@LPNMR.
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2016,
Theory and Practice of Logic Programming.
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2013,
CILC.
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2013,
J. Appl. Non Class. Logics.
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2010,
J. Log. Comput..
A. Dovier,
A. Policriti,
A. Formisano,
1997,
ILPS.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2011,
Theory and Practice of Logic Programming.
Marianna Nicolosi Asmundo,
Andrea Formisano,
A. Formisano,
2006,
J. Appl. Non Class. Logics.
Andrea Capotorti,
Andrea Formisano,
Gianfranco Murador,
2007,
LMCS.
Stefania Costantini,
Andrea Formisano,
Valentina Pitoni,
2021,
AAMAS.
Enrico Pontelli,
A. Dovier,
A. D. Palù,
2015,
J. Exp. Theor. Artif. Intell..
Enrico Pontelli,
L. Michel,
A. Dovier,
2022,
CILC.