25° Workshop sulla programmazione logica, Vienna, Austria
28 Settembre 2011 - 28 Settembre 2011
Austria
Il 25° workshop sulla programmazione logica si svolgerà dal 28 al 30 settembre 2011 a Vienna, in Austria.
La programmazione dichiarativa è un paradigma avanzato per la modellazione e la soluzione di problemi complessi. Questo metodo di specificazione ha attratto una crescente attenzione negli ultimi decenni, ad esempio nei domini dei database e dell'elaborazione del linguaggio naturale, per la modellazione e l'elaborazione di problemi combinatori, oltre che per stabilire sistemi per internet.
L'evento sarà un forum di discussione dedicato alle applicazioni di importanti tecnologie riguardanti la programmazione logica, alla soluzione di problemi di vincoli e ai paradigmi informatici strettamente collegati. Esso coprirà in modo esaustivo l'impatto dei risolutori logici programmabili nella società di internet, le tecnologie che vi stanno alla base e le applicazioni all'avanguardia in campo industriale, commerciale, governativo e dei servizi sociali. Gli argomenti riguarderanno tra l'altro:
- gestione della conoscenza, ovvero, data mining, supporto alle decisioni, database deduttivi;
- sistemi distribuiti e il Web, ovvero, agenti e ingegneria simultanea, web semantico;
- vincoli, ovvero, sistemi di vincoli, ampliamenti della programmazione (logica) con vincoli;
- fondamenta teoriche, ovvero, database deduttivi, ragionamento non monotonico, rappresentazione della conoscenza;
- sistemi e strumenti per uso accademico e industriale;
- servizi Web basati sulla conoscenza, risolutori logici e applicazioni.Per ulteriori informazioni, visitare: http://www.kr.tuwien.ac.at/wlp11/(si apre in una nuova finestra)
La programmazione dichiarativa è un paradigma avanzato per la modellazione e la soluzione di problemi complessi. Questo metodo di specificazione ha attratto una crescente attenzione negli ultimi decenni, ad esempio nei domini dei database e dell'elaborazione del linguaggio naturale, per la modellazione e l'elaborazione di problemi combinatori, oltre che per stabilire sistemi per internet.
L'evento sarà un forum di discussione dedicato alle applicazioni di importanti tecnologie riguardanti la programmazione logica, alla soluzione di problemi di vincoli e ai paradigmi informatici strettamente collegati. Esso coprirà in modo esaustivo l'impatto dei risolutori logici programmabili nella società di internet, le tecnologie che vi stanno alla base e le applicazioni all'avanguardia in campo industriale, commerciale, governativo e dei servizi sociali. Gli argomenti riguarderanno tra l'altro:
- gestione della conoscenza, ovvero, data mining, supporto alle decisioni, database deduttivi;
- sistemi distribuiti e il Web, ovvero, agenti e ingegneria simultanea, web semantico;
- vincoli, ovvero, sistemi di vincoli, ampliamenti della programmazione (logica) con vincoli;
- fondamenta teoriche, ovvero, database deduttivi, ragionamento non monotonico, rappresentazione della conoscenza;
- sistemi e strumenti per uso accademico e industriale;
- servizi Web basati sulla conoscenza, risolutori logici e applicazioni.Per ulteriori informazioni, visitare: http://www.kr.tuwien.ac.at/wlp11/(si apre in una nuova finestra)