>   Computer Science Department   >   Toni Mancini
[login|signup]      [Italiano|English]

Selected publications

In this page you can find a selected list of my publications, in reverse chronological order. If you need a missing paper, feel free to contact me.

Copyright notice
The documents available from this site are provided as a means to ensure timely dissemination of technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder (Springer-Verlag for works appeared in the LNCS series, ACM-SIAM, IEEE, etc.). Permission to make digital or hard copies of part or all of these works for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. The electronic version of some of the works available from this site may differ from the definitive published version. Copyright of works submitted for publication may be transferred without further notice and this version may no longer be accessible.
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini.
Finite model reasoning on UML class diagrams via constraint programming.
Intelligenza Artificiale, 7(1), pages 57-65, 2013.
Marco Gavanelli, Toni Mancini.
Automated reasoning.
Intelligenza Artificiale, 7(2), pages 113-124, 2013.
Lucas Bordeaux, Marco Cadoli, Toni Mancini.
Generalizing Consistency and other Constraint Properties to Quantified Constraints.
ACM Transactions on Computational Logic, 10(3), pages 17:1-17:25, 2009.
Electronic appendix: click here.
Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli.
Evaluating ASP and commercial solvers on the CSPLib.
Constraints, 13(4), pages 407-436, 2008.
Web appendix: click here.
Marco Cadoli, Toni Mancini.
Using a theorem prover for reasoning on constraint problems.
Applied Artificial Intelligence, 21(4-5), pages 383-404, 2007.
Toni Mancini, Marco Cadoli.
Exploiting functional dependencies in declarative problem specifications.
Artificial Intelligence, 171(16-17), pages 985-1010, 2007.
Web appendix: click here.
Marco Cadoli, Toni Mancini.
Combining Relational Algebra, SQL, Constraint Modelling, and local search.
Theory and Practice of Logic Programming, 7(1-2), pages 37-65, 2007.

[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]