 | 2009 |
|---|
| 74 |       | Raffaele Cipriano,
Luca Di Gaspero,
Agostino Dovier:
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + + .
Hybrid Metaheuristics 2009: 141-155 |
| 73 | | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Answer Set Programming with Constraints Using Lazy Grounding.
ICLP 2009: 115-129 |
| 72 | | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
Representing Multi-agent Planning in CLP.
LPNMR 2009: 423-429 |
| 71 | | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli:
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.
LPNMR 2009: 560-566 |
| 70 | | Agostino Dovier,
Enrico Pontelli:
Present and Future Challenges for ASP Systems.
LPNMR 2009: 622-624 |
| 69 | | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.
J. Exp. Theor. Artif. Intell. 21(2): 79-121 (2009) |
| 2008 |
|---|
| 68 | | Raffaele Cipriano,
Agostino Dovier,
Jacopo Mauro:
Compiling and Executing Declarative Modeling Languages to Gecode.
ICLP 2008: 744-748 |
| 67 | | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
ACM Trans. Comput. Log. 9(3): (2008) |
| 66 | | Alessandro Dal Palù,
Agostino Dovier,
Sebastian Will:
Introduction to the Special Issue on Bioinformatics and Constraints.
Constraints 13(1-2): 1-2 (2008) |
| 2007 |
|---|
| 65 |  | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
AAAI 2007: 1622-1625 |
| 64 | | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
Multivalued Action Languages with Constraints in CLP(FD).
ICLP 2007: 255-270 |
| 63 | | Luca Bortolussi,
Agostino Dovier,
Federico Fogolari:
Agent-based protein structure prediction.
Multiagent and Grid Systems 3(2): 183-197 (2007) |
| 62 | | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli:
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.
Softw., Pract. Exper. 37(13): 1405-1449 (2007) |
| 2006 |
|---|
| 61 | | Michela Farenzena,
Andrea Fusiello,
Agostino Dovier:
Reconstruction with Interval Constraints Propagation.
CVPR (1) 2006: 1185-1190 |
| 60 | | Raffaele Cipriano,
Luca Di Gaspero,
Agostino Dovier:
Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search.
Hybrid Metaheuristics 2006: 110-123 |
| 59 | | Agostino Dovier,
Andrea Formisano,
Eugenio G. Omodeo:
Decidability results for sets with atoms.
ACM Trans. Comput. Log. 7(2): 269-301 (2006) |
| 58 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Set unification.
TPLP 6(6): 645-701 (2006) |
| 2005 |
|---|
| 57 | | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.
ICLP 2005: 67-82 |
| 56 | | 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 |
| 55 | | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli:
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD).
PPDP 2005: 230-241 |
| 2004 |
|---|
| 54 | | Alessandro Dal Palù,
Agostino Dovier,
Federico Fogolari:
Protein Folding Simulation in CCP.
ICLP 2004: 452-453 |
| 53 | | Alessandro Dal Palù,
Agostino Dovier,
Federico Fogolari:
Constraint Logic Programming approach to protein structure prediction.
BMC Bioinformatics 5: 186 (2004) |
| 52 | | Agostino Dovier,
Carla Piazza,
Enrico Pontelli:
Disunification in ACI1 Theories.
Constraints 9(1): 35-91 (2004) |
| 51 | | Federico Avanzini,
Davide Rocchesso,
Alberto Belussi,
Alessandro Dal Palù,
Agostino Dovier:
Designing an Urban-Scale Auditory Alert System.
IEEE Computer 37(9): 55-61 (2004) |
| 50 | | Agostino Dovier,
Carla Piazza,
Alberto Policriti:
An efficient algorithm for computing bisimulation equivalence.
Theor. Comput. Sci. 311(1-3): 221-256 (2004) |
| 2003 |
|---|
| 49 | | S. Bozzoli,
Fausto Spoto,
Agostino Dovier:
Approximate Protein Folding in Oz through Frequency Analysis.
APPIA-GULP-PRODE 2003: 123-134 |
| 48 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Intensional Sets in CLP.
APPIA-GULP-PRODE 2003: 36-49 |
| 47 | | Alessandro Dal Palù,
Agostino Dovier,
Federico Fogolari:
Protein Folding in CLP(FD) with Empirical Contact Energies.
CSCLP 2003: 250-265 |
| 46 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Intensional Sets in CLP.
ICLP 2003: 284-299 |
| 45 | | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Integrating finite domain constraints and CLP with sets.
PPDP 2003: 219-229 |
| 44 | | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
CoRR cs.PL/0309045: (2003) |
| 43 | | Agostino Dovier,
Carla Piazza:
The Subgraph Bisimulation Problem.
IEEE Trans. Knowl. Data Eng. 15(4): 1055-1056 (2003) |
| 42 | | Agostino Dovier:
Book review: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0.
TPLP 3(1): 125-128 (2003) |
| 2002 |
|---|
| 41 | | Agostino Dovier,
Raffaella Gentilini,
Carla Piazza,
Alberto Policriti:
Rank-Based Symbolic Bisimulation (and Model Checking).
Electr. Notes Theor. Comput. Sci. 67: (2002) |
| 40 | | Agostino Dovier,
Matteo Burato,
Federico Fogolari:
Using Secondary Structure Information for Protein Folding in CLP(FD).
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 39 | | Agostino Cortesi,
Agostino Dovier,
Elisa Quintarelli,
Letizia Tanca:
Operational and abstract semantics of the query language G-Log.
Theor. Comput. Sci. 275(1-2): 521-560 (2002) |
| 2001 |
|---|
| 38 | | Agostino Dovier,
Carla Piazza,
Alberto Policriti:
A Fast Bisimulation Algorithm.
CAV 2001: 79-90 |
| 37 | | Agostino Dovier,
Elisa Quintarelli:
Model-Checking Based Data Retrieval.
DBPL 2001: 62-77 |
| 36 | | Manuele Bicego,
Agostino Dovier,
Vittorio Murino:
Designing the Minimal Structure of Hidden Markov Model by Bisimulation.
EMMCVPR 2001: 75-90 |
| 35 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Set Unification
CoRR cs.LO/0110023: (2001) |
| 34 | | Agostino Dovier,
Maria Chiara Meo,
Andrea Omicini:
Preface.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 33 | | Agostino Dovier,
Roberto Giacobazzi,
Elisa Quintarelli:
Refining and Compressing Abstract Model Checking.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 32 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Constructive Negation and Constraint Logic Programming with Sets.
New Generation Comput. 19(3): 209-256 (2001) |
| 2000 |
|---|
| 31 | | Agostino Dovier,
Carla Piazza,
Alberto Policriti:
Comparing Expressiveness of Set Constructor Symbols.
FroCos 2000: 275-289 |
| 30 | | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
Multiset Constraints and P Systems.
WMP 2000: 103-122 |
| 29 | | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
Sets and constraint logic programming.
ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000) |
| 28 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
A necessary condition for Constructive Negation in Constraint Logic Programming.
Inf. Process. Lett. 74(3-4): 147-156 (2000) |
| 1999 |
|---|
| 27 | | Agostino Dovier,
Carla Piazza,
Alberto Policriti:
Comparing expressiveness of set constructor symbols.
APPIA-GULP-PRODE 1999: 151-166 |
| 26 | | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
ACI1 constraints.
APPIA-GULP-PRODE 1999: 305-320 |
| 25 | | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
ACI1 Constraints.
ICLP 1999: 573-587 |
| 24 | | Agostino Dovier,
Eugenio G. Omodeo,
Alberto Policriti:
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case.
Appl. Algebra Eng. Commun. Comput. 9(4): 293-332 (1999) |
| 23 | | Davide Aliffi,
Agostino Dovier,
Gianfranco Rossi:
From Set to Hyperset Unification
Journal of Functional and Logic Programming 1999(10): (1999) |
| 1998 |
|---|
| 22 | | Agostino Cortesi,
Agostino Dovier,
Elisa Quintarelli,
Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
APPIA-GULP-PRODE 1998: 175-188 |
| 21 | | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints.
APPIA-GULP-PRODE 1998: 43-56 |
| 20 | | Agostino Cortesi,
Agostino Dovier,
Elisa Quintarelli,
Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
DDLP 1998: 127-140 |
| 19 | | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi,
Enrico Pontelli:
On the Representation and Management of Finite Sets in CLP Languages.
IJCSLP 1998: 40-54 |
| 18 | | Agostino Dovier,
Alberto Policriti,
Gianfranco Rossi:
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms.
Fundam. Inform. 36(2-3): 201-234 (1998) |
| 1997 |
|---|
| 17 | | Agostino Dovier,
Andrea Formisano,
Alberto Policriti:
On T Logic Programming.
APPIA-GULP-PRODE 1997: 457-466 |
| 16 | | R. Carmona,
Agostino Dovier,
Gianfranco Rossi:
Dealing with Infinite Intensional Sets in CLP.
APPIA-GULP-PRODE 1997: 465-478 |
| 15 | | Agostino Dovier,
Alberto Policriti:
Set domains for structural properties of terms.
APPIA-GULP-PRODE 1997: 93-104 |
| 14 | | Agostino Dovier,
Andrea Formisano,
Alberto Policriti:
On T Logic Programming.
ILPS 1997: 323-337 |
| 13 | | Puri Arenas-Sánchez,
Agostino Dovier:
A Minimality Study for Set Unification.
Journal of Functional and Logic Programming 1997(7): (1997) |
| 1996 |
|---|
| 12 | | Agostino Dovier,
Alberto Policriti,
Gianfranco Rossi:
Integrating Lists, Multisets, and Sets in a Logic Programming Framework.
Frontiers of Combining Systems (FroCos) 1996: 303-319 |
| 11 | | Agostino Dovier,
Eugenio G. Omodeo,
Enrico Pontelli,
Gianfranco Rossi:
A Language for Programming in Logic with Finite Sets.
J. Log. Program. 28(1): 1-44 (1996) |
| 1995 |
|---|
| 10 | | Puri Arenas-Sánchez,
Agostino Dovier:
Minimal Set Unification.
GULP-PRODE 1995: 447-458 |
| 9 | | Puri Arenas-Sánchez,
Agostino Dovier:
Minimal Set Unification
PLILP 1995: 397-414 |
| 1994 |
|---|
| 8 | | Agostino Dovier,
Eugenio G. Omodeo,
Alberto Policriti,
Gianfranco Rossi:
Solving Systems of Equations over Hypersets.
GULP-PRODE (1) 1994: 403-417 |
| 7 | | Paola Bruscoli,
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Compiling Intensional Sets in CLP.
ICLP 1994: 647-661 |
| 1993 |
|---|
| 6 | | Agostino Dovier:
A Language with Finite Sets Embedded in the CLP-scheme.
ELP 1993: 77-93 |
| 5 | | Agostino Dovier,
Gianfranco Rossi:
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.
GULP 1993: 71-86 |
| 4 | | Agostino Dovier,
Gianfranco Rossi:
Embedding extensional finite sets in CLP.
ILPS 1993: 540-556 |
| 3 | | Agostino Dovier,
Enrico Pontelli:
A WAM-Based Implementation of a Logical Language with Sets.
PLILP 1993: 275-290 |
| 1992 |
|---|
| 2 | | Agostino Dovier,
Eugenio G. Omodeo,
Enrico Pontelli,
Gianfranco Rossi:
Embedding Finite Sets in a Logic Programming Language.
ELP 1992: 150-167 |
| 1991 |
|---|
| 1 | | Agostino Dovier,
Eugenio G. Omodeo,
Enrico Pontelli,
Gianfranco Rossi:
{log}: A Logic Programming Language with Finite Sets.
ICLP 1991: 111-124 |
