International Journals
2024

Eugenia Zanazzo, Sara Ceschia, Agostino Dovier, Andrea Schaerf
Solving the Medical Student Scheduling Problem using Simulated Annealing.
Journal of Scheduling (to appear)

Federico Fogolari, Roberto Borelli, Agostino Dovier, Gennaro Esposito
The kth nearest neighbour method for estimation of
entropy changes from molecular ensembles.
WIREs Computational Molecular Science.
024, 14(1), e1691
(on line October, 02, 2023)
2023

Davide Soldà, Francesco Fabiano, Agostino Dovier
ECHO:
A hierarchical combination of classical and multiagent epistemic planning problems
Journal of Logic and Computation, 2023, 33(8), pp. 1734–1752, exad036.

Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint propagation on GPU:
A case study for the AllDifferent constraint
Journal of Logic and Computation, 2023, 33(8), pp. 1804–1831, exad033.
2022
 Roberto Borelli, Agostino Dovier, Federico Fogolari
Data Structures and Algorithms for kth Nearest Neighbours Conformational Entropy Estimation.
Biophysica 2022 2(4)340352.
13 October 2022.
 Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel.
Theory and Practice of Logic Programming. 22(6):905973, November 2022.
ARXIV version
 Nicola Rizzo, Agostino Dovier
3coSoKu and its declarative modeling.
Journal of Logic and Computation, January 18 2022.
https://doi.org/10.1093/logcom/exab086
2021
 Agostino Dovier, Andrea Formisano,
Enrico Pontelli, and Fabio Tardivo.
{CUDA}: Set Constraints on GPUs.
Rend. Istit. Mat. Univ. Trieste,
an International Journal on Mathematics, vol 53, 2021, art. no. 24, pp.127.
2020
 Agostino Dovier, Enrico Pontelli.
ALP Newsletter Editorial, Volume 33.

Alessandro Burigana, Francesco Fabiano, Agostino Dovier and Enrico Pontelli.
Modelling
MultiAgent Epistemic Planning in ASP.
Theory Pract. Log. Program. 20(5): 593608 (2020)
(ArXiV version)
 Alice Tarzariol, Eugenia Zanazzo,
Agostino Dovier, Alberto Policriti.
Towards a Logic Programming Tool for Cancer Data
Analysis.
Fundamenta Informaticae
vol. 176, no. 34, pp. 299319, 2020
(Draft)
2019
 A. Dovier, E. Pontelli. ALP Newsletter Editorial, Volume 32.
No. 1. April/May 2019 ,
No. 2. August 2019 .
2018
 F. Fioretto, A. Dovier, and E. Pontelli.
Distributed MultiAgent Optimization for Smart Grids and Home Automation.
Intelligenza Artificiale, IOS Press, 2018.
(Draft)
 A. Dal Palù, A. Dovier, A. Formisano, and E. Pontelli.
ASP Applications in Bioinformatics: A short tour.
Künstliche Intelligenz 32:157164
(on line since June, 18, 2018)
 Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini.
Extending Logic Programming with Labelled Variables: Model and Semantics.
Fundamenta Informaticae 161(12):5374, 2018.
(draft)
 A. Dovier and E. Pontelli.
ALP Newsletter Editorial, Volume 31.
No 1, April 2018,
No 2, July/August 2018
2017
 Agostino Dovier.
Preface to the Special Issue on new trends in Constraint Logic Programming.
Theory and Practice of Logic Programming 17(4):359364, 2017.
(Draft)

Roman Bartak, Lukas Chrpa, Agostino Dovier, Jindrich Vodrazka, NengFa Zhou.
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain
Science of Computer Programming 147:5477, 2017.
 A. Dovier and E. Pontelli.
ALP Newsletter EDITORIAL, Volume 30.
No 1. Dec 16/Jan 17,
No 2April/May 2017,
No 3, July 2017,
No 4  October 2017.
2016
 A. Dovier and E. Pontelli.
