DOVIER, Agostino

DOVIER, Agostino  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 169 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
2D object reconstruction with ASP 1-gen-2018 Dal Palu, A.; Dovier, A.; Formisano, A.
3coSoKu and its declarative modeling 1-gen-2022 Rizzo, N.; Dovier, A.
A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP 1-gen-2010 Dovier, Agostino; Enrico, Pontelli
A Filtering Technique for Fragment Assembly-based Proteins Loop Modeling with Constraints. 1-gen-2012 Campeotto, Federico; A., Dal Palu'; Dovier, Agostino; Fioretto, Ferdinando; E., Pontelli
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. 1-gen-2014 Campeotto, Federico; Dovier, Agostino; Fioretto, Ferdinando; Enrico, Pontelli
A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem 1-gen-2008 Cipriano, Raffaele; DAL PALU', Alessandro; Dovier, Agostino
A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++ 1-gen-2009 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
A language with Finite Sets embedded in the CLP-scheme 1-gen-1993 Dovier, Agostino
A Minimality Study for Set Unification 1-gen-1998 Puri Arenas, Sanchez; Dovier, Agostino
A Necessary Condition for Constructive Negation in Constraint Logic Programming 1-gen-2000 Dovier, Agostino; Pontelli, E.; Rossi, G.
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem 1-gen-2005 A., DAL PALU'; Dovier, Agostino; E., Pontelli
A Tabled Prolog Program for Solving Sokoban 1-gen-2013 Neng Fa, Zhou; Dovier, Agostino
A Tabled Prolog Program for Solving Sokoban 1-gen-2011 Neng Fa, Zhou; Dovier, Agostino
A uniform axiomatic view of list, multisets, and sets, and the relevant unification algorithm 1-gen-1998 Dovier, Agostino; Policriti, Alberto; Rossi, G.
A WAM based Implementation of a Logic Language with Sets 1-gen-1993 Dovier, Agostino; E., Pontelli
ACI1 Constraints 1-gen-1999 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Agent-Based Protein Folding Simulation 1-gen-2005 L., Bortolussi; A., DAL PALU'; Dovier, Agostino; Fogolari, Federico
Agent-based Protein Structure Prediction 1-gen-2007 Bortolussi, Luca; Dovier, Agostino; Fogolari, Federico
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 1-gen-2009 Dovier, Agostino; Formisano, A.; Pontelli, E.
An investigation of Multi-Agent Planning in CLP. 1-gen-2010 Dovier, Agostino; Formisano, A.; Pontelli, E.