Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 131
Titolo Data di pubblicazione Autore(i) File
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
Mostrati risultati da 1 a 20 di 131
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