EDITORIAL to ALP Newsletters.
March 2016
,
June/July 2016
,
September/October 2016
.
2015
 NengFa Zhou, Roman Bartak, Agostino Dovier
Planning as tabled logic programming.
TPLP 15(45):543558, 2015
(ArXiv version)
 Davide Ancona and Agostino Dovier
A theoretical perspective of Coinductive Logic Programming.
Fundamenta Informaticae 142:126, 2015.
(draft)
 F. Campeotto, A. Dovier, and E. Pontelli.
A Declarative Concurrent System for Protein Structure Prediction on GPU.
Journal of Experimental & Theoretical Artificial Intelligence (JETAI)
27(5):503541, 2015.
(draft)
DOI: 10.1080/0952813X.2014.993503
 A. Dal Palù, A. Dovier, A. Formisano, and E. Pontelli.
CUD@SAT: SAT Solving on GPUs.
Journal of Experimental & Theoretical Artificial Intelligence (JETAI), Volume 27(3), July 2015, pp. 293316.
(draft)
DOI: 10.1080/0952813X.2014.954274
 F. Fioretto, A. Dovier, E. Pontelli.
Constrained Communitybased Gene Regulatory Network Inference.
Transactions on
Modeling and Computer Simulation (TOMACS), 25(2), Article No. 11, May 2015.
ACM Press.
(draft)
DOI: 10.1145/2688909
 A. Dovier and E. Pontelli.
EDITORIAL to ALP Newsletters.
March/April 2015
,
June/July 2015
,
September 2015
,
December 2015.
2014
 A. Dovier and E. Pontelli.
EDITORIAL to ALP Newsletters.
March 2014,
June 2014,
September 2014,
December 2014.
2013
 A. Dovier and E. Pontelli.
EDITORIAL to ALP Newsletters.
March 2013,
June 2013,
September 2013,
December 2013
.
 F. Campeotto, A. Dal Palù, A. Dovier, F. Fioretto,
and E. Pontelli.
A Constraint Solver for Flexible Protein Models.
JAIR (Journal of Artificial Intelligence Research) 48:9531000, 2013.
 NengFa Zhou and A. Dovier.
A Tabled Prolog Program for Solving Sokoban.
Fundamenta Informaticae 124:115, 2013.
(draft)
 A. Dovier, A. Formisano, and E. Pontelli.
Autonomous Agents Coordination: Action
Languages meet CLP(FD) and Linda.
Theory and Practice of Logic Programming 13(2):149173.
(ArXiv version).
2012
 A. Dovier and E. Pontelli.
EDITORIAL to ALP Newsletters.
March 2012,
June 2012,
September 2012,
December 2012.
 A. Dovier and V. S. Costa.
Introduction to the 28th International
Conference on Logic Programming
Special Issue
Theory and Practice of Logic Programming 12(45):421426, 2012.
(free version)
2011
 A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters.
March 2011,
June 2011,
September 2011,
December 2011.
 A. Dovier
Recent Constraint/Logic Programming based advances in the solution of
the Protein Folding Problem.
(DRAFT)
Intelligenza Artificiale, vol. 5, no. 1, pp. 113117, 2011.
Special Issue in Honor of Alberto Martelli.
2010
 A. Dovier and E. Pontelli. EDITORIAL to ALP Newsletters.
March 2010,
June 2010,
September 2010,
December 2010.
 A. Dovier, A. Formisano, and E. Pontelli.
An investigation of MultiAgent Planning in CLP.
Fundamenta Informaticae 105(12): 79103, 2010.
(DRAFT)
 D. campagna, C. De Rosa, A. Dovier, A. Montanari, and C. Piazza.
Morphos Configuration Engine: the core of a commercial
configuration system in CLP(FD).
Fundamenta Informaticae 105(12): 105133, 2010.
(DRAFT)
 A. Dal Palù, A. Dovier, F. Fogolari, and E. Pontelli.
