Sfoglia per Autore
Combining Relational Algebra, SQL, and Constraint Programming
2002 Cadoli, Marco; Mancini, Toni
Knowledge compilation = Query rewriting + View synthesis
2002 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
Towards automated reformulation of specifications
2003 Cadoli, Marco; 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
Detecting and breaking symmetries on specifications
2003 Cadoli, Marco; Mancini, Toni
Automated reformulation of specifications by safe delay of constraints
2003 Cadoli, Marco; Mancini, Toni
Reformulation techniques for a class of permutation problems
2003 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
Exploiting functional dependencies in declarative problem specifications
2004 Cadoli, Marco; Mancini, Toni
Scaling up reasoning about actions using relational database technology
2004 DE GIACOMO, Giuseppe; 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
Using a Theorem Prover for Reasoning on Constraint Problems
2005 Cadoli, Marco; 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
Giornata di Lavoro del gruppo di “Rappresentazione della conoscenza e ragionamento automatico” (RCRA) dell’Associazione Italiana per l’Intelligenza Artificiale (AI*IA), tenutasi a Ferrara, intitolata “Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale” (RCRA 2005)
2005 Cadoli, Marco; Marco, Gavanelli; Mancini, Toni
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