Andrea Formisano's home page... (info, teaching, publications,...)

Andrea Formisano's home page (permanently under construction....)

Contact:

Dipartimento di Matematica e Informatica
Università di Perugia
via Vanvitelli 1,
06123 Perugia, Italy
tel: +39 075 5855011
fax: +39 075 5855024
email:

My institutional web page is here.


Shortcuts:

 

La Costituzione della Repubblica Italiana

Art. 21. Tutti hanno diritto di manifestare liberamente il proprio pensiero con la parola, lo scritto e ogni altro mezzo di diffusione.
La stampa non può essere soggetta ad autorizzazioni o censure.
Si può procedere a sequestro soltanto per atto motivato dell'autorità giudiziaria nel caso di delitti, per i quali la legge sulla stampa espressamente lo autorizzi, o nel caso di violazione delle norme che la legge stessa prescriva per l'indicazione dei responsabili.
In tali casi, quando vi sia assoluta urgenza e non sia possibile il tempestivo intervento dell'autorità giudiziaria, il sequestro della stampa periodica può essere eseguito da ufficiali di polizia giudiziaria, che devono immediatamente, e non mai oltre ventiquattro ore, fare denunzia all'autorità giudiziaria. Se questa non lo convalida nelle ventiquattro ore successive, il sequestro s'intende revocato e privo di ogni effetto.
La legge può stabilire, con norme di carattere generale, che siano resi noti i mezzi di finanziamento della stampa periodica.
Sono vietate le pubblicazioni a stampa, gli spettacoli e tutte le altre manifestazioni contrarie al buon costume. La legge stabilisce provvedimenti adeguati a prevenire e a reprimere le violazioni.

Click per   un altro articolo...   o per   il testo integrale

Corsi/Courses A.A.2019/20:

Pagina del corso di Programmazione Dichiarativa (laurea magistrale in informatica)
Pagina del corso di Programmazione II (laurea magistrale in matematica)

WOW!!

Parallel Answer Set Programming .
Agostino Dovier, Andrea Formisano, Enrico Pontelli.
In Y.Hamadi, L.Sais, eds. Handbook of Parallel Constraint Reasoning. Springer. 2018.

Reasoning on Relations, Modalities, and Sets .
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti.
In J.Golinska-Pilarek and M.Zawidzki, eds. Ewa Orlowska on Relational Methods in Logic and Computer Science. Springer. 2018.

Exploring life: answer set programming in bioinformatics .
Alessandro Dal Palù Agostino Dovier, Andrea Formisano, Enrico Pontelli.
In M.Kifer and Y.A.Liu, eds. Declarative Logic Programming: Theory, Systems, and Applications. ACM Books. 2018.

GRCLogo The University of Perugia is a GPU Research Center.
The Association for Logic Programming Newsletter .
A.Dovier and E.Pontelli, editors.

The Italian Association for Logic Programming .
GULP - Gruppo Ricercatori e Utenti Logic Programming.

A 25 Year Perspective on Logic Programming .
Achievements of the Italian Association for Logic Programming, GULP.
A.Dovier and E.Pontelli, eds. Springer. LNCS Vol.6125.
(A preliminary table of contents is here)
Advances in Computational Logic (CILC08) .
Selected and extended contributions to CILC08, the 23rd Italian Congress on Computational Logic.
A.Formisano and A.Pettorossi, eds. Fundamenta Informaticae, 96(3), IOS Press. 2009.
(Preface here)
Proceedings of the 15th Italian Conference on Theoretical Computer Science (ICTCS 2014) .
S.Bistarelli and A.Formisano, eds. CEUR Workshop Proceedings 1231, CEUR-WS.org 2014.
(Preface here)
Proceedings of the 22nd International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2015) .
S.Bistarelli, A.Formisano, and M.Maratea, eds. CEUR Workshop Proceedings 1451, CEUR-WS.org 2015.

Proceedings of the 23rd International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2016) .
S.Bistarelli, A.Formisano, and M.Maratea, eds. CEUR Workshop Proceedings 1745, CEUR-WS.org 2016.


A few events:



Research key words

Automated deduction, Theory reasoning, Resolution-based theorem proving, T-resolution, Logic programming, Answer set programming, Constraint logic programming, Action languages and planning, Set theory, Decidability, Relation algebras, Rasiowa-Sikorski dual tableaux and Tableaux theorem proving, GPU-computing, Computational science.


Selected publications (to be updated....)

More on       







...something's wrong, shut the light
heavy thoughts tonight
and they aren't of snow white...