Agostino Dovier

188 papers A* 5A 3B 21C 6Journal 67Unranked 75
YearRankTypeTitle / Venue / Authors
2026 A* conf
Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding.
AAAI
Roberto Borelli, Agostino Dovier
2025 — conf
Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS.
CILC
Talissa Dreossi, Agostino Dovier, Susy Urli, Francesca Corte Pause, Martina Crociati
2025 J jnl
GPU Accelerated Compact-Table Propagation.
CoRR
Enrico Santi, Fabio Tardivo, Agostino Dovier, Andrea Formisano
2025 J jnl
GPU Accelerated Compact-Table Propagation.
Theory Pract. Log. Program.
Enrico Santi, Agostino Dovier, Andrea Formisano, Fabio Tardivo
2025 J jnl
Solving the medical student scheduling problem using simulated annealing.
J. Sched.
Eugenia Zanazzo, Sara Ceschia, Agostino Dovier, Andrea Schaerf
2025 — conf
TOLC-ASP: a Tool for Training Students for Admission Tests.
CILC
Edda Dal Santo, Agostino Dovier, Talissa Dreossi
2025 B conf
XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions.
ICLP
Agostino Dovier, Talissa Dreossi, Andrea Formisano, Benedetta Strizzolo
2024 J jnl
Advances in Computational Logic (CILC23): Preface.
J. Log. Comput.
Agostino Dovier, Andrea Formisano
2024 J jnl
Constraint propagation on GPU: a case study for the cumulative constraint.
Constraints An Int. J.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2024 B conf
Towards Explainable Weather Forecasting Through FastLAS.
LPNMR
Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait
2024 — conf
XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions.
CILC
Agostino Dovier, Talissa Dreossi, Andrea Formisano
2023 — ed.
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, Proceedings
AI*IA
Agostino Dovier, Angelo Montanari, Andrea Orlandini
2023 B conf
An xAI Approach for Data-to-Text Processing with ASP.
ICLP
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2023 B conf
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint.
CPAIOR
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 J jnl
Constraint propagation on GPU: A case study for the AllDifferent constraint.
J. Log. Comput.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 J jnl
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems.
J. Log. Comput.
Davide Soldà, Francesco Fabiano, Agostino Dovier
2023 — ed.
Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023.
CILC
Agostino Dovier, Andrea Formisano
2023 — ed.
Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28 - December 2, 2022.
DP@AIxIA
Agostino Dovier, Angelo Montanari, Andrea Orlandini
2023 — ch.
Prolog Meets Biology.
Prolog: The Next 50 Years
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2023 — conf
Towards Explainable Data-to-text Generation.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2022 J jnl
<tt>3coSoKu</tt> and its declarative modeling.
J. Log. Comput.
Nicola Rizzo, Agostino Dovier
2022 — conf
Constraints propagation on GPU: A case study for AllDifferent.
CILC
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2022 — conf
Epistemic Multiagent Reasoning with Collaborative Robots.
CILC
Davide Soldà, Francesco Fabiano, Agostino Dovier
2022 — conf
GPU parallelism for SAT solving heuristics.
CILC
Michele Collevati, Agostino Dovier, Andrea Formisano
2022 — conf
Modeling and Solving the Rush Hour puzzle.
CILC
Lorenzo Cian, Talissa Dreossi, Agostino Dovier
2022 J jnl
Parallel Logic Programming: A Sequel.
Theory Pract. Log. Program.
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2021 — conf
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies.
PRICAI (1)
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son
2021 J jnl
Parallel Logic Programming: A Sequel.
CoRR
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2020 — conf
3coSoKu and its Logic Programming Modeling.
CILC
Nicola Rizzo, Agostino Dovier
2020 — conf
A Java visual Simulator of Turing Machines.
ICTCS
Alessandro Burigana, Francesco De Martino, Agostino Dovier
2020 A* conf
EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations.
ICAPS
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli
2020 J jnl
Modelling Multi-Agent Epistemic Planning in ASP.
CoRR
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
2020 J jnl
Modelling Multi-Agent Epistemic Planning in ASP.
Theory Pract. Log. Program.
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
2020 J jnl
Towards a Logic Programming Tool for Cancer Data Analysis.
Fundam. Informaticae
Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti
2019 — conf
GPU-Based Parallelism for ASP-Solving.
DECLARE
Agostino Dovier, Andrea Formisano, Flavio Vella
2019 J jnl
GPU-based parallelism for ASP-solving.
CoRR
Agostino Dovier, Andrea Formisano, Flavio Vella
2019 — conf
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language.
CILC
Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli
2019 — conf
The SATisfiability problem and its impact.
CILC
Agostino Dovier
2019 — conf
Towards Distributed Computation of Answer Sets.
CILC
Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli
2018 — conf
2D object reconstruction with ASP.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2018 J jnl
ASP Applications in Bio-informatics: A Short Tour.
Künstliche Intell.
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018 J jnl
Distributed multi-agent optimization for smart grids and home automation.
Intelligenza Artificiale
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli
2018 — ch.
Exploring life: answer set programming in bioinformatics.
Declarative Logic Programming
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018 J jnl
Extending Logic Programming with Labelled Variables: Model and Semantics.
Fundam. Informaticae
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
2018 — conf
MASP-Reduce: A Proposal for Distributed Computation of Stable Models.
ICLP (Technical Communications)
Federico Igne, Agostino Dovier, Enrico Pontelli
2018 — ch.
Parallel Answer Set Programming.
Handbook of Parallel Constraint Reasoning
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2017 J jnl
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.
Sci. Comput. Program.
Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou
2017 — conf
Optimization of a Compiler from PDDL to Picat (Short Paper).
ICTCS/CILC
Francesco Contaldo, Marco De Bortoli, Agostino Dovier
2017 J jnl
Preface.
Theory Pract. Log. Program.
Agostino Dovier
2017 J jnl
Solving DCOPs with Distributed Large Neighborhood Search.
CoRR
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli, William Yeoh, Roie Zivan
2017 — conf
Towards a Logic Programming Tool for Cancer Analysis.
ICTCS/CILC
Alice Tarzariol, Agostino Dovier, Alberto Policriti
2016 C conf
A GPU Implementation of the ASP Computation.
PADL
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
2016 — conf
Compiling and Executing PDDL in Picat.
CILC
Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou
2016 — conf
Labelled Variables in Logic Programming: Foundations.
CILC
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
2016 — conf
Logic Programming Applied to Genome Evolution in Cancer.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
2016 B conf
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models.
ICTAI
Roman Barták, Agostino Dovier, Neng-Fa Zhou
2016 — conf
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models.
KnowProS@IJCAI
Roman Barták, Neng-Fa Zhou, Agostino Dovier
2016 — conf
Reasoning in High Schools: Do it with ASP!
CILC
Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco
2015 J jnl
A Theoretical Perspective of Coinductive Logic Programming.
Fundam. Informaticae
Davide Ancona, Agostino Dovier
2015 J jnl
A declarative concurrent system for protein structure prediction on GPU.
J. Exp. Theor. Artif. Intell.
Federico Campeotto, Agostino Dovier, Enrico Pontelli
2015 J jnl
CUD@SAT: SAT solving on GPUs.
J. Exp. Theor. Artif. Intell.
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2015 J jnl
Constrained Community-Based Gene Regulatory Network Inference.
ACM Trans. Model. Comput. Simul.
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli
2015 B conf
Exploring the Use of BDDs in Conformant Planning.
ICTAI
Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son
2015 A conf
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems.
AAMAS
Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh
2015 — conf
Logic Programming and Bisimulation.
ICLP (Technical Communications)
Agostino Dovier
2015 C conf
On modeling planning problems in tabled logic programming.
PPDP
Roman Barták, Agostino Dovier, Neng-Fa Zhou
2015 — conf
Parallel Execution of the ASP Computation - an Investigation on GPUs.
ICLP (Technical Communications)
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
2015 J jnl
Planning as Tabled Logic Programming.
CoRR
Neng-Fa Zhou, Roman Barták, Agostino Dovier
2015 J jnl
Planning as tabled logic programming.
Theory Pract. Log. Program.
Neng-Fa Zhou, Roman Barták, Agostino Dovier
2014 A conf
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.
ECAI
Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2014 C conf
Exploring the Use of GPUs in Constraint Solving.
PADL
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2014 — conf
Set Graphs VI: Logic Programming and Bisimulation.
CILC
Agostino Dovier
2013 J jnl
A Constraint Solver for Flexible Protein Model.
J. Artif. Intell. Res.
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2013 — ch.
A Multi-paradigm Tool for Large Neighborhood Search.
Hybrid Metaheuristics
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier
2013 J jnl
A Tabled Prolog Program for Solving Sokoban.
Fundam. Informaticae
Neng-Fa Zhou, Agostino Dovier
2013 J jnl
Autonomous agents coordination: Action languages meet CLP() and Linda.
Theory Pract. Log. Program.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2013 — conf
CUD@ASP: Experimenting with GPGPUs in ASP solving.
CILC
Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2013 B conf
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework.
ICPP
Federico Campeotto, Agostino Dovier, Enrico Pontelli
2013 J jnl
co-LP: Back to the Roots.
Theory Pract. Log. Program.
Davide Ancona, Agostino Dovier
2012 A conf
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints.
CP
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
2012 — conf
Exploiting Unexploited Computing Resources for Computational Logics.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2012 J jnl
Introduction to the 28th International Conference on Logic Programming Special Issue
CoRR
Agostino Dovier, Vítor Santos Costa
2012 J jnl
Introduction to the 28th international conference on logic programming special issue.
Theory Pract. Log. Program.
Agostino Dovier, Vítor Santos Costa
2012 — conf
Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue.
ICLP (Technical Communications)
Agostino Dovier, Vítor Santos Costa
2012 — ed.
Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, Budapest, Hungary, September 4-8, 2012
ICLP (Technical Communications)
Agostino Dovier, Vítor Santos Costa
2012 — ed.
Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010
WCB@ICLP
Agostino Dovier, Alessandro Dal Palù, Sebastian Will
2011 — conf
A Tabled Prolog Program for Solving Sokoban.
CILC
Neng-Fa Zhou, Agostino Dovier
2011 B conf
A Tabled Prolog Program for Solving Sokoban.
ICTAI
Neng-Fa Zhou, Agostino Dovier
2011 J jnl
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda
CoRR
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2011 — conf
BAAC: A Prolog System for Action Description and Agents Coordination.
ICLP (Technical Communications)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2011 A* conf
Exploring Protein Fragment Assembly Using CLP.
IJCAI
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2011 — conf
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2011 — conf
PrettyCLP: a Light Java Implementation for Teaching CLP.
CILC
Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi
2011 J jnl
Recent constraint/logic programming based advances in the solution of the protein folding problem.
Intelligenza Artificiale
Agostino Dovier
2010 — book
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
25 Years GULP
Agostino Dovier, Enrico Pontelli
2010 J jnl
An Investigation of Multi-Agent Planning in CLP.
Fundam. Informaticae
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2010 — conf
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda.
CILC
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2010 — conf
CLP-based Protein Fragment Assembly.
CILC
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010 J jnl
CLP-based protein fragment assembly
CoRR
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010 J jnl
CLP-based protein fragment assembly.
Theory Pract. Log. Program.
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
2010 J jnl
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices.
Int. J. Data Min. Bioinform.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2010 J jnl
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD).
Fundam. Informaticae
Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza
2010 J jnl
Multivalued action languages with constraints in CLP(FD).
Theory Pract. Log. Program.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2009 — conf
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal
Hybrid Metaheuristics
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier
2009 — conf
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++.
RCRA@AI*IA
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier
2009 J jnl
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.
J. Exp. Theor. Artif. Intell.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2009 B conf
Answer Set Programming with Constraints Using Lazy Grounding.
ICLP
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2009 J jnl
Applying model-checking to solve queries on semistructured data.
Comput. Lang. Syst. Struct.
Agostino Dovier, Elisa Quintarelli
2009 J jnl
GASP: Answer Set Programming with Lazy Grounding.
Fundam. Informaticae
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2009 B conf
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.
LPNMR
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2009 J jnl
Multi-valued Action Languages in CLP(FD)
CoRR
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2009 B conf
Present and Future Challenges for ASP Systems.
LPNMR
Agostino Dovier, Enrico Pontelli
2009 B conf
Representing Multi-agent Planning in CLP.
LPNMR
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2008 J jnl
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
ACM Trans. Comput. Log.
Agostino Dovier, Carla Piazza, Gianfranco Rossi
2008 B conf
Compiling and Executing Declarative Modeling Languages to Gecode.
ICLP
Raffaele Cipriano, Agostino Dovier, Jacopo Mauro
2008 J jnl
Introduction to the Special Issue on Bioinformatics and Constraints.
Constraints An Int. J.
Alessandro Dal Palù, Agostino Dovier, Sebastian Will
2008 — conf
Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem.
Il Milione
Agostino Dovier
2007 J jnl
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.
Softw. Pract. Exp.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2007 J jnl
Agent-based protein structure prediction.
Multiagent Grid Syst.
Luca Bortolussi, Agostino Dovier, Federico Fogolari
2007 A* conf
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
AAAI
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2007 B conf
Multivalued Action Languages with Constraints in CLP(FD).
ICLP
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2006 J jnl
Decidability results for sets with atoms.
ACM Trans. Comput. Log.
Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo
2006 — conf
Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search.
Hybrid Metaheuristics
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier
2006 — conf
Reconstruction with Interval Constraints Propagation.
CVPR (1)
Michela Farenzena, Andrea Fusiello, Agostino Dovier
2006 J jnl
Set unification.
Theory Pract. Log. Program.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2005 B conf
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.
ICLP
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2005 B conf
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.
LPAR
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2005 C conf
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(
PPDP
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
2004 J jnl
An efficient algorithm for computing bisimulation equivalence.
Theor. Comput. Sci.
Agostino Dovier, Carla Piazza, Alberto Policriti
2004 J jnl
Constraint Logic Programming approach to protein structure prediction.
BMC Bioinform.
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
2004 J jnl
Designing an Urban-Scale Auditory Alert System.
Computer
Federico Avanzini, Davide Rocchesso, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier
2004 J jnl
Disunification in
Constraints An Int. J.
Agostino Dovier, Carla Piazza, Enrico Pontelli
2004 B conf
Protein Folding Simulation in CCP.
ICLP
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
2003 J jnl
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
CoRR
Agostino Dovier, Carla Piazza, Gianfranco Rossi
2003 — conf
Approximate Protein Folding in Oz through Frequency Analysis.
APPIA-GULP-PRODE
S. Bozzoli, Fausto Spoto, Agostino Dovier
2003 J jnl
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.
Theory Pract. Log. Program.
Agostino Dovier
2003 C conf
Integrating finite domain constraints and CLP with sets.
PPDP
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003 — conf
Intensional Sets in CLP.
APPIA-GULP-PRODE
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003 B conf
Intensional Sets in CLP.
ICLP
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2003 — conf
Protein Folding in CLP(FD) with Empirical Contact Energies.
CSCLP
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
2003 J jnl
The Subgraph Bisimulation Problem.
IEEE Trans. Knowl. Data Eng.
Agostino Dovier, Carla Piazza
2002 J jnl
Operational and abstract semantics of the query language G-Log.
Theor. Comput. Sci.
Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca
2002 — conf
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD).
APPIA-GULP-PRODE
Federico Avanzini, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier, Davide Rocchesso
2002 C conf
Rank-Based Symbolic Bisimulation (and Model Checking).
WoLLIC
Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti
2002 — conf
Using Secondary Structure Information for Protein Folding in CLP(FD).
WFLP
Agostino Dovier, Matteo Burato, Federico Fogolari
2001 A* conf
A Fast Bisimulation Algorithm.
CAV
Agostino Dovier, Carla Piazza, Alberto Policriti
2001 J jnl
Constructive Negation and Constraint Logic Programming with Sets.
New Gener. Comput.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2001 — conf
Decidability results for sets with atoms.
APPIA-GULP-PRODE
Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo
2001 — conf
Designing the Minimal Structure of Hidden Markov Model by Bisimulation.
EMMCVPR
Manuele Bicego, Agostino Dovier, Vittorio Murino
2001 — conf
Model-Checking Based Data Retrieval.
DBPL
Agostino Dovier, Elisa Quintarelli
2001 — conf
Multiset constraints and P systems.
APPIA-GULP-PRODE
Agostino Dovier, Carla Piazza, Gianfranco Rossi
2001 — conf
Preface.
APPIA-GULP-PRODE
Agostino Dovier, Maria Chiara Meo, Andrea Omicini
2001 — conf
Refining and Compressing Abstract Model Checking.
APPIA-GULP-PRODE
Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli
2001 J jnl
Set Unification
CoRR
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2000 J jnl
A necessary condition for Constructive Negation in Constraint Logic Programming.
Inf. Process. Lett.
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
2000 — conf
Comparing Expressiveness of Set Constructor Symbols.
FroCoS
Agostino Dovier, Carla Piazza, Alberto Policriti
2000 — ed.
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000
APPIA-GULP-PRODE
Agostino Dovier, Maria Chiara Meo, Andrea Omicini
2000 — conf
Multiset Constraints and P Systems.
WMP
Agostino Dovier, Carla Piazza, Gianfranco Rossi
2000 J jnl
Sets and constraint logic programming.
ACM Trans. Program. Lang. Syst.
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999 B conf
ACI1 Constraints.
ICLP
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999 — conf
ACI1 constraints.
APPIA-GULP-PRODE
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
1999 — conf
Comparing expressiveness of set constructor symbols.
APPIA-GULP-PRODE
Agostino Dovier, Carla Piazza, Alberto Policriti
1999 J jnl
From Set to Hyperset Unification
J. Funct. Log. Program.
Davide Aliffi, Agostino Dovier, Gianfranco Rossi
1999 J jnl
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case.
Appl. Algebra Eng. Commun. Comput.
Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti
1998 J jnl
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms.
Fundam. Informaticae
Agostino Dovier, Alberto Policriti, Gianfranco Rossi
1998 — conf
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints.
APPIA-GULP-PRODE
Agostino Dovier, Carla Piazza, Gianfranco Rossi
1998 — conf
On the Representation and Management of Finite Sets in CLP Languages.
IJCSLP
Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli
1998 — conf
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
APPIA-GULP-PRODE
Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca
1998 — conf
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
DDLP
Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca
1997 J jnl
A Minimality Study for Set Unification.
J. Funct. Log. Program.
Puri Arenas-Sánchez, Agostino Dovier
1997 — conf
Dealing with Infinite Intensional Sets in CLP.
APPIA-GULP-PRODE
Roberta Carmona, Agostino Dovier, Gianfranco Rossi
1997 — conf
On T Logic Programming.
APPIA-GULP-PRODE
Agostino Dovier, Andrea Formisano, Alberto Policriti
1997 — conf
On T Logic Programming.
ILPS
Agostino Dovier, Andrea Formisano, Alberto Policriti
1997 — conf
Set domains for structural properties of terms.
APPIA-GULP-PRODE
Agostino Dovier, Alberto Policriti
1996 J jnl
A Language for Programming in Logic with Finite Sets.
J. Log. Program.
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
1996 — conf
Integrating Lists, Multisets, and Sets in a Logic Programming Framework.
FroCoS
Agostino Dovier, Alberto Policriti, Gianfranco Rossi
1995 — conf
Minimal Set Unification
PLILP
Puri Arenas-Sánchez, Agostino Dovier
1995 — conf
Minimal Set Unification.
GULP-PRODE
Puri Arenas-Sánchez, Agostino Dovier
1994 B conf
Compiling Intensional Sets in CLP.
ICLP
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
1994 — conf
Solving Systems of Equations over Hypersets.
GULP-PRODE (1)
Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
1993 — conf
A Language with Finite Sets Embedded in the CLP-scheme.
ELP
Agostino Dovier
1993 — conf
A WAM-Based Implementation of a Logical Language with Sets.
PLILP
Agostino Dovier, Enrico Pontelli
1993 — conf
Embedding extensional finite sets in CLP.
ILPS
Agostino Dovier, Gianfranco Rossi
1993 — conf
Extensional and Intensional Sets in CLP with Intensional Negation.
ICLP Workshop on Logic Programming with Sets
Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli
1993 — conf
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.
GULP
Agostino Dovier, Gianfranco Rossi
1993 — conf
Unification of Hyperset Terms.
ICLP Workshop on Logic Programming with Sets
Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo
1992 — conf
Embedding Finite Sets in a Logic Programming Language.
ELP
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
1991 B conf
{log}: A Logic Programming Language with Finite Sets.
ICLP
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi