Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Ragionamento su stream con Answer Set Programming: estensione del linguaggio e implementazione |
|---|---|
| Titolo del progetto di ricerca in inglese | Reasoning over streams with Answer Set Programming: language extension and implementation |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | La ricerca si colloca nel contesto delle attività di WP2 (Analysis of formal properties) e WP3 (Design and implementation of an ASP-based stream reasoner), e riguarderà lo studio di appropriate estensioni di ASP per il ragionamento deduttivo su stream di dati, la definizione di algoritmi per il calcolo della semantica, la progettazione e lo sviluppo di un prototipo. |
| Descrizione sintetica in inglese | The research lays in the context of the activities of WP2 (Analysis of formal properties) and WP3 (Design and implementation of an ASP-based stream reasoner), and will focus on the study of proper ASP extensions for deductive reasoning over streams of data, on the definition of algorithms for the computation of semantics, on the design and implementation of a prototype. |
| Data del bando | 31/12/2020 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 25000.00 |
| Periodicità | Mensile |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
International |
| Nazionalità dei candidati |
International |
| Sito web del bando | https://unical.portaleamministrazionetrasparente.it/archivio22_bandi-di-concorso_0_6710_874_1.html |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 25000.00 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Criteri di selezione in italiano (breve descrizione) | Valutazione del curriculum scientifico-professionale, dei titoli e delle pubblicazioni scientifiche delle candidate e dei candidati. |
| Criteri di selezione in inglese (breve descrizione) | Evaluation of the scientific-professional curriculum, qualifications, and scientific publications. |
| Processo di selezione in italiano (breve descrizione) |
Il colloquio verterà sui seguenti argomenti: 1. Linguaggi e Sistemi dichiarativi per il ragionamento deduttivo, e in particolare Answer Set Programming 2. Stream Reasoning con linguaggi dichiarativi 3. Tecniche di overgrounding per il calcolo incrementale di ASP |
| Processo di selezione in inglese (breve descrizione) |
The interview will focus on the following topics: 1. Declarative Languages and Deductive Reasoning Systems, and in particular Answer Set Programming 2. Stream Reasoning with Declarative Languages 3. Overgrounding Techniques for Incremental Computation of ASP |
| Nome dell'Ente finanziatore | Università della Calabria |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Rende |
| Sito web | http://www.unical.it |
| marilena.lovoi@unical.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 19/01/2021 |
|---|---|
| Come candidarsi | Other |