Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Sistemi Logici per il Ragionamento Ibrido |
|---|---|
| Titolo del progetto di ricerca in inglese | Logical Frameworks for Hybrid Reasoning |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Lo studio proposto si inserisce nella linea di ricerca in sistemi intelligenti. L’obiettivo primario della comunità di Intelligenza Artificiale Applicata è la definizione di metodi computazionali per la soluzione di specifici task di ragionamento. Nei processi di ragionamento si ricercano conclusioni logicamente consistenti avendo come dati di base sia modelli teorici assiomatici che dati derivati dall’osservazione (sia controllata che non controllata). La conciliazione dei dati con gli assiomi, oggetto di numerosi studi sia negli ambiti di machine learning che in quelli più strettamente logico-formali, oltre ad essere un tema di forte interesse applicato, riveste anche un grande ruolo nella definizione di concetti astratti quali la nozione di conclusione plausibile o provvisionale. Lo studio punta ad introdurre nozioni derivanti dalla logica non monotona propriamente allo scopo di riconciliare conoscenza di derivazione osservazionale con quella di natura assiomatica. |
| Descrizione sintetica in inglese | The proposal is positioned in the research line of intelligent systems. The main goal of the community of Applied Artificial Intelligence is the definition of computational methods to solve specific reasoning tasks. In the reasoning processes we look for logically consistent conclusions starting from both theoretical models and from observational data (both controlled and not). Reconciliation of data with axioms, subject of many investigations both in machine learning and in more formal logical investigations, beyond being a very important application theme, is also quite relevant in the definition of abstract notions such as plausible or provisional conclusions. The study aims at introducing notions derived from non monotonic logic research onto hybrid reasoning domains with the explicit purpose of conciliating knowledge of observational nature with axiomatic one. |
| Data del bando | 14/02/2018 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23800 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.univr.it/documenti/Albo/allegatialbo/allegatialbo682905.pdf |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
Per l'ammissione alla selezione di cui al precedente art. 1 è richiesto il possesso dei seguenti requisiti: a)Titolo di Dottore di Ricerca; b)Conoscenza della seguente lingua straniera: inglese; c)Ulteriori requisiti: attività di ricerca e/o di sviluppo nel settore scientifico-disciplinare: INF/01 INFORMATICA. |
| Criteri di selezione in inglese (breve descrizione) |
For admission to the selection process referred to in Art. 1, potential candidates must fulfil the following requirements: a)PhD; b)Knowledge of the following foreign language: English; c)Other requirements: documented research and/or development experience in the disciplinary sector: INF/01 INFORMATICS. |
| Processo di selezione in italiano (breve descrizione) | La selezione avverrà attraverso la valutazione dei titoli prodotti dai candidati e un colloquio. |
| Processo di selezione in inglese (breve descrizione) | The competition will be carried out by an evaluation of titles and examination by means of an interview. |
| Nome dell'Ente finanziatore | Università degli Studi di Verona - Dipartimento di Informatica |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Verona |
| Codice postale | 37129 |
| Indirizzo | Via dell'Artigliere, 8 |
| Sito web | http://www.univr.it/jsp/index.jsp |
| assegni.ricerca@ateneo.univr.it | |
| Telefono | +39 (0) 45 8028204 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 12/03/2018 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |