Agostino Dovier

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

Related Topics

Developed by the Database Group at the University of Wisconsin and Yahoo! Research