-
Recent Posts
- Constraint propagation on GPU: A case study for the AllDifferent constraint February 2, 2024
- A tutto bit September 20, 2023
- CILC 2023 July 17, 2023
- AIxIA 2022 December 22, 2022
- Tesi in trasferta September 20, 2022
- Doppio risultato del CLPLAB July 4, 2022
- Intervento a RADIO 24 June 24, 2022
- Presentazione risultati May 6, 2022
- AI4HRC Worskhop March 28, 2022
- Ferdinando Fioretto vince il Mario Gerla Award December 9, 2021
- Official visits in the new lab October 14, 2021
- New Project February 22, 2021
- Nando Fioretto alla finale del Mario Gerla award November 5, 2020
- CLPLAB premiato al convegno CILC2020 October 14, 2020
- CLP lab in the ALP EC August 24, 2020
Category Archives: Uncategorized
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
New Journal Paper
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
Posted in Uncategorized
Comments Off on New Journal Paper
Invited talk at TAASP
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)
Posted in Uncategorized
Comments Off on Invited talk at TAASP
Renewal from NVIDIA
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.”
Posted in Uncategorized
Comments Off on Renewal from NVIDIA
To appear in proc of PADL 2016
A GPU Implementation of the ASP Computation By Agostino Dovier, Andrea Formisano, Enrico Pontelli, and Flavio Vella Abstract General Purpose Graphical Processing Units (GPUs) are affordable multi-core platforms, providing access to large number of cores, but at the price of … Continue reading
Posted in Uncategorized
Comments Off on To appear in proc of PADL 2016
Invited talk @ CP 2015 in Cork
Tutorial on CP and Bioinformatics of September 4, 2015 https://users.dimi.uniud.it/~agostino.dovier/SLIDES/CORK_CP15.pdf
Posted in Uncategorized
Comments Off on Invited talk @ CP 2015 in Cork
Greetings from Genova
From left to right: Nando Fioretto, Agostino Dovier, Enrico Pontelli, and Alessandro Dal Palù (all but one teachers at the GULP school on logic programming)
Posted in Uncategorized
Comments Off on Greetings from Genova