Andrea Formisano
发表
Andrea Capotorti,
Andrea Formisano,
Gianfranco Murador,
2007,
LMCS.
Stefania Costantini,
Andrea Formisano,
2011,
CILC.
Stefania Costantini,
Andrea Formisano,
2016,
AAMAS Workshops.
Andrea Formisano,
Alberto Policriti,
Eugenio G. Omodeo,
2002,
APPIA-GULP-PRODE.
Andrea Formisano,
Alberto Policriti,
Eugenio G. Omodeo,
2004,
Theor. Comput. Sci..
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2010,
Theory Pract. Log. Program..
Agostino Dovier,
Andrea Formisano,
Alberto Policriti,
1997,
ILPS.
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2010,
J. Log. Comput..
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2012,
CILC.
Andrea Formisano,
Marco Temperini,
Eugenio G. Omodeo,
2000,
J. Symb. Comput..
Andrea Formisano,
Eugenio G. Omodeo,
1998,
FTP.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2013,
CILC.
Andrea Formisano,
Pasquale De Luca,
A. Formisano,
2020,
SAI.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2007,
ICLP.
Stefania Costantini,
Andrea Formisano,
2013,
LPNMR.
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2019,
CILC.
Stefania Costantini,
Andrea Formisano,
2018,
Int. J. Agent Oriented Softw. Eng..
Stefano Bistarelli,
Andrea Formisano,
Marco Maratea,
2016
.
Andrea Formisano,
Alberto Policriti,
Eugenio G. Omodeo,
2005,
J. Symb. Log..
Stefania Costantini,
Andrea Formisano,
2009,
J. Algorithms.
Andrea Capotorti,
Andrea Formisano,
A. Capotorti,
2008,
Mathematical Structures in Computer Science.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2018,
KI - Künstliche Intelligenz.
Agostino Dovier,
Andrea Formisano,
Eugenio G. Omodeo,
2006,
TOCL.
Stefania Costantini,
Andrea Formisano,
2008,
LA-NMR.
Domenico Cantone,
Andrea Formisano,
Eugenio G. Omodeo,
2003
.
Andrea Formisano,
Dario Campagna,
A. Formisano,
2013,
Fundam. Informaticae.
Andrea Formisano,
Ewa Orlowska,
Eugenio G. Omodeo,
2005
.
Stefania Costantini,
Andrea Formisano,
2012,
CILC.
Alessandro Dal Palù,
Agostino Dovier,
Andrea Formisano,
2018,
CILC.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2005,
ICLP.
Alfredo Navarra,
Andrea Formisano,
Maria Cristina Pinotti,
2012,
J. Discrete Algorithms.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2007,
AAAI.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2010,
CILC.
Andrea Formisano,
Alberto Policriti,
2004,
Journal of Automated Reasoning.
Stefania Costantini,
Andrea Formisano,
2016,
AAMAS.
Andrea Formisano,
Dario Campagna,
2011,
CILC.
Andrea Capotorti,
Andrea Formisano,
2006
.
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2013,
J. Appl. Non Class. Logics.
Andrea Formisano,
Marco Temperini,
Eugenio G. Omodeo,
2001,
IJCAR.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2015,
J. Exp. Theor. Artif. Intell..
Andrea Formisano,
Eugenio G. Omodeo,
E. Omodeo,
2010,
25 Years GULP.
Stefano Bistarelli,
Andrea Formisano,
Marco Maratea,
2018,
J. Exp. Theor. Artif. Intell..
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2011,
Theory and Practice of Logic Programming.
Agostino Dovier,
Andrea Formisano,
Flavio Vella,
2019,
DECLARE.
David Pearce,
Stefania Costantini,
Andrea Formisano,
2012,
Correct Reasoning.
Stefania Costantini,
Andrea Formisano,
Davide Petturiti,
2010,
Fundam. Informaticae.
Fangkai Yang,
Andrea Formisano,
Esra Erdem,
2019,
Theory Pract. Log. Program..
Marianna Nicolosi Asmundo,
Andrea Formisano,
A. Formisano,
2006,
J. Appl. Non Class. Logics.
Marina De Vos,
Fangkai Yang,
Andrea Formisano,
2019,
ICLP Technical Communications.
Andrea Formisano,
Flavio Vella,
2014,
ICTCS.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2018,
Handbook of Parallel Constraint Reasoning.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2015,
ICLP.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2009,
LPNMR.
Andrea Formisano,
Ewa Orlowska,
Eugenio G. Omodeo,
2006,
Theory and Applications of Relational Structures as Knowledge Instruments.
Stefania Costantini,
Andrea Formisano,
Valentina Pitoni,
2018,
AI*IA.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2015
.
Stefania Costantini,
Andrea Formisano,
2011,
LPNMR.
Stefano Bistarelli,
Andrea Formisano,
2014
.
Andrea Formisano,
Marta Simeoni,
2001,
Electron. Notes Theor. Comput. Sci..
Stefania Costantini,
Andrea Formisano,
2016,
ECAI.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2011,
ICLP.
Stefania Costantini,
Andrea Formisano,
2016,
EMAS@AAMAS.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2018,
Declarative Logic Programming.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2010,
Fundam. Informaticae.
Stefania Costantini,
Andrea Formisano,
Giovanni De Gasperis,
2021,
ASPOCP@LPNMR.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2009,
J. Exp. Theor. Artif. Intell..
Stefania Costantini,
Andrea Formisano,
Eugenio G. Omodeo,
2003,
Answer Set Programming.
Andrea Formisano,
Marta Simeoni,
Eugenio G. Omodeo,
2001,
Electron. Notes Theor. Comput. Sci..
Andrea Formisano,
Marco Temperini,
Eugenio G. Omodeo,
1998,
APPIA-GULP-PRODE.
Stefania Costantini,
Andrea Formisano,
2016,
AAMAS 2016.
Andrea Formisano,
1999,
APPIA-GULP-PRODE.
Stefano Bistarelli,
Andrea Formisano,
2016,
Theor. Comput. Sci..
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2016,
PADL.
Stefania Costantini,
Andrea Formisano,
2018
.
Stefania Costantini,
Andrea Formisano,
Giovanni De Gasperis,
2019,
Annals of Mathematics and Artificial Intelligence.
Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
2016,
CILC.
Marina De Vos,
Fangkai Yang,
Andrea Formisano,
2019,
Electronic Proceedings in Theoretical Computer Science.
Andrea Formisano,
Flavio Vella,
Raffaella Gentilini,
2017,
IA3@SC.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2011,
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.
Andrea Formisano,
Marco Temperini,
Eugenio G. Omodeo,
2001,
APPIA-GULP-PRODE.
Calogero G. Zarba,
Domenico Cantone,
Andrea Formisano,
2003,
Theor. Comput. Sci..
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2016,
Theory and Practice of Logic Programming.
Stefania Costantini,
Andrea Formisano,
2011,
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.
Domenico Cantone,
Marianna Nicolosi Asmundo,
Andrea Formisano,
2012,
RAIRO Theor. Informatics Appl..
Andrea Formisano,
Alberto Policriti,
Eugenio G. Omodeo,
2018
.
Stefania Costantini,
Andrea Formisano,
S. Costantini,
2013,
CILC.
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments")
pdf
Stefania Costantini,
Andrea Formisano,
Giovanni De Gasperis,
2021,
ArXiv.
Stefania Costantini,
Andrea Formisano,
Valentina Pitoni,
2021,
AAMAS.
Andrea Formisano,
Gian Luca Pozzato,
Neng-Fa Zhou,
2021,
Electronic Proceedings in Theoretical Computer Science.
Andrea Formisano,
Flavio Vella,
Raffaella Gentilini,
2021,
IEEE Transactions on Parallel and Distributed Systems.
Stefania Costantini,
Andrea Formisano,
Valentina Pitoni,
2021,
JELIA.
Agostino Dovier,
Enrico Pontelli,
Andrea Formisano,
2021,
Theory Pract. Log. Program..
Andrea Formisano,
Gian Luca Pozzato,
Neng-Fa Zhou,
2021,
Electronic Proceedings in Theoretical Computer Science.
Stefania Costantini,
Andrea Formisano,
2021,
Fundam. Informaticae.
Andrea Capotorti,
Andrea Formisano,
2006,
Modern Information Processing.
Stefania Costantini,
Andrea Formisano,
2008
.
Andrea Formisano,
Marco Temperini,
Eugenio G. Omodeo,
1998
.