Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | MIGLIORAMENTO DELLE PRESTAZIONI DI SISTEMI DI PROGRAMMAZIONE LOGICA DISGIUNTIVA. |
|---|---|
| Titolo del progetto di ricerca in inglese | Improving Performance of Disjunctive Logic Programming Systems |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | "La Programmazione Logica Disgiuntiva (PLD) è un formalismo molto potente per la rappresentazione della conoscenza e per il reasoning. La PLD ha un elevato potere espressivo, e permette di rappresentare anche problemi di elevata complessità in modo semplice e dichiarativo. Le recenti implementazioni di alcuni sistemi PLD hanno accresciuto l'interesse nei riguardi della programmazione logica disgiuntiva, e consentito la realizzazione di applicazioni evolute. La ricerca si svolgerà lungo 3 obiettivi: 1. Identificazione dei principali limiti dei sistemi PLD rispetto alla disponibilità di costrutti linguistici specializzati, all’interoperabilità e all’efficenza dei sistemi. 2. Definizione formale di estensioni della PLD, di interfacce e formalismi per l’interoperabilità, e di metodi per aumentare l’efficenza di sistemi PLD. 3. Analisi della complessità computazionale dei formalismi definiti nella fase 2, ove applicabile. Implementazione di una selezione di essi." |
| Descrizione sintetica in inglese | "Disjunctive Logic Programming (DLP) is a powerful formalism for knowledge representation and reasoning. DLP has good expressive power and allows for representing problems of high complexity in simple and declarative ways. Recent implementations of some DLP systems have increased the interest for disjunctive logic programming and gave rise to sophisticated applications. The research will be conducted along 3 objectives: 1. Identification of the principal limits of DLP systems, with respect to specialized language constructs, interoperability, and efficiency of systems. 2. Formal definition of DLP extensions, of interfaces and formalisms for interoperability, and of methods for improving the efficiency of DLP systems. 3. Analysis of the computational complexity of the formalisms defined in phase 2, where applicable. Implementation of a selection of these." |
| Data del bando | 25/02/2013 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 22946.00 |
| Periodicità | MENSILE |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
Italy |
| Nazionalità dei candidati |
Italy |
| Sito web del bando | http://www.unical.it/portale/concorsi/view_bando.cfm?Q_BAN_ID=2232&Q_COMM= |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Importo annuale | 22946.00 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | yes |
| Altri costi in italiano | NO |
| Altri costi in inglese | NO |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
LAUREA IN INFORMATICA o IN INGEGNERIA INFORMATICA (V.O. o SPECIALISTICA) - DOTTORATO IN MATEMATICA - PUBBLICAZIONI SCIENTIFICHE (NEL SETTORE DEL PROGETTO DI RICERCA) |
| Criteri di selezione in inglese (breve descrizione) |
MSc or equivalent in computer science or computer science engineering, PhD, scientific publications (in the research area of the project) |
| Processo di selezione in italiano (breve descrizione) |
Discussione dei titoli, delle pubblicazioni e degli argomenti di ricerca. |
| Processo di selezione in inglese (breve descrizione) |
Discussion of qualifications, ublications, and research subjects. |
| Nome dell'Ente finanziatore | UNIVERSITA' DELLA CALABRIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | RENDE |
| Codice postale | 87036 |
| Indirizzo | VIA PIETRO BUCCI |
| Sito web | http://www.unical.it |
| MASSARO@MAT.UNICAL.IT | |
| Telefono | 0984 496402 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 18/03/2013 |
|---|---|
| Come candidarsi | Other |