8º Simposio internazionale "Frontiers of Combining Systems", Saarbrücken, Germania

L'ottavo simposio internazionale "Frontiers of Combining Systems" avrà luogo dal 5 al 7 ottobre 2011 Saarbrücken, in Germania.

In vari campi dell'informatica, come la logica, il calcolo, lo sviluppo e la verifica di programmi, l'intelligenza artificiale, la rappresentazione della conoscenza e il ragionamento automatico, sono necessari sistemi formali predefiniti e meccanismi di inferenza per compiere compiti particolari. Per essere utilizzabili nella pratica, tali sistemi specializzati vanno combinati tra loro e integrati nei sistemi di uso generale.

In molti campi è stato avviato lo sviluppo di tecniche e metodi generali per la combinazione e integrazione di sistemi speciali formalmente definiti, così come per l'analisi e la modularizzazione dei sistemi complessi. Come nelle edizioni precedenti, l'evento sarà incentrato su questo tipo di domande e attività di ricerca, e promuoverà i progressi compiuti nel campo. I temi specifici riguarderanno tra l'altro:
- combinazioni di logiche quali la logica del predicato combinato, temporale, modale o epistemica;
- combinazioni e modularità nelle ontologie;
- combinazione di procedure decisionali, di procedure di soddisfacibilità e di tecniche di risoluzione a vincoli;
- combinazioni e modularità nella riscrittura di termini;
- integrazione della teoria equazionale e di altre teorie nei sistemi deduttivi;
- combinazione di sistemi deduttivi e algebra informatica;
- integrazione di strutture di dati nella programmazione e deduzione a vincoli;
- metodi ibridi per la deduzione, risoluzione e propagazione a vincoli;
- sistemi ibridi nella rappresentazione della conoscenza e semantica del linguaggio naturale;
- logica combinata per i sistemi distribuiti e multiagente;
- aspetti logici dei programmi combinanti e modularizzanti e specifiche.For further information, please visit:http://www.mpi-inf.mpg.de/conferences/frocos2011/