Agostino Dovier

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 53

Top Venues

CILC

CoRR

Theory Pract. Log. Program.

Fundam. Informaticae

Publications

Agostino Dovier, Talissa Dreossi, Andrea Formisano
XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions. CILC (2024)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR (2023)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
Towards Explainable Data-to-text Generation. CILC (2023)
Davide Soldà, Francesco Fabiano, Agostino Dovier
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems. J. Log. Comput. 33 (8) (2023)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
An xAI Approach for Data-to-Text Processing with ASP. CoRR (2023)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint propagation on GPU: A case study for the AllDifferent constraint. J. Log. Comput. 33 (8) (2023)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22 (6) (2022)
Michele Collevati, Agostino Dovier, Andrea Formisano
GPU parallelism for SAT solving heuristics. CILC (2022)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraints propagation on GPU: A case study for AllDifferent. CILC (2022)
Nicola Rizzo, Agostino Dovier
3coSoKu and its declarative modeling. J. Log. Comput. 32 (2) (2022)
Davide Soldà, Francesco Fabiano, Agostino Dovier
Epistemic Multiagent Reasoning with Collaborative Robots. CILC (2022)
Lorenzo Cian, Talissa Dreossi, Agostino Dovier
Modeling and Solving the Rush Hour puzzle. CILC (2022)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. CoRR (2021)
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. PRICAI (1) (2021)
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
Modelling Multi-Agent Epistemic Planning in ASP. CoRR (2020)
Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti
Towards a Logic Programming Tool for Cancer Data Analysis. Fundam. Informaticae 176 (3-4) (2020)
Alessandro Burigana, Francesco De Martino, Agostino Dovier
A Java visual Simulator of Turing Machines. ICTCS (2020)
Nicola Rizzo, Agostino Dovier
3coSoKu and its Logic Programming Modeling. CILC (2020)
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli
EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. ICAPS (2020)
Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli
Modelling Multi-Agent Epistemic Planning in ASP. Theory Pract. Log. Program. 20 (5) (2020)
Agostino Dovier
The SATisfiability problem and its impact. CILC (2019)
Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli
Towards Distributed Computation of Answer Sets. CILC (2019)
Agostino Dovier, Andrea Formisano, Flavio Vella
GPU-Based Parallelism for ASP-Solving. DECLARE (2019)
Agostino Dovier, Andrea Formisano, Flavio Vella
GPU-based parallelism for ASP-solving. CoRR (2019)
Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. CILC (2019)
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli
Distributed multi-agent optimization for smart grids and home automation. Intelligenza Artificiale 12 (2) (2018)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
ASP Applications in Bio-informatics: A Short Tour. Künstliche Intell. 32 (2-3) (2018)
Federico Igne, Agostino Dovier, Enrico Pontelli
MASP-Reduce: A Proposal for Distributed Computation of Stable Models. ICLP (Technical Communications) (2018)
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics. Fundam. Informaticae 161 (1-2) (2018)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2D object reconstruction with ASP. CILC (2018)
Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Sci. Comput. Program. 147 (2017)
Francesco Contaldo, Marco De Bortoli, Agostino Dovier
Optimization of a Compiler from PDDL to Picat (Short Paper). ICTCS/CILC (2017)
Agostino Dovier
Preface. Theory Pract. Log. Program. 17 (4) (2017)
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli, William Yeoh, Roie Zivan
Solving DCOPs with Distributed Large Neighborhood Search. CoRR (2017)
Alice Tarzariol, Agostino Dovier, Alberto Policriti
Towards a Logic Programming Tool for Cancer Analysis. ICTCS/CILC (2017)
Roman Barták, Neng-Fa Zhou, Agostino Dovier
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. KnowProS@IJCAI (2016)
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Labelled Variables in Logic Programming: Foundations. CILC (2016)
Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco
Reasoning in High Schools: Do it with ASP! CILC (2016)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
Logic Programming Applied to Genome Evolution in Cancer. CILC (2016)
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
A GPU Implementation of the ASP Computation. PADL (2016)
Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou
Compiling and Executing PDDL in Picat. CILC (2016)
Roman Barták, Agostino Dovier, Neng-Fa Zhou
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. ICTAI (2016)
Roman Barták, Agostino Dovier, Neng-Fa Zhou
On modeling planning problems in tabled logic programming. PPDP (2015)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27 (3) (2015)
Agostino Dovier
Logic Programming and Bisimulation. ICLP (Technical Communications) (2015)
Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. AAMAS (2015)
Neng-Fa Zhou, Roman Barták, Agostino Dovier
Planning as tabled logic programming. Theory Pract. Log. Program. 15 (4-5) (2015)
Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli
Constrained Community-Based Gene Regulatory Network Inference. ACM Trans. Model. Comput. Simul. 25 (2) (2015)
Neng-Fa Zhou, Roman Barták, Agostino Dovier
Planning as Tabled Logic Programming. CoRR (2015)
Davide Ancona, Agostino Dovier
A Theoretical Perspective of Coinductive Logic Programming. Fundam. Informaticae 140 (3-4) (2015)
Federico Campeotto, Agostino Dovier, Enrico Pontelli
A declarative concurrent system for protein structure prediction on GPU. J. Exp. Theor. Artif. Intell. 27 (5) (2015)
Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son
Exploring the Use of BDDs in Conformant Planning. ICTAI (2015)
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
Parallel Execution of the ASP Computation - an Investigation on GPUs. ICLP (Technical Communications) (2015)
Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. ECAI (2014)
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
Exploring the Use of GPUs in Constraint Solving. PADL (2014)
Agostino Dovier
Set Graphs VI: Logic Programming and Bisimulation. CILC (2014)
Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
CUD@ASP: Experimenting with GPGPUs in ASP solving. CILC (2013)
Federico Campeotto, Agostino Dovier, Enrico Pontelli
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework. ICPP (2013)
Davide Ancona, Agostino Dovier
co-LP: Back to the Roots. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Autonomous agents coordination: Action languages meet CLP() and Linda. Theory Pract. Log. Program. 13 (2) (2013)
Neng-Fa Zhou, Agostino Dovier
A Tabled Prolog Program for Solving Sokoban. Fundam. Informaticae 124 (4) (2013)
Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
A Constraint Solver for Flexible Protein Model. J. Artif. Intell. Res. 48 (2013)
Agostino Dovier, Vítor Santos Costa
Introduction to the 28th International Conference on Logic Programming Special Issue CoRR (2012)
Agostino Dovier, Vítor Santos Costa
Introduction to the 28th international conference on logic programming special issue. Theory Pract. Log. Program. 12 (4-5) (2012)
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)
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)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
Exploiting Unexploited Computing Resources for Computational Logics. CILC (2012)
Neng-Fa Zhou, Agostino Dovier
A Tabled Prolog Program for Solving Sokoban. ICTAI (2011)
Agostino Dovier
Recent constraint/logic programming based advances in the solution of the protein folding problem. Intelligenza Artificiale 5 (1) (2011)
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
Exploring Protein Fragment Assembly Using CLP. IJCAI (2011)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
BAAC: A Prolog System for Action Description and Agents Coordination. ICLP (Technical Communications) (2011)
Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi
PrettyCLP: a Light Java Implementation for Teaching CLP. CILC (2011)
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)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda CoRR (2011)
Neng-Fa Zhou, Agostino Dovier
A Tabled Prolog Program for Solving Sokoban. CILC (2011)
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
CLP-based protein fragment assembly CoRR (2010)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. CILC (2010)
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. Informaticae 105 (1-2) (2010)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Multivalued action languages with constraints in CLP(FD). Theory Pract. Log. Program. 10 (2) (2010)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
An Investigation of Multi-Agent Planning in CLP. Fundam. Informaticae 105 (1-2) (2010)
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
CLP-based Protein Fragment Assembly. CILC (2010)
Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli
CLP-based protein fragment assembly. Theory Pract. Log. Program. 10 (4-6) (2010)
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. Int. J. Data Min. Bioinform. 4 (1) (2010)
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) (2009)
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR (2009)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Multi-valued Action Languages in CLP(FD) CoRR (2009)
Agostino Dovier, Enrico Pontelli
Present and Future Challenges for ASP Systems. LPNMR (2009)
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae 96 (3) (2009)
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Answer Set Programming with Constraints Using Lazy Grounding. ICLP (2009)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Representing Multi-agent Planning in CLP. LPNMR (2009)
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier
. Hybrid Metaheuristics (2009)
Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. RCRA@AI*IA (2009)
Agostino Dovier, Elisa Quintarelli
Applying model-checking to solve queries on semistructured data. Comput. Lang. Syst. Struct. 35 (2) (2009)
Raffaele Cipriano, Agostino Dovier, Jacopo Mauro
Compiling and Executing Declarative Modeling Languages to Gecode. ICLP (2008)
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)
Alessandro Dal Palù, Agostino Dovier, Sebastian Will
Introduction to the Special Issue on Bioinformatics and Constraints. Constraints An Int. J. 13 (1-2) (2008)
Agostino Dovier
Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem. Il Milione (2008)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Multivalued Action Languages with Constraints in CLP(FD). ICLP (2007)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI (2007)
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. Softw. Pract. Exp. 37 (13) (2007)

Agostino Dovier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Agostino Dovier