CLPbased protein fragment assembly.
(Draft)
Theory and Practice of Logic Programming, special issue dedicated to ICLP 2010.
10(46): pp 709724, July 2010,
doi:10.1017/S1471068410000372.
 A. Dovier, A. Formisano, and E. Pontelli.
Multivalued Action Languages with Constraints in CLP(FD).
Theory and Practice of
Logic Programming
Volume 10, Issue 02, March 2010, pp 167235,
doi:10.1017/S1471068410000013.
Free version as CORR
(deposited Dec 15th 2009).
 A. Dal Palù, A. Dovier, and E. Pontelli.
Computing Approximate Solutions of the Protein Structure Determination
Problem using Global Constraints on Discrete Crystal Lattices.
Int'l Journal of
Data Mining and Bioinformatics.
4(1):120, January 2010.
DOI: 10.1504/IJDMB.2010.030964.
Draft and proofs as research report:
NMSUCS
2009
 A. Dal Palù, A. Dovier, E. Pontelli, and G. Rossi.
GASP: Answer Set Programming with Lazy Grounding.
(draft)
Fundamenta Informaticae 96(3):297322, 2009.
 Agostino Dovier and Elisa Quintarelli.
Applying ModelChecking to solve Queries on Semistructured Data
Computer Languages, Systems & Structures.
25 (2009) pp. 143172. (draft)
.
 A. Dovier, A. Formisano, and E. Pontelli.
An Empirical Study of Constraint Logic Programming and
Answer Set Programming Solutions of
Combinatorial Problems
(draft)
Journal of Experimental & Theoretical Artificial Intelligence, Volume 21, Issue 2, June 2009, pages 79121, DOI: 10.1080/09528130701538174,
IDS Number: 448ER
ISSN: 0952813X.
2008
 Agostino Dovier, Carla Piazza, and Gianfranco Rossi.
A uniform approach to constraintsolving for lists, multisets,
compact lists, and sets.
(draft)
ACM Transaction on Computational Logic (TOCL).
Volume 9, Number 3, May 2008.
IDS Number: 323FF
ISSN: 15293785
DOI: 10.1145/1352582.1352583.
 A. Dal Palù, A. Dovier, and S. Will (guest editors)
Introduction to
Constraints, Volume 13
Issue 1
February 13, 2008.
Special Issue on Bioinformatics and Constraints.
2007
 A. Dal Palu', A. Dovier, and E. Pontelli.
A constraint solver for discrete lattices, its parallelization, and
application to protein structure prediction.
(draft)
SOFTWAREPRACTICE AND EXPERIENCE, Volume 37, Issue 13, Pages 14051449, 2007,
IDS Number: 226SA
ISSN: 00380644
DOI: 10.1002/spe.810

F. Fogolari, L. Pieri,
A. Dovier, L. Bortolussi,
G. Giugliarelli, A. Corazza, G. Esposito,
P. Viglino.
Scoring predictive models using a reduced
representation of
proteins: model and energy definition.
BMC Structural Biology 7:15 (pp. 117),
March 23th, 2007.
IDS Number: 161CM
ISSN: 14712237
DOI: 10.1186/14726807715.
 Luca Bortolussi, Agostino Dovier, and Federico Fogolari.
Agentbased Protein Structure Prediction
(draft)
Multiagent and Grid Systems, IOS Press, Vol 3, No. 2, pp. 183197, 2007.
2006
 A. Dovier, E. Pontelli, and G. Rossi.
Set Unification
(Preliminary, free version as CORR).
Theory and Practice of Logic Programming
6(6):645701, 2006.
IDS Number: 106XJ
ISSN: 14710684
DOI: 10.1017/S1471068406002730.
 A. Dovier, A. Formisano, and E. Omodeo.
Decidability Results for Sets with Atoms.
(draft)
In
ACM Transaction on Computational Logic (TOCL)
Vol. 7, No. 2, April 2006, pp. 269301.
IDS Number: 133RM
ISSN: 15293785.
2005
 L. Bortolussi, A. Dal Palu', A. Dovier, F. Fogolari.
