Agostino Dovier - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Agostino Dovier' as author, editor, or advisor:

ACI1 constraintsAgostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi. agp 1999: 305-320
Decidability results for sets with atomsAgostino Dovier, Andrea Formisano, Eugenio G. Omodeo. tocl, 7(2):269-301, 2006. [doi]
{log}: A Logic Programming Language with Finite SetsAgostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi. ICLP 1991: 111-124
Integrating Lists, Multisets, and Sets in a Logic Programming FrameworkAgostino Dovier, Alberto Policriti, Gianfranco Rossi. frocos 1996: 303-319
PrefaceAgostino Dovier. tplp, 17(4):359-364, 2017. [doi]
Integrating finite domain constraints and CLP with setsAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. ppdp 2003: 219-229 [doi]
Rank-Based Symbolic Bisimulation (and Model Checking)Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti. ENTCS, 67:166-183, 2002. [doi]
Parallel Answer Set ProgrammingAgostino Dovier, Andrea Formisano, Enrico Pontelli. In Youssef Hamadi, Lakhdar Sais, editors, Handbook of Parallel Constraint Reasoning. pages 237-282, Springer, 2018. [doi]
Multiset Constraints and P SystemsAgostino Dovier, Carla Piazza, Gianfranco Rossi. wmpi 2001: 103-122 [doi]
A Tabled Prolog Program for Solving SokobanNeng-Fa Zhou, Agostino Dovier. FUIN, 124(4):561-575, 2013. [doi]
CUD@SAT: SAT solving on GPUsAlessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli. jetai, 27(3):293-316, 2015. [doi]
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with ConstraintsFederico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli. cp 2012: 850-866 [doi]
<tt>3coSoKu</tt> and its declarative modelingNicola Rizzo, Agostino Dovier. logcom, 32(2):307-330, 2022. [doi]
Towards a Logic Programming Tool for Cancer Data AnalysisAlice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti. FUIN, 176(3-4):299-319, 2020. [doi]
An efficient algorithm for computing bisimulation equivalenceAgostino Dovier, Carla Piazza, Alberto Policriti. TCS, 311(1-3):221-256, 2004. [doi]
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLPAgostino Dovier, Gianfranco Rossi. agp 1993: 71-86
Exploiting Unexploited Computing Resources for Computational LogicsAlessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli. cilc 2012: 74-88 [doi]
CLP-based protein fragment assemblyAlessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli. tplp, 10(4-6):709-724, 2010. [doi]
Constraints propagation on GPU: A case study for AllDifferentFabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli. cilc 2022: 61-74 [doi]
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier. aiia 2010: [doi]
Intensional Sets in CLPAgostino Dovier, Enrico Pontelli, Gianfranco Rossi. ICLP 2003: 284-299 [doi]
Non-Well-Founded Set Based Multi-Agent Epistemic Action LanguageFrancesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli. cilc 2019: 242-259 [doi]
A declarative concurrent system for protein structure prediction on GPUFederico Campeotto, Agostino Dovier, Enrico Pontelli. jetai, 27(5):503-541, 2015. [doi]
Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023Agostino Dovier, Andrea Formisano 0001, editors, Volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domainRoman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou. SCP, 147:54-77, 2017. [doi]
A Java visual Simulator of Turing MachinesAlessandro Burigana, Francesco De Martino, Agostino Dovier. ictcs 2020: 167-123 [doi]
Introduction to the Special Issue on Bioinformatics and ConstraintsAlessandro Dal Palù, Agostino Dovier, Sebastian Will. constraints, 13(1-2):1-2, 2008. [doi]
Autonomous agents coordination: Action languages meet CLP() and LindaAgostino Dovier, Andrea Formisano, Enrico Pontelli. tplp, 13(2):149-173, 2013. [doi]
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000Agostino Dovier, Maria Chiara Meo, Andrea Omicini, editors, Volume 48 of Electronic Notes in Theoretical Computer Science, Elsevier, 2000. [doi]
Constructive Negation and Constraint Logic Programming with SetsAgostino Dovier, Enrico Pontelli, Gianfranco Rossi. ngc, 19(3):209-256, 2001.
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and LindaAgostino Dovier, Andrea Formisano, Enrico Pontelli. cilc 2010: [doi]
Decidability results for sets with atomsAgostino Dovier, Andrea Formisano, Eugenio G. Omodeo. agp 2001: 245-259 [doi]
A Language for Programming in Logic with Finite SetsAgostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi. jlp, 28(1):1-44, 1996.
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal latticesAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli. ijdmb, 4(1):1-20, 2010. [doi]
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended CaseAgostino Dovier, Eugenio G. Omodeo, Alberto Policriti. aaecc, 9(4):293-332, 1999. [doi]
Sets and constraint logic programmingAgostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi. TOPLAS, 22(5):861-931, 2000. [doi]
Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28 - December 2, 2022Agostino Dovier, Angelo Montanari, Andrea Orlandini, editors, Volume 3419 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Recent constraint/logic programming based advances in the solution of the protein folding problemAgostino Dovier. ia, 5(1):113-117, 2011. [doi]
Designing an Urban-Scale Auditory Alert SystemFederico Avanzini, Davide Rocchesso, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier. Computer, 37(9):55-61, 2004. [doi]
A WAM-Based Implementation of a Logical Language with SetsAgostino Dovier, Enrico Pontelli. plilp 1993: 275-290
Logic Programming and BisimulationAgostino Dovier. ICLP 2015: [doi]
Agent-based protein structure predictionLuca Bortolussi, Agostino Dovier, Federico Fogolari. mags, 3(2):183-197, 2007. [doi]
2D object reconstruction with ASPAlessandro Dal Palù, Agostino Dovier, Andrea Formisano. cilc 2018: 132-146 [doi]
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problemsDavide Soldà, Francesco Fabiano, Agostino Dovier. logcom, 33(8):1804-1831, December 2023. [doi]
ASP Applications in Bio-informatics: A Short TourAlessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli. ki, 32(2-3):157-164, 2018. [doi]
PrettyCLP: a Light Java Implementation for Teaching CLPAlessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi. cilc 2011: 281-295 [doi]
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization ProblemsFederico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli. ecai 2014: 189-194 [doi]
Towards Distributed Computation of Answer SetsMarco De Bortoli, Federico Igne, Pietro Totis, Agostino Dovier, Enrico Pontelli. cilc 2019: 316-326 [doi]
CUD@ASP: Experimenting with GPGPUs in ASP solvingFlavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli. cilc 2013: 163-177 [doi]
Operational and abstract semantics of the query language G-LogAgostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca. TCS, 275(1-2):521-560, 2002. [doi]
Operational and Abstract Semantics of a Query Language for Semi-Structured InformationAgostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca. deductive 1998: 127-140
Modeling and Solving the Rush Hour puzzleLorenzo Cian, Talissa Dreossi, Agostino Dovier. cilc 2022: 294-306 [doi]
Dealing with Infinite Intensional Sets in CLPR. Carmona, Agostino Dovier, Gianfranco Rossi. agp 1997: 465-478
BAAC: A Prolog System for Action Description and Agents CoordinationAgostino Dovier, Andrea Formisano, Enrico Pontelli. ICLP 2011: 187-197 [doi]
A GPU Implementation of the ASP ComputationAgostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella. PADL 2016: 30-47 [doi]
Labelled Variables in Logic Programming: FoundationsRoberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini. cilc 2016: 5-20 [doi]
Exploring the Use of BDDs in Conformant PlanningStefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son. ictai 2015: 502-509 [doi]
MASP-Reduce: A Proposal for Distributed Computation of Stable ModelsFederico Igne, Agostino Dovier, Enrico Pontelli. ICLP 2018: [doi]
Towards a Logic Programming Tool for Cancer AnalysisAlice Tarzariol, Agostino Dovier, Alberto Policriti. ictcs 2017: 361-375 [doi]
Using Secondary Structure Information for Protein Folding in CLP(FD)Agostino Dovier, Matteo Burato, Federico Fogolari. ENTCS, 76:83-98, 2002. [doi]
Multivalued Action Languages with Constraints in CLP(FD)Agostino Dovier, Andrea Formisano, Enrico Pontelli. ICLP 2007: 255-270 [doi]
EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State RepresentationsFrancesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli. aips 2020: 101-109 [doi]
A Comparison of CLP(FD) and ASP Solutions to NP-Complete ProblemsAgostino Dovier, Andrea Formisano, Enrico Pontelli. ICLP 2005: 67-82 [doi]
Protein Folding Simulation in CCPAlessandro Dal Palù, Agostino Dovier, Federico Fogolari. ICLP 2004: 452-453 [doi]
Constrained Community-Based Gene Regulatory Network InferenceFerdinando Fioretto, Agostino Dovier, Enrico Pontelli. tomacs, 25(2):11, 2015. [doi]
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(::::FD::::)Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli. ppdp 2005: 230-241 [doi]
A Fast Bisimulation AlgorithmAgostino Dovier, Carla Piazza, Alberto Policriti. cav 2001: 79-90 [doi]
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal::: + + :::Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier. hm 2009: 141-155 [doi]
Logic Programming Applied to Genome Evolution in CancerAlessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli. cilc 2016: 148-157 [doi]
Modelling Multi-Agent Epistemic Planning in ASPAlessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli. tplp, 20(5):593-608, 2020. [doi]
CLP-based Protein Fragment AssemblyAlessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli. cilc 2010: [doi]
Introduction to the 28th international conference on logic programming special issueAgostino Dovier, Vítor Santos Costa. tplp, 12(4-5):421-426, 2012. [doi]
Reasoning in High Schools: Do it with ASP!Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco. cilc 2016: 205-213 [doi]
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULPAgostino Dovier, Enrico Pontelli, editors, Volume 6125 of Lecture Notes in Computer Science, Springer, 2010. [doi]
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization ProblemsFerdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh 0001. atal 2015: 1835-1836 [doi]
Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010Agostino Dovier, Alessandro Dal Palù, Sebastian Will, editors, Volume 4 of EPiC Series, EasyChair, 2012. [doi]
Multiset constraints and P systemsAgostino Dovier, Carla Piazza, Gianfranco Rossi. agp 2001: 97-112 [doi]
Compiling and Executing Declarative Modeling Languages to GecodeRaffaele Cipriano, Agostino Dovier, Jacopo Mauro. ICLP 2008: 744-748 [doi]
Distributed multi-agent optimization for smart grids and home automationFerdinando Fioretto, Agostino Dovier, Enrico Pontelli. ia, 12(2):67-87, 2018. [doi]
Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding ProblemAgostino Dovier. BIRTHDAY 2008: [doi]
A Language with Finite Sets Embedded in the CLP-schemeAgostino Dovier. elp 1994: 77-93
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding ProblemAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli. lpar 2005: 48-63 [doi]
Designing the Minimal Structure of Hidden Markov Model by BisimulationManuele Bicego, Agostino Dovier, Vittorio Murino. emmcvpr 2001: 75-90 [doi]
Epistemic Multiagent Reasoning with Collaborative RobotsDavide Soldà, Francesco Fabiano, Agostino Dovier. cilc 2022: 32-46 [doi]
Parallel Logic Programming: A SequelAgostino Dovier, Andrea Formisano 0001, Gopal Gupta 0001, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha 0001. tplp, 22(6):905-973, 2022. [doi]
Set unificationAgostino Dovier, Enrico Pontelli, Gianfranco Rossi. tplp, 6(6):645-701, 2006. [doi]
Answer Set Programming with Constraints Using Lazy GroundingAlessandro Dal PalÃ¹, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. ICLP 2009: 115-129 [doi]
Compiling and Executing PDDL in PicatMarco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou. cilc 2016: 132-147 [doi]
Unification of Hyperset TermsDavide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo. ICLP 1993:
Representing Multi-agent Planning in CLPAgostino Dovier, Andrea Formisano, Enrico Pontelli. lpnmr 2009: 423-429 [doi]
On T Logic ProgrammingAgostino Dovier, Andrea Formisano, Alberto Policriti. agp 1997: 457-466
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and LiesFrancesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son. pricai 2021: 586-597 [doi]
A Tabled Prolog Program for Solving SokobanNeng-Fa Zhou, Agostino Dovier. cilc 2011: 215-228 [doi]
Constraint Propagation on GPU: A Case Study for the Cumulative ConstraintFabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli. cpaior 2023: 336-353 [doi]
A Multi-paradigm Tool for Large Neighborhood SearchRaffaele Cipriano, Luca Di Gaspero, Agostino Dovier. In El-Ghazali Talbi, editor, Hybrid Metaheuristics. Volume 434 of Studies in Computational Intelligence, pages 389-414, Springer, 2013. [doi]
Intensional Sets in CLPAgostino Dovier, Enrico Pontelli, Gianfranco Rossi. agp 2003: 36-49
On the Representation and Management of Finite Sets in CLP LanguagesAgostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli. ICLP 1998: 40-54
Exploring life: answer set programming in bioinformaticsAlessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli. In Michael Kifer, Yanhong Annie Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications. pages 359-412, ACM / Morgan & Claypool, 2018. [doi]
Compiling Intensional Sets in CLPPaola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. ICLP 1994: 647-661
Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local SearchRaffaele Cipriano, Luca Di Gaspero, Agostino Dovier. hm 2006: 110-123 [doi]
GPU-Based Parallelism for ASP-SolvingAgostino Dovier, Andrea Formisano, Flavio Vella. inap 2020: 3-23 [doi]
A constraint solver for discrete lattices, its parallelization, and application to protein structure predictionAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli. SPE, 37(13):1405-1449, 2007. [doi]
The Subgraph Bisimulation ProblemAgostino Dovier, Carla Piazza. tkde, 15(4):1055-1056, 2003. [doi]
On T Logic ProgrammingAgostino Dovier, Andrea Formisano, Alberto Policriti. SLP 1997: 323-337
Planning as tabled logic programmingNeng-Fa Zhou, Roman Barták, Agostino Dovier. tplp, 15(4-5):543-558, 2015. [doi]
Refining and Compressing Abstract Model CheckingAgostino Dovier, Roberto Giacobazzi, Elisa Quintarelli. ENTCS, 48:90-107, 2001. [doi]
Prolog Meets BiologyAlessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 318-333, Springer, 2023. [doi]
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD)Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza. FUIN, 105(1-2):105-133, 2010. [doi]
Exploring Protein Fragment Assembly Using CLPAlessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli. IJCAI 2011: 2590-2595 [doi]
Operational and Abstract Semantics of a Query Language for Semi-Structured InformationAgostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca. agp 1998: 175-188
Extensional and Intensional Sets in CLP with Intensional NegationPaola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli. ICLP 1993:
The SATisfiability problem and its impactAgostino Dovier. cilc 2019: 1 [doi]
Logic Programming Techniques in Protein Structure Determination: Methodologies and ResultsAlessandro Dal PalÃ¹, Agostino Dovier, Enrico Pontelli. lpnmr 2009: 560-566 [doi]
Multivalued action languages with constraints in CLP(FD)Agostino Dovier, Andrea Formisano, Enrico Pontelli. tplp, 10(2):167-235, 2010. [doi]
Towards Explainable Data-to-text GenerationAlessandro Dal Palù, Agostino Dovier, Andrea Formisano 0001. cilc 2023: [doi]
Constraint propagation on GPU: A case study for the AllDifferent constraintFabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli. logcom, 33(8):1734-1752, December 2023. [doi]
ACI1 ConstraintsAgostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi. ICLP 1999: 573-587
Minimal Set UnificationPuri Arenas-Sánchez, Agostino Dovier. agp 1995: 447-458
Applying model-checking to solve queries on semistructured dataAgostino Dovier, Elisa Quintarelli. Comp. Lang., Syst. \& Struct., 35(2):143-172, 2009. [doi]
An Experimental Comparison of Constraint Logic Programming and Answer Set ProgrammingAgostino Dovier, Andrea Formisano, Enrico Pontelli. AAAI 2007: 1622-1625
A Tabled Prolog Program for Solving SokobanNeng-Fa Zhou, Agostino Dovier. ictai 2011: 896-897 [doi]
Embedding Finite Sets in a Logic Programming LanguageAgostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi. elp 1993: 150-167
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD)Federico Avanzini, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier, Davide Rocchesso. agp 2002: 139-154 [doi]
Exploring the Use of GPUs in Constraint SolvingFederico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli. PADL 2014: 152-167 [doi]
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification AlgorithmsAgostino Dovier, Alberto Policriti, Gianfranco Rossi. FUIN, 36(2-3):201-234, 1998.
A Minimality Study for Set UnificationPuri Arenas-Sánchez, Agostino Dovier. jflp, 1997(7), 1997.
Perspectives on Logic-Based Approaches for Reasoning about Actions and ChangeAgostino Dovier, Andrea Formisano, Enrico Pontelli. BIRTHDAY 2011: 259-279 [doi]
Narrowing the Gap between Set-Constraints and CLP(SET)-ConstraintsAgostino Dovier, Carla Piazza, Gianfranco Rossi. agp 1998: 43-56
Solving Systems of Equations over HypersetsAgostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi. agp 1994: 403-417
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problemsAgostino Dovier, Andrea Formisano, Enrico Pontelli. jetai, 21(2):79-121, 2009. [doi]
A Theoretical Perspective of Coinductive Logic ProgrammingDavide Ancona, Agostino Dovier. FUIN, 140(3-4):221-246, 2015. [doi]
Reconstruction with Interval Constraints PropagationMichela Farenzena, Andrea Fusiello, Agostino Dovier. cvpr 2006: 1185-1190 [doi]
co-LP: Back to the RootsDavide Ancona, Agostino Dovier. tplp, 13(4-5-Online-Supplement), 2013. [doi]
Minimal Set UnificationPuri Arenas-Sánchez, Agostino Dovier. plilp 1995: 397-414
Parallel Execution of the ASP Computation - an Investigation on GPUsAgostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella. ICLP 2015: [doi]
Comparing Expressiveness of Set Constructor SymbolsAgostino Dovier, Carla Piazza, Alberto Policriti. frocos 2000: 275-289
A Constraint Solver for Flexible Protein ModelFederico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli. jair, 48:953-1000, 2013. [doi]
Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special IssueAgostino Dovier, Vítor Santos Costa. ICLP 2012: [doi]
Extending Logic Programming with Labelled Variables: Model and SemanticsRoberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini. FUIN, 161(1-2):53-74, 2018. [doi]
Optimization of a Compiler from PDDL to Picat (Short Paper)Francesco Contaldo, Marco De Bortoli, Agostino Dovier. ictcs 2017: 281-285 [doi]
GASP: Answer Set Programming with Lazy GroundingAlessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. FUIN, 96(3):297-322, 2009. [doi]
3coSoKu and its Logic Programming ModelingNicola Rizzo, Agostino Dovier. cilc 2020: 5-20 [doi]
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and ModelsRoman Barták, Neng-Fa Zhou, Agostino Dovier. IJCAI 2016: [doi]
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and ModelsRoman Barták, Agostino Dovier, Neng-Fa Zhou. ictai 2016: 91-97 [doi]
PrefaceAgostino Dovier, Maria Chiara Meo, Andrea Omicini. ENTCS, 48:253-254, 2001. [doi]
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent FrameworkFederico Campeotto, Agostino Dovier, Enrico Pontelli. icpp 2013: 474-479 [doi]
Model-Checking Based Data RetrievalAgostino Dovier, Elisa Quintarelli. DBPL 2002: 62-77 [doi]
Disunification in ::::ACI::::1 TheoriesAgostino Dovier, Carla Piazza, Enrico Pontelli. constraints, 9(1):35-91, 2004. [doi]
GPU parallelism for SAT solving heuristicsMichele Collevati, Agostino Dovier, Andrea Formisano 0001. cilc 2022: 17-31 [doi]
Constraint Logic Programming approach to protein structure predictionAlessandro Dal Palù, Agostino Dovier, Federico Fogolari. bmcbi, 5:186, 2004. [doi]
Comparing expressiveness of set constructor symbolsAgostino Dovier, Carla Piazza, Alberto Policriti. agp 1999: 151-166
Approximate Protein Folding in Oz through Frequency AnalysisS. Bozzoli, Fausto Spoto, Agostino Dovier. agp 2003: 123-134
On modeling planning problems in tabled logic programmingRoman Barták, Agostino Dovier, Neng-Fa Zhou. ppdp 2015: 31-42 [doi]
Set Graphs VI: Logic Programming and BisimulationAgostino Dovier. cilc 2014: 14-29 [doi]
Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, HungaryAgostino Dovier, Vítor Santos Costa, editors, Volume 17 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]
From Set to Hyperset UnificationDavide Aliffi, Agostino Dovier, Gianfranco Rossi. jflp, 1999(10), 1999.
Present and Future Challenges for ASP SystemsAgostino Dovier, Enrico Pontelli. lpnmr 2009: 622-624 [doi]
A uniform approach to constraint-solving for lists, multisets, compact lists, and setsAgostino Dovier, Carla Piazza, Gianfranco Rossi. tocl, 9(3), 2008. [doi]
An Investigation of Multi-Agent Planning in CLPAgostino Dovier, Andrea Formisano, Enrico Pontelli. FUIN, 105(1-2):79-103, 2010. [doi]
AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, ProceedingsAgostino Dovier, Angelo Montanari, Andrea Orlandini, editors, Volume 13796 of Lecture Notes in Computer Science, Springer, 2023. [doi]
A necessary condition for Constructive Negation in Constraint Logic ProgrammingAgostino Dovier, Enrico Pontelli, Gianfranco Rossi. ipl, 74(3-4):147-156, 2000. [doi]
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-0Agostino Dovier. tplp, 3(1):125-128, 2003.
Embedding extensional finite sets in CLPAgostino Dovier, Gianfranco Rossi. SLP 1993: 540-556
Protein Folding in CLP(FD) with Empirical Contact EnergiesAlessandro Dal Palù, Agostino Dovier, Federico Fogolari. csclp 2004: 250-265 [doi]
Set domains for structural properties of termsAgostino Dovier, Alberto Policriti. agp 1997: 93-104

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Agostino Dovier's Profile

Unidentified Publications