1,721,071 research outputs found
2nd International Workshop on Logic and Search: Computation of structures from declarative descriptions (LaSh 2008), Leuven, Belgium.
No full textInternational workshop on Logics for Component Configuration (LoCoCo 2010), Edinburgh, Scotland (UK), tenuto in occasione di SAT 2010.
No full text6th International Workshop on Constraint Modelling and Reformulation (ModRef 2007) tenuto in occasione di CP 2007, Providence, Rhode Island, USA.
No full text3rd International Workshop on Logic and Search (LaSh 2010), Edinburgh, Scotland (UK) tenuto in occasione di FLOC 2010.
No full textConSQL simulator
No full textUn risolutore di problemi combinatori e di ottimizzazione modellati nel linguaggio ConSQL (dello stesso autore) con istanze memorizzate in basi di dati relazionali.
La risoluzione avviene mediante tecniche di ricerca locale.
Il sistema si affida ad un DBMS relazionale per la verifica dei vincoli e la valutazione delle mosse.
I vantaggi dell'approccio sono descritti negli articoli:
- Marco Cadoli and Toni Mancini. Combining Relational Algebra, sql, Constraint Modelling, and local search. Theory and Practice of Logic Programming, 7(1):1–29, 2006
- Toni Mancini, Pierre Flener, Amir Hossein Monshi, Justin Pearson. Constrained Optimi- zation Over Massive Databases. In Marco Gavanelli and Toni Mancini, editors, Proceedings of the Sixteenth RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2009), volume 589 of CEUR Workshop Proceedings, Reggio Emilia, Italy, 2009. CEUR-WS.org.
- Toni Mancini, Pierre Flener, Justin Pearson.
Local Search over Relational Databases
In proceedings of the 7th Workshop on Local Search techniques in Constraint Satisfaction (LSCS 2010), held at the 16th International Conference on Principles and Practice of Constraint Programming (CP 2010).
St Andrews, Scotland (UK), 2010
4th Mexican International Conference on Artificial Intelligence (MICAI 2005), Monterrey, Nuevo Leon, Mexico.
No full text23rd Conference of the American Association for Artificial Intelligence (AAAI 2008), Chicago, IL, USA
No full textAcademic visitor presso il Computing Laboratory dell’University of Oxford, UK, su invito del Prof. Georg Gottlob
No full textAcademic visitor presso il Computational Logic Laboratory della Simon Fraser University, Burnaby, BC, Canada, su invito del Prof. David Mitchell
No full text8th International Workshop on Constraint Modelling and Reformulation (ModRef 2009) tenuto in occasione di CP 2009, Lisbon, Portugal.
No full text- …
