Sfoglia per Autore
Knowledge compilation = Query rewriting + View synthesis
2002 Cadoli, Marco; Mancini, Toni
Combining Relational Algebra, SQL, and Constraint Programming
2002 Cadoli, Marco; Mancini, Toni
Detecting and breaking symmetries on specifications
2003 Cadoli, Marco; Mancini, Toni
Reformulation techniques for a class of permutation problems
2003 Mancini, Toni
Cooperative Software Development in GENESIS: Requirements, Conceptual Model and Architecture
2003 Ballarini, D.; M., Cadoli; Gaeta, M.; Mancini, Toni; Mecella, Massimo; Ritrovato, P.; Santucci, Giuseppe
Towards automated reformulation of specifications
2003 Cadoli, Marco; Mancini, Toni
Modeling real requirements for cooperative software development: A case study
2003 Daniele, Ballarini; Cadoli, Marco; Matteo, Gaeta; Mancini, Toni; Mecella, Massimo; Pierluigi, Ritrovato; Santucci, Giuseppe
Automated reformulation of specifications by safe delay of constraints
2003 Cadoli, Marco; Mancini, Toni
Exploiting functional dependencies in declarative problem specifications
2004 Cadoli, Marco; Mancini, Toni
Using a theorem prover for reasoning on constraint problems
2004 Cadoli, Marco; Mancini, Toni
Using a theorem prover for reasoning on constraint problems
2004 Cadoli, Marco; Mancini, Toni
Automated reformulation of specifications by safe delay of constraints
2004 Cadoli, Marco; Mancini, Toni
Finite Satisfiability of UML class diagrams by Constraint Programming
2004 Cadoli, Marco; Diego, Calvanese; DE GIACOMO, Giuseppe; Mancini, Toni
Exploiting fixable, removable, and implied values in Constraint Satisfaction Problems
2004 L., Bordeaux; Cadoli, Marco; Mancini, Toni
Scaling up reasoning about actions using relational database technology
2004 DE GIACOMO, Giuseppe; Mancini, Toni
Exploiting functional dependencies in declarative problem specifications
2004 Cadoli, Marco; Mancini, Toni
4th Mexican International Conference on Artificial Intelligence (MICAI 2005), Monterrey, Nuevo Leon, Mexico.
2005 Mancini, Toni
Special issue con le versioni estese di una selezione degli articoli presentati alla Giornata di Lavoro RCRA 2005
2005 M., Gavanelli; Mancini, Toni
CSP properties for Quantified Constraints: Definitions and complexity
2005 Bordeaux, L.; Cadoli, Marco; Mancini, Toni
Detecting and breaking symmetries by reasoning on problem specifications
2005 Mancini, Toni; Cadoli, Marco
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile