|
|
|
 |
 |
|
| |
Notiziario Marketpress di
Martedì 19 Aprile 2011 |
|
| |
|
|
| |
8º SIMPOSIO INTERNAZIONALE "FRONTIERS OF COMBINING SYSTEMS"
|
|
| |
|
|
| |
Saarbrücken, 19 aprile 2011 - 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/ |
|
| |
|
|
| |
<<BACK |
|
|
|
|
|
|
|
