Toni Mancini

Contact and personal infos:
  • Phone:
  • Email:
  • Personal site:
Current position:
Assistant Professor [ricercatore], University of Rome La Sapienza

Publications
Title Autor(s) Published in Year
1Exploiting functional dependencies in declarative problem specificationsMarco Cadoli and Toni ManciniProceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004)2004
2Using a theorem prover for reasoning on constraint problemsMarco Cadoli and Toni ManciniProceedings of the International Workshop on Constraint Programming and Constraints for Verification (CP+CV 2004), in conjunction with the European Joint Conferences on Theory and Practice of Software (ETAPS 2004)2004
3Automated reformulation of specifications by safe delay of constraintsMarco Cadoli and Toni ManciniProccedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004)2004
4Scaling up reasoning about actions using relational database technologyGiuseppe De Giacomo and Toni ManciniProceedings of the Conference of the American Association for Artificial Intelligence (AAAI 2004)2004
5Finite Satisfiability of UML class diagrams by constraint programmingMarco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini Proceedings of the Workshop on CSP Techniques with Immediate Application (CSPIA 2004), in conjunction with the 10th International Conference on Principles and Practice of Constraint Programming (CP 2004)2004
6Detecting and breaking symmetries on specificationsMarco Cadoli and Toni ManciniProceedings of the 3rd International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon 2003), in conjunction with the 9th International Conference on Principles and Practice of Constraint Programming (CP 2003)2003
7Reformulation techniques for a class of permutation problemsToni ManciniProceedings of the 9th International Conference on Principles and Practice of Constraint Programming (CP 2003)2003
8Towards automated reformulation of specificationsMarco Cadoli and Toni ManciniProceedings of APPIA-GULP-PRODE, Joint conference on declarative programming (AGP 2003)2003
9Cooperative Software Development in GENESIS: Requirements, Conceptual Model and ArchitectureDaniele Ballarini, Marco Cadoli, Matteo Gaeta, Toni Mancini, Massimo Mecella, Pierluigi Ritrovato, Giuseppe SantucciAniello Cimitile, Andrea De Lucia, and Harald Gall, editors, Cooperative methods and tools for distributed software processes, Franco Angeli, page 67 ff.2003
10Knowledge Compilation = Query Rewriting + View SynthesisMarco Cadoli and Toni ManciniProceedings of the 21st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2002)2002
11Combining Relational Algebra, SQL, and Constraint ProgrammingMarco Cadoli and Toni ManciniProceedings of the 4th International Workshop on Frontiers of Combining Systems(FroCoS 2002), LNAI 2309, page 147 ff.2002