Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Agostino Dovier
2010 – today
- 2013
[j37]Neng-Fa Zhou, Agostino Dovier: A Tabled Prolog Program for Solving Sokoban. Fundam. Inform. 124(4): 561-575 (2013)- [j36]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Autonomous agents coordination: Action languages meet CLP() and Linda. TPLP 13(2): 149-173 (2013)
- 2012
- [j35]Agostino Dovier, Vítor Santos Costa: Introduction to the 28th international conference on logic programming special issue. TPLP 12(4-5): 421-426 (2012)
- [c57]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli: Exploiting Unexploited Computing Resources for Computational Logics. CILC 2012: 74-88
- [c56]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
- [c55]Agostino Dovier, Vítor Santos Costa: Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. ICLP (Technical Communications) 2012
- [e2]Agostino Dovier, Vítor Santos Costa (Eds.): Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. LIPIcs 17, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, ISBN 978-3-939897-43-9
- [i6]Agostino Dovier, Vítor Santos Costa: Introduction to the 28th International Conference on Logic Programming Special Issue. CoRR abs/1210.3937 (2012)
- 2011
- [j34]Agostino Dovier: Recent constraint/logic programming based advances in the solution of the protein folding problem. Intelligenza Artificiale 5(1): 113-117 (2011)
- [c54]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 259-279
- [c53]
- [c52]Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi: PrettyCLP: a Light Java Implementation for Teaching CLP. CILC 2011: 281-295
- [c51]Agostino Dovier, Andrea Formisano, Enrico Pontelli: BAAC: A Prolog System for Action Description and Agents Coordination. ICLP (Technical Communications) 2011: 187-197
- [c50]
- [c49]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: Exploring Protein Fragment Assembly Using CLP. IJCAI 2011: 2590-2595
- [i5]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda. CoRR abs/1110.0624 (2011)
- 2010
- [j33]Agostino Dovier, Andrea Formisano, Enrico Pontelli: An Investigation of Multi-Agent Planning in CLP. Fundam. Inform. 105(1-2): 79-103 (2010)
- [j32]Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza: Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Fundam. Inform. 105(1-2): 105-133 (2010)
- [j31]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. IJDMB 4(1): 1-20 (2010)
- [j30]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multivalued action languages with constraints in CLP(FD). TPLP 10(2): 167-235 (2010)
- [j29]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: CLP-based protein fragment assembly. TPLP 10(4-6): 709-724 (2010)
- [c48]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. CILC 2010
- [c47]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: CLP-based Protein Fragment Assembly. CILC 2010
- [e1]Agostino Dovier, Enrico Pontelli (Eds.): A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science 6125, Springer 2010, ISBN 978-3-642-14308-3
- [i4]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli: CLP-based protein fragment assembly. CoRR abs/1007.5180 (2010)
2000 – 2009
- 2009
- [j28]Agostino Dovier, Elisa Quintarelli: Applying model-checking to solve queries on semistructured data. Computer Languages, Systems & Structures 35(2): 143-172 (2009)
- [j27]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: GASP: Answer Set Programming with Lazy Grounding. Fundam. Inform. 96(3): 297-322 (2009)
- [j26]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)
- [c46]Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier: A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + + . Hybrid Metaheuristics 2009: 141-155
- [c45]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129
- [c44]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Representing Multi-agent Planning in CLP. LPNMR 2009: 423-429
- [c43]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR 2009: 560-566
- [c42]Agostino Dovier, Enrico Pontelli: Present and Future Challenges for ASP Systems. LPNMR 2009: 622-624
- [i3]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multi-valued Action Languages in CLP(FD). CoRR abs/0912.2846 (2009)
- 2008
- [j25]Alessandro Dal Palù, Agostino Dovier, Sebastian Will: Introduction to the Special Issue on Bioinformatics and Constraints. Constraints 13(1-2): 1-2 (2008)
- [j24]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)
- [c41]Raffaele Cipriano, Agostino Dovier, Jacopo Mauro: Compiling and Executing Declarative Modeling Languages to Gecode. ICLP 2008: 744-748
- 2007
- [j23]Luca Bortolussi, Agostino Dovier, Federico Fogolari: Agent-based protein structure prediction. Multiagent and Grid Systems 3(2): 183-197 (2007)
- [j22]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)
- [c40]Agostino Dovier, Andrea Formisano, Enrico Pontelli: An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI 2007: 1622-1625
- [c39]Agostino Dovier, Andrea Formisano, Enrico Pontelli: Multivalued Action Languages with Constraints in CLP(FD). ICLP 2007: 255-270
- 2006
- [j21]Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo: Decidability results for sets with atoms. ACM Trans. Comput. Log. 7(2): 269-301 (2006)
- [j20]
- [c38]Michela Farenzena, Andrea Fusiello, Agostino Dovier: Reconstruction with Interval Constraints Propagation. CVPR (1) 2006: 1185-1190
- [c37]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
- 2005
- [c36]Agostino Dovier, Andrea Formisano, Enrico Pontelli: A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. ICLP 2005: 67-82
- [c35]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
- [c34]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli: Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). PPDP 2005: 230-241
- 2004
- [j19]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari: Constraint Logic Programming approach to protein structure prediction. BMC Bioinformatics 5: 186 (2004)
- [j18]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)
- [j17]Agostino Dovier, Carla Piazza, Enrico Pontelli: Disunification in ACI1 Theories. Constraints 9(1): 35-91 (2004)
- [j16]Agostino Dovier, Carla Piazza, Alberto Policriti: An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. 311(1-3): 221-256 (2004)
- [c33]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari: Protein Folding Simulation in CCP. ICLP 2004: 452-453
- 2003
- [j15]Agostino Dovier, Carla Piazza: The Subgraph Bisimulation Problem. IEEE Trans. Knowl. Data Eng. 15(4): 1055-1056 (2003)
- [j14]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)
- [c32]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49
- [c31]S. Bozzoli, Fausto Spoto, Agostino Dovier: Approximate Protein Folding in Oz through Frequency Analysis. APPIA-GULP-PRODE 2003: 123-134
- [c30]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari: Protein Folding in CLP(FD) with Empirical Contact Energies. CSCLP 2003: 250-265
- [c29]
- [c28]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Integrating finite domain constraints and CLP with sets. PPDP 2003: 219-229
- [i2]Agostino Dovier, Carla Piazza, Gianfranco Rossi: A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. CoRR cs.PL/0309045 (2003)
- 2002
- [j13]Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank-Based Symbolic Bisimulation (and Model Checking). Electr. Notes Theor. Comput. Sci. 67: 166-183 (2002)
- [j12]Agostino Dovier, Matteo Burato, Federico Fogolari: Using Secondary Structure Information for Protein Folding in CLP(FD). Electr. Notes Theor. Comput. Sci. 76: 83-98 (2002)
- [j11]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
- [j10]Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli: Refining and Compressing Abstract Model Checking. Electr. Notes Theor. Comput. Sci. 48: 90-107 (2001)
- [j9]Agostino Dovier, Maria Chiara Meo, Andrea Omicini: Preface. Electr. Notes Theor. Comput. Sci. 48: 253-254 (2001)
- [j8]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Constructive Negation and Constraint Logic Programming with Sets. New Generation Comput. 19(3): 209-256 (2001)
- [c27]
- [c26]
- [c25]Manuele Bicego, Agostino Dovier, Vittorio Murino: Designing the Minimal Structure of Hidden Markov Model by Bisimulation. EMMCVPR 2001: 75-90
- [i1]
- 2000
- [j7]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)
- [j6]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000)
- [c24]Agostino Dovier, Carla Piazza, Alberto Policriti: Comparing Expressiveness of Set Constructor Symbols. FroCoS 2000: 275-289
- [c23]Agostino Dovier, Carla Piazza, Gianfranco Rossi: Multiset Constraints and P Systems. WMP 2000: 103-122
1990 – 1999
- 1999
- [j5]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)
- [j4]Davide Aliffi, Agostino Dovier, Gianfranco Rossi: From Set to Hyperset Unification. Journal of Functional and Logic Programming 1999(10) (1999)
- [c22]Agostino Dovier, Carla Piazza, Alberto Policriti: Comparing expressiveness of set constructor symbols. APPIA-GULP-PRODE 1999: 151-166
- [c21]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320
- [c20]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 Constraints. ICLP 1999: 573-587
- 1998
- [j3]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)
- [c19]Agostino Dovier, Carla Piazza, Gianfranco Rossi: Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE 1998: 43-56
- [c18]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
- [c17]Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca: Operational and Abstract Semantics of a Query Language for Semi-Structured Information. DDLP 1998: 127-140
- [c16]Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli: On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54
- 1997
- [j2]Puri Arenas-Sánchez, Agostino Dovier: A Minimality Study for Set Unification. Journal of Functional and Logic Programming 1997(7) (1997)
- [c15]Agostino Dovier, Alberto Policriti: Set domains for structural properties of terms. APPIA-GULP-PRODE 1997: 93-104
- [c14]Agostino Dovier, Andrea Formisano, Alberto Policriti: On T Logic Programming. APPIA-GULP-PRODE 1997: 457-466
- [c13]R. Carmona, Agostino Dovier, Gianfranco Rossi: Dealing with Infinite Intensional Sets in CLP. APPIA-GULP-PRODE 1997: 465-478
- [c12]
- 1996
- [j1]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)
- [c11]Agostino Dovier, Alberto Policriti, Gianfranco Rossi: Integrating Lists, Multisets, and Sets in a Logic Programming Framework. FroCoS 1996: 303-319
- 1995
- [c10]
- [c9]
- 1994
- [c8]Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi: Solving Systems of Equations over Hypersets. GULP-PRODE (1) 1994: 403-417
- [c7]Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Compiling Intensional Sets in CLP. ICLP 1994: 647-661
- 1993
- [c6]Agostino Dovier, Gianfranco Rossi: Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. GULP 1993: 71-86
- [c5]
- [c4]Agostino Dovier, Enrico Pontelli: A WAM-Based Implementation of a Logical Language with Sets. PLILP 1993: 275-290
- [c3]
- 1992
- [c2]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: Embedding Finite Sets in a Logic Programming Language. ELP 1992: 150-167
- 1991
- [c1]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: {log}: A Logic Programming Language with Finite Sets. ICLP 1991: 111-124
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:41 CEST by the dblp team