The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Toni Mancini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lucas Bordeaux, Marco Cadoli, Toni Mancini
    CSP Properties for Quantified Constraints: Definitions and Complexity. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:360-365 [Conf]
  2. Giuseppe De Giacomo, Toni Mancini
    Scaling Up Reasoning about Actions Using Relational Database Technology. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:245-256 [Conf]
  3. Marco Cadoli, Toni Mancini
    Towards automated reformulation of specications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:398-409 [Conf]
  4. Marco Cadoli, Toni Mancini
    Using a Theorem Prover for Reasoning on Constraint Problems. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2005, pp:38-49 [Conf]
  5. Toni Mancini
    Reformulation Techniques for a Class of Permutation Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:984- [Conf]
  6. Toni Mancini
    Finite Satisfiability of UML Class Diagrams by Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  7. Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
    Evaluating ASP and Commercial Solvers on the CSPLib. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:68-72 [Conf]
  8. Marco Cadoli, Toni Mancini
    Combining Relational Algebra, SQL, and Constraint Programming. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:147-161 [Conf]
  9. Georg Gottlob, Gianluigi Greco, Toni Mancini
    Complexity of Pure Equilibria in Bayesian Games. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1294-1299 [Conf]
  10. Georg Gottlob, Gianluigi Greco, Toni Mancini
    Conditional Constraint Satisfaction: Logical Foundations and Complexity. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:88-93 [Conf]
  11. Marco Cadoli, Toni Mancini, Fabio Patrizi
    SAT as an Effective Solving Technology for Constraint Problems. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:540-549 [Conf]
  12. Marco Cadoli, Toni Mancini
    Exploiting Functional Dependencies in Declarative Problem Specifications. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:628-640 [Conf]
  13. Marco Cadoli, Toni Mancini
    Automated Reformulation of Specifications by Safe Delay of Constraints. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:388-398 [Conf]
  14. Lucas Bordeaux, Marco Cadoli, Toni Mancini
    Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:270-284 [Conf]
  15. Marco Cadoli, Toni Mancini
    Knowledge Compilation = Query Rewriting + View Synthesis. [Citation Graph (0, 0)][DBLP]
    PODS, 2002, pp:199-208 [Conf]
  16. Toni Mancini, Marco Cadoli
    Detecting and Breaking Symmetries by Reasoning on Problem Specifications. [Citation Graph (0, 0)][DBLP]
    SARA, 2005, pp:165-181 [Conf]
  17. Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi
    Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). [Citation Graph (0, 0)][DBLP]
    WLP, 2006, pp:54-63 [Conf]
  18. Marco Cadoli, Toni Mancini
    Automated reformulation of specifications by safe delay of constraints. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:8-9, pp:779-801 [Journal]
  19. Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
    Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:36-47 [Conf]
  20. Toni Mancini, Marco Cadoli
    Exploiting functional dependencies in declarative problem specifications. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2007, v:171, n:16-17, pp:985-1010 [Journal]
  21. Lucas Bordeaux, Marco Cadoli, Toni Mancini
    Generalizing Consistency and other Constraint Properties to Quantified Constraints [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  22. Marco Cadoli, Toni Mancini
    Combining Relational Algebra, SQL, Constraint Modelling, and Local Search [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  23. Negotiation Exploiting Reasoning by Projections. [Citation Graph (, )][DBLP]


  24. Using a Theorem Prover for Reasoning on Constraint Problems. [Citation Graph (, )][DBLP]


  25. Evaluating ASP and Commercial Solvers on the CSPLib. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002