| Argomento | Persone | Descrizione |
|---|---|---|
| Ragionamento automatico |
Maria Paola Bonacina
Matteo Cristani |
Procedure di decisione per la soddisfacibilità modulo teorie e assegnamenti; Dimostrazione automatica di teoremi; Costruzione automatica di modelli; Ragionamento sui programmi; Interpolazione di prove per generazione di astrazioni o spiegazioni; Analisi di strategie; Deduzione automatica distribuita; Riscrittura. |
| Ragionamento temporale |
Roberto Posenato
|
Le reti di vincoli temporali sono un’area di ricerca nell’ambito del ragionamento temporale focalizzata sulla modellazione e risoluzione di problemi in cui eventi, azioni o risorse sono vincolati da dipendenze temporali. Le reti di vincoli temporali vengono usate per affrontare problemi complessi di programmazione, pianificazione e coordinazione, soprattutto in ambienti dinamici in cui i vincoli possono evolversi nel tempo. I recenti progressi integrano modelli della teoria dei giochi, vincoli spazio-temporali e metodi probabilistici per affrontare le sfide poste dai sistemi che variano nel tempo, decentralizzati e che presentano incertezze. |
| Rappresentazione della conoscenza |
Matteo Cristani
|
La rappresentazione della conoscenza è il settore di ricerca a cavallo tra Intelligenza Artificiale e Sistemi Informativi che si occupa del problema di elaborare informazione di natura non numerica. |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