Agentbased Protein Folding Simulation
.
Intelligenza Artificiale,
II(1)5461,
January 2005.
2004
 A. Dovier, C. Piazza and E. Pontelli.
Disunification in ACI1 Theories
(
Draft)
Constraints
(International Journal),
9(1): 3591; Jan 2004 .
IDS Number: 803WO
ISSN: 13837133
 A. Dovier, C. Piazza and A. Policriti.
An efficient algorithm
for computing bisimulation equivalence.
(
Draft)
Theoretical Computer Science 311(13):221256, 2004.
IDS Number: 767XM
ISSN: 03043975
DOI: 10.1016/S03043975(03)00361X.
 F. Avanzini,
D. Rocchesso,
A. Belussi,
A. Dal Palù,
and A. Dovier.
Designing an
UrbanScale Auditory Alert System.
IEEE Computer
37(9): 5561 (2004).
IDS Number: 851IW
ISSN: 00189162.
 A. Dal Palù, A. Dovier, and F. Fogolari.
Constraint Logic Programming approach to protein structure prediction.
BMC Bioinformatics 2004, 5:186, 30 November 2004.
DS Number: 891ZM
ISSN: 14712105
DOI: 10.1186/147121055186.
2003
 A. Dovier and C. Piazza.
The Subgraph Bisimulation Problem.
(draft)
IIEEE Transaction on Knowledge and
Data Engineering (TKDE).
15(4)10551056, 2003.
IDS Number: 696RY
ISSN: 10414347
2002
 A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca.
Operational and abstract semantics of a graphical query language.
Theoretical Computer Science.
275/12 pp 521560, 28 March 2002.
(
draft)
IDS Number: 558WE
ISSN: 03043975.
2001
 A. Dovier, E. Pontelli, and G. Rossi.
Constructive negation and constraint logic programming with set.
New Generation Computing,
Springer
Verlag and
Ohshma Ltd,
19(3)209255, May 2001
IDS Number: 440YX
ISSN: 02883635
 A. Dovier, C. Piazza, and G. Rossi.
Multiset rewriting by multiset constraint solving.
Romanian Journal of Information Science and Technology Vol. 4(12):5976,
2001.
2000
 A. Dovier, E. Pontelli, and G. Rossi.
A Necessary Condition for Constructive Negation in Constraint Logic
Programming
Information Processing LettersVol. 74 (34) (2000)
pp. 147156,
Elsevier,
North Holland.
(DRAFT)
IDS Number: 317NB
ISSN: 00200190
 A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.
Sets and Constraint Logic Programming
ACM Transaction on Programming Language and Systems (TOPLAS).22(5) 2000, pp. 861931
(draft)
IDS Number: 418FB
ISSN: 01640925
1999
 A. Dovier, E. Omodeo, and A. Policriti.
Solvable set/hyperset contexts:
II. A goaldriven unification algorithm for the blendedcase
Applicable Algebra in Engineering, Communication and Computing.
(DRAFT)
Volume 9 Issue 4 (1999) pp 293332.
IDS Number: 180YQ
ISSN: 09381279
 D. Aliffi, A. Dovier, and G. Rossi.
From Set to Hyperset Unification
(Official version)
Journal of Functional
and Logic Programming,Volume 1999, No. 10, pp.148.
1998
 A. Dovier, A. Policriti, and G. Rossi.
A Uniform Axiomatic View of Lists, Multisets, and Sets,
and the Relevant Unification Algorithms
(abstract)
Fundamenta Informaticae
,36(2/3):201234, 1998.(
draft)
1997
 P. ArenasSanchez and A. Dovier.
A Minimality Study for Set Unification
(Official version)
Journal of Functional
and Logic Programming, Volume 1997, No. 7, pp.149.
IDS Number: BF24M
ISSN: 03029743
ISBN: 354060359X
1996
 A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi.
{log}: A Language for Programming in Logic with Finite Sets
(draft)
The Journal of Logic Programming, Vol. 28(1) July 96,
144.
IDS Number: UT421
ISSN: 07431066
Home