Остановите войну!
for scientists:
default search action
Alessandro Dal Palù
- > Home > Persons > Alessandro Dal Palù
Publications
- 2023
- [c31]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
Towards Explainable Data-to-text Generation. CILC 2023 - [c27]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
An xAI Approach for Data-to-Text Processing with ASP. ICLP 2023: 353-366 - [p3]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Prolog Meets Biology. Prolog: The Next 50 Years 2023: 318-333 - 2018
- [j18]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
ASP Applications in Bio-informatics: A Short Tour. Künstliche Intell. 32(2-3): 157-164 (2018) - [c23]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
2D object reconstruction with ASP. CILC 2018: 132-146 - [p2]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Exploring life: answer set programming in bioinformatics. Declarative Logic Programming 2018: 359-412 - 2016
- [c22]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli:
Logic Programming Applied to Genome Evolution in Cancer. CILC 2016: 148-157 - 2015
- [j15]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27(3): 293-316 (2015) - 2014
- [c21]Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
Exploring the Use of GPUs in Constraint Solving. PADL 2014: 152-167 - 2013
- [j12]Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
A Constraint Solver for Flexible Protein Model. J. Artif. Intell. Res. 48: 953-1000 (2013) - [c20]Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@ASP: Experimenting with GPGPUs in ASP solving. CILC 2013: 163-177 - 2012
- [c18]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Exploiting Unexploited Computing Resources for Computational Logics. CILC 2012: 74-88 - [c17]Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. CP 2012: 850-866 - [e1]Agostino Dovier, Alessandro Dal Palù, Sebastian Will:
Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010. EPiC Series in Computing 4, EasyChair 2012 [contents] - 2011
- [c16]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
Exploring Protein Fragment Assembly Using CLP. IJCAI 2011: 2590-2595 - 2010
- [j11]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. Int. J. Data Min. Bioinform. 4(1): 1-20 (2010) - [j10]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based protein fragment assembly. Theory Pract. Log. Program. 10(4-6): 709-724 (2010) - [c15]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based Protein Fragment Assembly. CILC 2010 - [i1]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based protein fragment assembly. CoRR abs/1007.5180 (2010) - 2009
- [j8]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae 96(3): 297-322 (2009) - [c11]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129 - [c10]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR 2009: 560-566 - 2008
- [j7]Alessandro Dal Palù, Agostino Dovier, Sebastian Will:
Introduction to the Special Issue on Bioinformatics and Constraints. Constraints An Int. J. 13(1-2): 1-2 (2008) - 2007
- [j5]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Softw. Pract. Exp. 37(13): 1405-1449 (2007) - 2005
- [c8]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. LPAR 2005: 48-63 - [c7]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). PPDP 2005: 230-241 - 2004
- [j3]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari:
Constraint Logic Programming approach to protein structure prediction. BMC Bioinform. 5: 186 (2004) - [j2]Federico Avanzini, Davide Rocchesso, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier:
Designing an Urban-Scale Auditory Alert System. Computer 37(9): 55-61 (2004) - [c6]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari:
Protein Folding Simulation in CCP. ICLP 2004: 452-453 - 2003
- [c5]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari:
Protein Folding in CLP(FD) with Empirical Contact Energies. CSCLP 2003: 250-265 - [c4]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Integrating finite domain constraints and CLP with sets. PPDP 2003: 219-229 - 2002
- [c3]Federico Avanzini, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier, Davide Rocchesso:
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD). APPIA-GULP-PRODE 2002: 139-154
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-07 03:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint