Sfoglia per Autore
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
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
Declarative constraint modelling and specification-level reasoning
2005 Mancini, Toni
Giornata di Lavoro del gruppo di “Rappresentazione della conoscenza e ragionamento automatico” (RCRA) dell’Associazione Italiana per l’Intelligenza Artificiale (AI*IA), tenutasi a Udine, intitolata “Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale”
2006 Cadoli, Marco; Marco, Gavanelli; Mancini, Toni
Evaluating ASP and commercial solvers on the CSPLib – Preliminary report
2006 Cadoli, Marco; Mancini, Toni; Davide, Micaletto; Patrizi, Fabio
SAT as an effective solving technology for constraint problems
2006 Cadoli, Marco; Mancini, Toni; Patrizi, Fabio
Automated reformulation of specifications by safe delay of constraints
2006 Cadoli, Marco; Mancini, Toni
iAgree: a system for proposal-based negotiation among intelligent agents
2006 Cadoli, Marco; Guido, Chella; Mancini, Toni
Academic visitor presso il Computing Laboratory dell’University of Oxford, UK, su invito del Prof. Georg Gottlob
2006 Mancini, Toni
Special issue con le versioni estese di una selezione degli articoli presentati alla Giornata di Lavoro RCRA 2006.
2006 M., Gavanelli; Mancini, Toni
Evaluating ASP and commercial solvers on the CSPLib
2006 Cadoli, Marco; Mancini, Toni; Micaletto, D.; Patrizi, Fabio
Academic visitor presso il Computational Logic Laboratory della Simon Fraser University, Burnaby, BC, Canada, su invito del Prof. David Mitchell
2007 Mancini, Toni
14th International RCRA workshop (RCRA 2007) on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion”
2007 M., Gavanelli; Mancini, Toni
Special issue con le versioni estese dei migliori articoli presentati al workshop RCRA 2007
2007 M., Gavanelli; Mancini, Toni
6th International Workshop on Constraint Modelling and Reformulation (ModRef 2007) tenuto in occasione di CP 2007, Providence, Rhode Island, USA.
2007 Mancini, Toni
Conditional constraint satisfaction: Logical foundations and complexity
2007 Georg, Gottlob; Gianluigi, Greco; Mancini, Toni
Using a theorem prover for reasoning on constraint problems
2007 Marco, Cadoli; Mancini, Toni
Exploiting functional dependencies in declarative problem specifications
2007 Mancini, Toni; Cadoli, Marco
Combining relational algebra, SQL, constraint modelling, and local search
2007 Marco, Cadoli; 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