default search action
Agostino 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
- [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
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
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
3coSoKu and its declarative modeling. J. Log. Comput. 32(2): 307-330 (2022) - [j48]Agostino Dovier
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
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
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
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
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
Extending Logic Programming with Labelled Variables: Model and Semantics. Fundam. Informaticae 161(1-2): 53-74 (2018) - [j44]Ferdinando Fioretto
Distributed multi-agent optimization for smart grids and home automation. Intelligenza Artificiale 12(2): 67-87 (2018) - [j43]Alessandro Dal Palù, Agostino Dovier
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
Parallel Answer Set Programming. Handbook of Parallel Constraint Reasoning 2018: 237-282 - 2017
- [j42]Roman Barták
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
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ù
CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27(3): 293-316 (2015) - [j38]Federico Campeotto, Agostino Dovier
A declarative concurrent system for protein structure prediction on GPU. J. Exp. Theor. Artif. Intell. 27(5): 503-541 (2015) - [j37]Ferdinando Fioretto
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
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
Exploring the Use of BDDs in Conformant Planning. ICTAI 2015: 502-509 - [c74]Roman Barták
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
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. ECAI 2014: 189-194 - [c71]Federico Campeotto, Alessandro Dal Palù
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
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
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
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ù
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. CP 2012: 850-866 - [c66]Agostino Dovier
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
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
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ù
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
An Investigation of Multi-Agent Planning in CLP. Fundam. Informaticae 105(1-2): 79-103 (2010) - [j28]Dario Campagna, Christian De Rosa, Agostino Dovier
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ù
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
Multivalued action languages with constraints in CLP(FD). Theory Pract. Log. Program. 10(2): 167-235 (2010) - [j25]Alessandro Dal Palù
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
Applying model-checking to solve queries on semistructured data. Comput. Lang. Syst. Struct. 35(2): 143-172 (2009) - [j23]Alessandro Dal Palù
GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae 96(3): 297-322 (2009) - [j22]Agostino Dovier
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
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + + . Hybrid Metaheuristics 2009: 141-155 - [c55]Alessandro Dal Palù
Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129 - [c54]Agostino Dovier
Representing Multi-agent Planning in CLP. LPNMR 2009: 423-429 - [c53]Alessandro Dal Palù
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. LPNMR 2009: 560-566 - [c52]Agostino Dovier
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ù
Introduction to the Special Issue on Bioinformatics and Constraints. Constraints An Int. J. 13(1-2): 1-2 (2008) - [j20]Agostino Dovier
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
Compiling and Executing Declarative Modeling Languages to Gecode. ICLP 2008: 744-748 - 2007
- [j19]Luca Bortolussi
Agent-based protein structure prediction. Multiagent Grid Syst. 3(2): 183-197 (2007) - [j18]Alessandro Dal Palù
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
Decidability results for sets with atoms. ACM Trans. Comput. Log. 7(2): 269-301 (2006) - [j16]Agostino Dovier
Set unification. Theory Pract. Log. Program. 6(6): 645-701 (2006) - [c47]Michela Farenzena, Andrea Fusiello
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]Agostino Dovier, Andrea Formisano, Enrico Pontelli:
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. ICLP 2005: 67-82 - [c44]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 - [c43]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli:
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). PPDP 2005: 230-241 - 2004
- [j15]Alessandro Dal Palù
Constraint Logic Programming approach to protein structure prediction. BMC Bioinform. 5: 186 (2004) - [j14]Federico Avanzini
Designing an Urban-Scale Auditory Alert System. Computer 37(9): 55-61 (2004) - [j13]Agostino Dovier
Disunification in ACI1 Theories. Constraints An Int. J. 9(1): 35-91 (2004) - [j12]Agostino Dovier
An efficient algorithm for computing bisimulation equivalence. Theor. Comput. Sci. 311(1-3): 221-256 (2004) - [c42]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
Protein Folding Simulation in CCP. ICLP 2004: 452-453 - 2003
- [j11]Agostino Dovier
The Subgraph Bisimulation Problem. IEEE Trans. Knowl. Data Eng. 15(4): 1055-1056 (2003) - [j10]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. Theory Pract. Log. Program. 3(1): 125-128 (2003) - [c41]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49 - [c40]S. Bozzoli, Fausto Spoto, Agostino Dovier:
Approximate Protein Folding in Oz through Frequency Analysis. APPIA-GULP-PRODE 2003: 123-134 - [c39]Alessandro Dal Palù, Agostino Dovier, Federico Fogolari:
Protein Folding in CLP(FD) with Empirical Contact Energies. CSCLP 2003: 250-265 - [c38]Agostino Dovier
Intensional Sets in CLP. ICLP 2003: 284-299 - [c37]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
- [j9]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) - [c36]Federico Avanzini, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier, Davide Rocchesso:
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD). APPIA-GULP-PRODE 2002: 139-154 - [c35]Agostino Dovier
Using Secondary Structure Information for Protein Folding in CLP(FD). WFLP 2002: 83-98 - [c34]Agostino Dovier
Rank-Based Symbolic Bisimulation (and Model Checking). WoLLIC 2002: 166-183 - 2001
- [j8]Agostino Dovier
Constructive Negation and Constraint Logic Programming with Sets. New Gener. Comput. 19(3): 209-256 (2001) - [c33]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Multiset constraints and P systems. APPIA-GULP-PRODE 2001: 97-112 - [c32]Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo:
Decidability results for sets with atoms. APPIA-GULP-PRODE 2001: 245-259 - [c31]Agostino Dovier
A Fast Bisimulation Algorithm. CAV 2001: 79-90 - [c30]Agostino Dovier, Elisa Quintarelli:
Model-Checking Based Data Retrieval. DBPL 2001: 62-77 - [c29]Manuele Bicego, Agostino Dovier
Designing the Minimal Structure of Hidden Markov Model by Bisimulation. EMMCVPR 2001: 75-90 - [c28]Agostino Dovier
Refining and Compressing Abstract Model Checking. APPIA-GULP-PRODE 2001: 90-107 - [c27]Agostino Dovier
Preface. APPIA-GULP-PRODE 2001: 253-254 - [i1]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Set Unification. CoRR cs.LO/0110023 (2001) - 2000
- [j7]Agostino Dovier
A necessary condition for Constructive Negation in Constraint Logic Programming. Inf. Process. Lett. 74(3-4): 147-156 (2000) - [j6]Agostino Dovier, Carla Piazza
Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000) - [c26]Agostino Dovier, Carla Piazza, Alberto Policriti
Comparing Expressiveness of Set Constructor Symbols. FroCoS 2000: 275-289 - [c25]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Multiset Constraints and P Systems. WMP 2000: 103-122 - [e1]Agostino Dovier, Maria Chiara Meo, Andrea Omicini:
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000. Electronic Notes in Theoretical Computer Science 48, Elsevier 2000 [contents]
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. J. Funct. Log. Program. 1999(10) (1999) - [c24]Agostino Dovier, Carla Piazza, Alberto Policriti:
Comparing expressiveness of set constructor symbols. APPIA-GULP-PRODE 1999: 151-166 - [c23]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320 - [c22]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 Constraints. ICLP 1999: 573-587 - 1998
- [j3]Agostino Dovier, Alberto Policriti
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. Fundam. Informaticae 36(2-3): 201-234 (1998) - [c21]Agostino Dovier, Carla Piazza, Gianfranco Rossi:
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE 1998: 43-56 - [c20]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 - [c19]Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information. DDLP 1998: 127-140 - [c18]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. J. Funct. Log. Program. 1997(7) (1997) - [c17]Agostino Dovier, Alberto Policriti:
Set domains for structural properties of terms. APPIA-GULP-PRODE 1997: 93-104 - [c16]Agostino Dovier, Andrea Formisano, Alberto Policriti:
On T Logic Programming. APPIA-GULP-PRODE 1997: 457-466 - [c15]Roberta Carmona, Agostino Dovier, Gianfranco Rossi:
Dealing with Infinite Intensional Sets in CLP. APPIA-GULP-PRODE 1997: 465-478 - [c14]Agostino Dovier, Andrea Formisano, Alberto Policriti:
On T Logic Programming. ILPS 1997: 323-337 - 1996
- [j1]Agostino Dovier
A Language for Programming in Logic with Finite Sets. J. Log. Program. 28(1): 1-44 (1996) - [c13]Agostino Dovier, Alberto Policriti, Gianfranco Rossi:
Integrating Lists, Multisets, and Sets in a Logic Programming Framework. FroCoS 1996: 303-319 - 1995
- [c12]Puri Arenas-Sánchez, Agostino Dovier:
Minimal Set Unification. GULP-PRODE 1995: 447-458 - [c11]Puri Arenas-Sánchez, Agostino Dovier
Minimal Set Unification. PLILP 1995: 397-414 - 1994
- [c10]Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi:
Solving Systems of Equations over Hypersets. GULP-PRODE (1) 1994: 403-417 - [c9]Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Compiling Intensional Sets in CLP. ICLP 1994: 647-661 - 1993
- [c8]Agostino Dovier, Gianfranco Rossi:
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. GULP 1993: 71-86 - [c7]Agostino Dovier:
A Language with Finite Sets Embedded in the CLP-scheme. ELP 1993: 77-93 - [c6]Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo:
Unification of Hyperset Terms. ICLP Workshop on Logic Programming with Sets 1993 - [c5]Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli:
Extensional and Intensional Sets in CLP with Intensional Negation. ICLP Workshop on Logic Programming with Sets 1993 - [c4]Agostino Dovier, Enrico Pontelli:
A WAM-Based Implementation of a Logical Language with Sets. PLILP 1993: 275-290 - [c3]Agostino Dovier, Gianfranco Rossi:
Embedding extensional finite sets in CLP. ILPS 1993: 540-556 - 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
[j51] [c103] [p4] [j48] [c99] [c97] [i11] [j46] [c96] [i10] [c92] [c91] [j44] [j43] [c88] [p3] [p2] [i8] [c83] [c79] [j39] [j38] [j37] [c78] [c76] [c75] [c72] [c71] [j34] [j33] [c70] [c69] [c68] [c67] [c65] [c62] [c60] [i5] [j29] [j27] [j26] [j25] [c59] [c58] [e2] [i4] [j23] [j22] [c55] [c54] [c53] [c52] [i3] [j18] [c49] [c48] [j16] [c45] [c44] [c43] [j13] [c41] [c38] [c37] [j8] [i1] [j7] [j6] [c23] [c22] [c18] [j1] [c9] [c5] [c4] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: