Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Modelli per l'analisi sperimentale dei sistemi basati sulla logica |
---|---|
Titolo del progetto di ricerca in inglese | Models for the experimental analysis of logic-based systems |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Negli ultimi venti anni i modelli per la generazione di istanze casuali di problemi di ricerca hanno ricevuto grande attenzione soprattutto nell'ambito della soddisfacibilità booleana e della programmazione per vincoli. Oltre all'interessante studio teorico riguardante il fenomeno noto come fase di transizione è stato evidenziato un notevole impatto sullo sviluppo di solver veloci e resistenti. Tuttavia sono ancora pochi gli studi sui modelli di generazione casuale applicati al settore della programmazione logica e, più specificamente, all'Answer Set Programming. Gli attuali modelli sono limitati alla generazione di sottoclassi di programmi logici con caratteristiche molto specifiche e non esistono modelli per la programmazione logica disgiuntiva. L'obiettivo di questo assegno di ricerca concerne la realizzazione di un modello che possa essere utilizzato per l'individuazione e la generazione casuale di programmi logici disgiuntivi computazionalmente difficili da risolvere. |
Descrizione sintetica in inglese | In the last twenty years, models for generating random instances of search problems have received much attention in the fields of boolean satisfiability and constraint satisfaction. In addition to reveal an intriguing phase-transition phenomenon, often associated with the inherent hardness of instances, these models have had major impact on the development of fast and robust solvers. However, models for generating random instances in logic programming, and more specifically in Answer Set Programming are very few. Moreover, they are restricted to subclasses of logic programs satisfying particular features, and no models for disjunctive logic programs have been proposed , so far. The goal of this research grant is to achieve a model useful to identify and generate random disjunctive logic programs computationally hard to solve. |
Data del bando | 17/02/2017 |
Numero di assegnazioni per anno | 1 |
Periodicità | MENSILE |
E' richiesta mobilità internazionale? | yes |
Paesi in cui può essere condotta la ricerca |
United Kingdom |
Paesi di residenza dei candidati |
EUROPE |
Nazionalità dei candidati |
EUROPE |
Sito web del bando | http://www.unical.it/portale/concorsi/view_bando.cfm?Q_BAN_ID=5370&Q_COMM= |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|---|
Il contratto prevede la copertura delle prestazioni sociali? | no |
Importo annuale | 23593.36 |
Valuta | Euro |
Comprende lo stipendio dell'assegnista | yes |
Comprende vitto e spese di viaggio | no |
Comprende il costo della ricerca | no |
Nome dell'Ente finanziatore | UNIVERSITÀ' DELLA CALABRIA |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | COSENZA |
Sito web | http://www.unical.it/portale/ |
alessia.cosentino@unical.it | |
Telefono | 0984496494 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 09/03/2017 - alle ore 00:00 |
---|---|
Come candidarsi | Other |