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