Author Archives: adovier

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!

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 →

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 →

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 →

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

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!!!

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

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain By Roman Bartak, Lukas Chrpa, Agostino Dovier, Jindrich Vodrazka, Neng-Fa Zhou Abstract Action planning deals with the problem of finding a sequence of actions transferring … Continue reading →

Agostino Dovier gave an invited lecture on ASP and Bioinformatics at TAASP workshop in Klagenfurt, a satellite event of INFORMATIK 2016 http://www.kr.tuwien.ac.at/events/taasp16/prog.html Thanks to the organizers (and to all CLPLAB members for their work)  

On March 17, 2016, David Luebke, NVIDIA Distinguished Inventor, and Sr. Director of Research of NVIDIA Corporation announced that we are confirmed as a GPU Research Center “based on the vision, quality, and impact of your research leveraging GPU Computing.”