default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAgostino Dovier
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j53]Fabio Tardivo
, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint propagation on GPU: a case study for the cumulative constraint. Constraints An Int. J. 29(1): 192-214 (2024)- [j52]Agostino Dovier, Andrea Formisano:
Advances in Computational Logic (CILC23): Preface. J. Log. Comput. 34(8): 1397-1398 (2024) - [c106]Agostino Dovier, Talissa Dreossi, Andrea Formisano:
XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions. CILC 2024 - [c105]Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait:
Towards Explainable Weather Forecasting Through FastLAS. LPNMR 2024: 262-275 - 2023
- [j51]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): 1734-1752 (2023) - [j50]Davide Soldà, Francesco Fabiano, Agostino Dovier:
ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems. J. Log. Comput. 33(8): 1804-1831 (2023) - [c104]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
Towards Explainable Data-to-text Generation. CILC 2023 - [c103]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR 2023: 336-353 - [c102]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
An xAI Approach for Data-to-Text Processing with ASP. ICLP 2023: 353-366 - [p4]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Prolog Meets Biology. Prolog: The Next 50 Years 2023: 318-333 - [e7]Agostino Dovier, Angelo Montanari, Andrea Orlandini:
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. CEUR Workshop Proceedings 3419, CEUR-WS.org 2023 [contents] - [e6]Agostino Dovier, Angelo Montanari, Andrea Orlandini:
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. Lecture Notes in Computer Science 13796, Springer 2023, ISBN 978-3-031-27180-9 [contents] - [e5]Agostino Dovier, Andrea Formisano:
Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. CEUR Workshop Proceedings 3428, CEUR-WS.org 2023 [contents] - 2022
- [j49]Nicola Rizzo, Agostino Dovier:
3coSoKu and its declarative modeling. J. Log. Comput. 32(2): 307-330 (2022) - [j48]Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22(6): 905-973 (2022) - [c101]Michele Collevati, Agostino Dovier, Andrea Formisano:
GPU parallelism for SAT solving heuristics. CILC 2022: 17-31 - [c100]Davide Soldà, Francesco Fabiano, Agostino Dovier:
Epistemic Multiagent Reasoning with Collaborative Robots. CILC 2022: 32-46 - [c99]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraints propagation on GPU: A case study for AllDifferent. CILC 2022: 61-74 - [c98]Lorenzo Cian, Talissa Dreossi, Agostino Dovier:
Modeling and Solving the Rush Hour puzzle. CILC 2022: 294-306 - 2021
- [c97]Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son:
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. PRICAI (1) 2021: 586-597 - [i11]Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. CoRR abs/2111.11218 (2021) - 2020
- [j47]Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti:
Towards a Logic Programming Tool for Cancer Data Analysis. Fundam. Informaticae 176(3-4): 299-319 (2020) - [j46]Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli:
Modelling Multi-Agent Epistemic Planning in ASP. Theory Pract. Log. Program. 20(5): 593-608 (2020) - [c96]Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli:
EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. ICAPS 2020: 101-109 - [c95]Nicola Rizzo, Agostino Dovier:
3coSoKu and its Logic Programming Modeling. CILC 2020: 5-20 - [c94]Alessandro Burigana, Francesco De Martino, Agostino Dovier:
A Java visual Simulator of Turing Machines. ICTCS 2020: 167-123 - [i10]Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli:
Modelling Multi-Agent Epistemic Planning in ASP. CoRR abs/2008.03007 (2020)
2010 – 2019
- 2019
- [c93]Agostino Dovier:
The SATisfiability problem and its impact. CILC 2019: 1 - [c92]Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli:
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. CILC 2019: 242-259 - [c91]Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli:
Towards Distributed Computation of Answer Sets. CILC 2019: 316-326 - [c90]Agostino Dovier, Andrea Formisano, Flavio Vella:
GPU-Based Parallelism for ASP-Solving. DECLARE 2019: 3-23 - [i9]Agostino Dovier, Andrea Formisano, Flavio Vella:
GPU-based parallelism for ASP-solving. CoRR abs/1909.01786 (2019) - 2018
- [j45]Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini:
Extending Logic Programming with Labelled Variables: Model and Semantics. Fundam. Informaticae 161(1-2): 53-74 (2018) - [j44]Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli:
Distributed multi-agent optimization for smart grids and home automation. Intelligenza Artificiale 12(2): 67-87 (2018) - [j43]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
ASP Applications in Bio-informatics: A Short Tour. Künstliche Intell. 32(2-3): 157-164 (2018) - [c89]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
2D object reconstruction with ASP. CILC 2018: 132-146 - [c88]Federico Igne, Agostino Dovier, Enrico Pontelli:
MASP-Reduce: A Proposal for Distributed Computation of Stable Models. ICLP (Technical Communications) 2018: 8:1-8:4 - [p3]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Exploring life: answer set programming in bioinformatics. Declarative Logic Programming 2018: 359-412 - [p2]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Parallel Answer Set Programming. Handbook of Parallel Constraint Reasoning 2018: 237-282 - 2017
- [j42]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: 54-77 (2017) - [j41]Agostino Dovier:
Preface. Theory Pract. Log. Program. 17(4): 359-364 (2017) - [c87]Francesco Contaldo, Marco De Bortoli, Agostino Dovier:
Optimization of a Compiler from PDDL to Picat (Short Paper). ICTCS/CILC 2017: 281-285 - [c86]Alice Tarzariol, Agostino Dovier, Alberto Policriti:
Towards a Logic Programming Tool for Cancer Analysis. ICTCS/CILC 2017: 361-375 - [i8]Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli, William Yeoh, Roie Zivan:
Solving DCOPs with Distributed Large Neighborhood Search. CoRR abs/1702.06915 (2017) - 2016
- [c85]Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini:
Labelled Variables in Logic Programming: Foundations. CILC 2016: 5-20 - [c84]Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou:
Compiling and Executing PDDL in Picat. CILC 2016: 132-147 - [c83]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli:
Logic Programming Applied to Genome Evolution in Cancer. CILC 2016: 148-157 - [c82]Agostino Dovier, Paolo Benoli, Maria Concetta Brocato, Luciano Dereani, Federica Tabacco:
Reasoning in High Schools: Do it with ASP! CILC 2016: 205-213 - [c81]Roman Barták, Agostino Dovier, Neng-Fa Zhou:
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. ICTAI 2016: 91-97 - [c80]Roman Barták, Neng-Fa Zhou, Agostino Dovier:
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. KnowProS@IJCAI 2016 - [c79]Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella:
A GPU Implementation of the ASP Computation. PADL 2016: 30-47 - 2015
- [j40]Davide Ancona, Agostino Dovier:
A Theoretical Perspective of Coinductive Logic Programming. Fundam. Informaticae 140(3-4): 221-246 (2015) - [j39]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27(3): 293-316 (2015) - [j38]Federico Campeotto, Agostino Dovier, Enrico Pontelli:
A declarative concurrent system for protein structure prediction on GPU. J. Exp. Theor. Artif. Intell. 27(5): 503-541 (2015) - [j37]Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli:
Constrained Community-Based Gene Regulatory Network Inference. ACM Trans. Model. Comput. Simul. 25(2): 11:1-11:26 (2015) - [j36]Neng-Fa Zhou, Roman Barták, Agostino Dovier:
Planning as tabled logic programming. Theory Pract. Log. Program. 15(4-5): 543-558 (2015) - [c78]Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh:
Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems. AAMAS 2015: 1835-1836 - [c77]Agostino Dovier:
Logic Programming and Bisimulation. ICLP (Technical Communications) 2015 - [c76]Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella:
Parallel Execution of the ASP Computation - an Investigation on GPUs. ICLP (Technical Communications) 2015 - [c75]Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son:
Exploring the Use of BDDs in Conformant Planning. ICTAI 2015: 502-509 - [c74]Roman Barták, Agostino Dovier, Neng-Fa Zhou:
On modeling planning problems in tabled logic programming. PPDP 2015: 31-42 - [i7]Neng-Fa Zhou, Roman Barták, Agostino Dovier:
Planning as Tabled Logic Programming. CoRR abs/1507.03979 (2015) - 2014
- [c73]Agostino Dovier:
Set Graphs VI: Logic Programming and Bisimulation. CILC 2014: 14-29 - [c72]Federico Campeotto, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. ECAI 2014: 189-194 - [c71]Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
Exploring the Use of GPUs in Constraint Solving. PADL 2014: 152-167 - 2013
- [j35]Neng-Fa Zhou, Agostino Dovier:
A Tabled Prolog Program for Solving Sokoban. Fundam. Informaticae 124(4): 561-575 (2013) - [j34]Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
A Constraint Solver for Flexible Protein Model. J. Artif. Intell. Res. 48: 953-1000 (2013) - [j33]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Autonomous agents coordination: Action languages meet CLP() and Linda. Theory Pract. Log. Program. 13(2): 149-173 (2013) - [j32]Davide Ancona, Agostino Dovier:
co-LP: Back to the Roots. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c70]Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
CUD@ASP: Experimenting with GPGPUs in ASP solving. CILC 2013: 163-177 - [c69]Federico Campeotto, Agostino Dovier, Enrico Pontelli:
Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework. ICPP 2013: 474-479 - [p1]Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier:
A Multi-paradigm Tool for Large Neighborhood Search. Hybrid Metaheuristics 2013: 389-414 - 2012
- [j31]Agostino Dovier, Vítor Santos Costa:
Introduction to the 28th international conference on logic programming special issue. Theory Pract. Log. Program. 12(4-5): 421-426 (2012) - [c68]Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Exploiting Unexploited Computing Resources for Computational Logics. CILC 2012: 74-88 - [c67]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 - [c66]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 - [e4]Agostino Dovier, Alessandro Dal Palù, Sebastian Will:
Workshop on Constraint Based Methods for Bioinformatics, WCB10, Edinburgh, UK, July 21, 2010. EPiC Series in Computing 4, EasyChair 2012 [contents] - [e3]Agostino Dovier, Vítor Santos Costa:
Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. LIPIcs 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-43-9 [contents] - [i6]Agostino Dovier, Vítor Santos Costa:
Introduction to the 28th International Conference on Logic Programming Special Issue. CoRR abs/1210.3937 (2012) - 2011
- [j30]Agostino Dovier:
Recent constraint/logic programming based advances in the solution of the protein folding problem. Intelligenza Artificiale 5(1): 113-117 (2011) - [c65]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 - [c64]Neng-Fa Zhou, Agostino Dovier:
A Tabled Prolog Program for Solving Sokoban. CILC 2011: 215-228 - [c63]Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi:
PrettyCLP: a Light Java Implementation for Teaching CLP. CILC 2011: 281-295 - [c62]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
BAAC: A Prolog System for Action Description and Agents Coordination. ICLP (Technical Communications) 2011: 187-197 - [c61]Neng-Fa Zhou, Agostino Dovier:
A Tabled Prolog Program for Solving Sokoban. ICTAI 2011: 896-897 - [c60]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
- [j29]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An Investigation of Multi-Agent Planning in CLP. Fundam. Informaticae 105(1-2): 79-103 (2010) - [j28]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): 105-133 (2010) - [j27]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): 1-20 (2010) - [j26]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Multivalued action languages with constraints in CLP(FD). Theory Pract. Log. Program. 10(2): 167-235 (2010) - [j25]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based protein fragment assembly. Theory Pract. Log. Program. 10(4-6): 709-724 (2010) - [c59]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. CILC 2010 - [c58]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based Protein Fragment Assembly. CILC 2010 - [e2]Agostino Dovier, Enrico Pontelli:
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 [contents] - [i4]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli:
CLP-based protein fragment assembly. CoRR abs/1007.5180 (2010)
2000 – 2009
- 2009
- [j24]Agostino Dovier, Elisa Quintarelli:
Applying model-checking to solve queries on semistructured data. Comput. Lang. Syst. Struct. 35(2): 143-172 (2009) - [j23]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae 96(3): 297-322 (2009) - [j22]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) - [c57]Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier:
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++. RCRA@AI*IA 2009 - [c56]Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier:
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + + . Hybrid Metaheuristics 2009: 141-155 - [c55]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129 - [c54]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Representing Multi-agent Planning in CLP. LPNMR 2009: 423-429 - [c53]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR 2009: 560-566 - [c52]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
- [j21]Alessandro Dal Palù, Agostino Dovier, Sebastian Will:
Introduction to the Special Issue on Bioinformatics and Constraints. Constraints An Int. J. 13(1-2): 1-2 (2008) - [j20]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): 15:1-15:30 (2008) - [c51]Agostino Dovier:
Recent Constraint/Logic Programming based Advances in the Solution of the Protein Folding Problem. Il Milione 2008 - [c50]Raffaele Cipriano, Agostino Dovier, Jacopo Mauro:
Compiling and Executing Declarative Modeling Languages to Gecode. ICLP 2008: 744-748 - 2007
- [j19]Luca Bortolussi, Agostino Dovier, Federico Fogolari:
Agent-based protein structure prediction. Multiagent Grid Syst. 3(2): 183-197 (2007) - [j18]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): 1405-1449 (2007) - [c49]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI 2007: 1622-1625 - [c48]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
Multivalued Action Languages with Constraints in CLP(FD). ICLP 2007: 255-270 - 2006
- [j17]Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo:
Decidability results for sets with atoms. ACM Trans. Comput. Log. 7(2): 269-301 (2006) - [j16]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Set unification. Theory Pract. Log. Program. 6(6): 645-701 (2006) - [c47]Michela Farenzena, Andrea Fusiello, Agostino Dovier:
Reconstruction with Interval Constraints Propagation. CVPR (1) 2006: 1185-1190 - [c46]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
- [c45]