Author Archives: adovier

CLP lab in the ALP EC

Andrea Formisano has been elected as one of the seven members of the Executive Commitee of the Association for Logic Programming. Congratulations to Andrea for this role that is added to his role as vice-president of the Italian Association for … Continue reading

Posted in Uncategorized | Comments Off on CLP lab in the ALP EC

GPU-Based Parallelism for ASP-Solving

Agostino Dovier, Andrea Formisano, Flavio Vella In Revised Selected Papers of Declarative Programming and Knowledge Management – Conference on Declarative Programming, DECLARE 2019, Lecture Notes in Computer Science 12057, Springer 2020, pages 3-23. ABSTRACT Answer Set Programming (ASP) has become … Continue reading

Posted in Uncategorized | Comments Off on GPU-Based Parallelism for ASP-Solving

Reunion in Trieste

Posted in Uncategorized | Comments Off on Reunion in Trieste

Meeting progetto GNCS a Parma

Si è svolto a Parma il 3 e 4 giugno il primo meeting di progetto INDAM/GNCS 2019 “Logic Programming for early detection of pancreatic cancer”. Mettiamocela tutta per aiutare la ricerca sul cancro!

Posted in Uncategorized | Comments Off on Meeting progetto GNCS a Parma

CLP Lab x lo sviluppo sostenibile

Il 14 Maggio 2019 siamo stati invitati a presentare i nostri risultati di ragionamento automatico in sistemi multiagente applicati alle smat grid energetiche al convegno organizzato dall’academy of sciences for the developing world http://festivalsvilupposostenibile.it/ I lucidi della presentazione sono di … Continue reading

Posted in Uncategorized | Comments Off on CLP Lab x lo sviluppo sostenibile

Journal paper in Intelligenza Artificiale (IOS Press)

Distributed Multi-Agent Optimization for SmartGrids and Home Automation. Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli. IA 12(2):67-87 (2018) Abstract Distributed Constraint Optimization Problems (DCOPs) have emerged as one of the prominent multi-agent architectures to govern the agents’autonomous behavior in a cooperative … Continue reading

Posted in Uncategorized | Comments Off on Journal paper in Intelligenza Artificiale (IOS Press)

Journal Paper in Künstliche Intelligenz (AI)

Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli: ASP Applications in Bio-informatics: A Short Tour. Künstliche Intelligenz, Volume 32 (2-3): 157-164, 2018. ABSTRACT We report on how the declarative nature of Answer Set Programming allows one to model and … Continue reading

Posted in Uncategorized | Comments Off on Journal Paper in Künstliche Intelligenz (AI)

Parallel Answer Set Programming

CLPlab members Agostino Dovier, Andrea Formisano, and Enrico Pontelli have written the survey paper: Parallel Answer Set Programming, appeared as Chapter 7 of the Handbook of Parallel Constraint Reasoning: 237-282, Springer Verlag, 2018

Posted in Uncategorized | Comments Off on Parallel Answer Set Programming

Award for Ferdinando Fioretto

Nando, with his dissertation entitled: Exploiting the Structure of Distributed Constraint Optimization Problems won the PhD award of the italian association for artificial intelligence. Here all details: http://qui.uniud.it/notizieEventi/studio-e-lavoro/assegnato-il-premio-per-neodottori-di-ricerca-dellassociazione-italiana-di-intelligenza-artificiale-ai-ia Congratulations to Nando!!!

Posted in Uncategorized | Comments Off on Award for Ferdinando Fioretto

Invited talk in Melbourne

Agostino Dovier had the honor and pleasure of giving an invited talk to the joint conferences SAT/ICLP/CP in Melbourne. Here there are all the slides: DOVIER_CPSATICLP2017

Posted in Uncategorized | Comments Off on Invited talk in Melbourne