Learning logic

Linguaggi logici a vincoli su domini finiti: semantica e metodi di trattamento dei vincoli

Nardiello, Giuseppe

January 1996

Dottorato di ricerca in matematica computazionale ed informatica matematica. 7. cicloConsiglio Nazio...

Reallocation and learning over the business cycle

Schivardi, F.
Banca d'Italia, Rome (Italy)

January 1998

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Il punto su: lifelong learning

Cioccolo, V.
Furfaro, P.
Milana, M.
Nicoletti, P.
Piras, P.
Istituto per lo Sviluppo della Formazione Professionale dei Lavoratori -ISFOL - , Rome (Italy)
Ministero del Lavoro e delle Politiche Sociali, Rome (Italy)

January 2003

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

La logica comparativa proposizionale

Paoli, Francesco

January 2000

Dottorato di ricerca in filosofia. 12. ciclo. A.a. 1996-99. Tutore E. BalloConsiglio Nazionale delle...

On the role of logic in information retrieval

Sebastiani, F.
Consiglio Nazionale delle Ricerche, Pisa (Italy) Istituto di Elaborazione dell'Informazione

January 1998

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Relazioni tra linguaggi logici modali e temporali

Ciupi, Alessandra

January 1996

Dottorato di ricerca in logica matematica ed informatica teorica. 7. cicloConsiglio Nazionale delle ...

Constraining objects as logic theories

Omicini, A.
Bologna Univ. (Italy). Dipartimento di Elettronica Informatica e Sistemistica

January 1995

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Logiche per l'integrazione di informazioni incerte

Boldrin, Luca

January 1997

Dottorato di ricerca in matematica computazionale ed informatica matematica. 8. cicloConsiglio Nazio...

Problemi di logica, legimatica e linguistica nella produzione normativa

Bassoli, Elena

January 2000

Dottorato di ricerca in metodi e tecniche della formazione e della valutazione delle leggi. 12. cicl...

Ricerche logiche sul fondamento di validita': identita' non-contraddizione

Incampo, A.

January 1996

Dottorato di ricerca in filosofia del diritto. 6. ciclo. A.a. 1993-94. Tutore Angiola FilipponioCons...

Alle origini delle logiche non-classiche: l'opera logica e filosofica di N.A. Vasil'ev

Cavaliere, Fania

January 1996

Dottorato di ricerca in filosofia. 5. ciclo. A.a. 1992-93. Tutore e coordinatore C.MangioneConsiglio...

Correttezza delle trasformazioni dei programmi logici

Etalle, Sandro

January 1996

Dottorato di ricerca in matematica computazionale ed informatica matematica. 6. cicloConsiglio Nazio...

Transformations of logic programs with goals as arguments

Pettorossi, A.
Proietti, M.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica - IASI -

January 2002

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consigli...

Un formalismo per ragionare sulla semantica dei programmi logici

Meo, Maria Chiara

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Relatore G. LeviConsiglio Nazionale delle Ricerche - ...

Teoria computabile degli insiemi e programmazione logica

Dovier, Agostino

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Relatore A. PolicritiConsiglio Nazionale delle Ricerc...

Linguaggi logici a vincoli su domini finiti: semantica e metodi di trattamento dei vincoli

Nardiello, Giuseppe

January 1996

Dottorato di ricerca in matematica computazionale ed informatica matematica. 7. cicloConsiglio Nazio...

Reallocation and learning over the business cycle

Schivardi, F.
Banca d'Italia, Rome (Italy)

January 1998

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Il punto su: lifelong learning

Cioccolo, V.
Furfaro, P.
Milana, M.
Nicoletti, P.
Piras, P.
Istituto per lo Sviluppo della Formazione Professionale dei Lavoratori -ISFOL - , Rome (Italy)
Ministero del Lavoro e delle Politiche Sociali, Rome (Italy)

January 2003

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

La logica comparativa proposizionale

Paoli, Francesco

January 2000

Dottorato di ricerca in filosofia. 12. ciclo. A.a. 1996-99. Tutore E. BalloConsiglio Nazionale delle...

On the role of logic in information retrieval

Sebastiani, F.
Consiglio Nazionale delle Ricerche, Pisa (Italy) Istituto di Elaborazione dell'Informazione

January 1998

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Relazioni tra linguaggi logici modali e temporali

Ciupi, Alessandra

January 1996

Dottorato di ricerca in logica matematica ed informatica teorica. 7. cicloConsiglio Nazionale delle ...

Constraining objects as logic theories

Omicini, A.
Bologna Univ. (Italy). Dipartimento di Elettronica Informatica e Sistemistica

January 1995

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Logiche per l'integrazione di informazioni incerte

Boldrin, Luca

January 1997

Dottorato di ricerca in matematica computazionale ed informatica matematica. 8. cicloConsiglio Nazio...

Problemi di logica, legimatica e linguistica nella produzione normativa

Bassoli, Elena

January 2000

Dottorato di ricerca in metodi e tecniche della formazione e della valutazione delle leggi. 12. cicl...

Ricerche logiche sul fondamento di validita': identita' non-contraddizione

Incampo, A.

January 1996

Dottorato di ricerca in filosofia del diritto. 6. ciclo. A.a. 1993-94. Tutore Angiola FilipponioCons...

Alle origini delle logiche non-classiche: l'opera logica e filosofica di N.A. Vasil'ev

Cavaliere, Fania

January 1996

Dottorato di ricerca in filosofia. 5. ciclo. A.a. 1992-93. Tutore e coordinatore C.MangioneConsiglio...

Correttezza delle trasformazioni dei programmi logici

Etalle, Sandro

January 1996

Dottorato di ricerca in matematica computazionale ed informatica matematica. 6. cicloConsiglio Nazio...

Transformations of logic programs with goals as arguments

Pettorossi, A.
Proietti, M.
Consiglio Nazionale delle Ricerche, Rome (Italy). Istituto di Analisi dei Sistemi ed Informatica - IASI -

January 2002

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consigli...

Un formalismo per ragionare sulla semantica dei programmi logici

Meo, Maria Chiara

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Relatore G. LeviConsiglio Nazionale delle Ricerche - ...

Teoria computabile degli insiemi e programmazione logica

Dovier, Agostino

January 1997

Dottorato di ricerca in informatica. 7. ciclo. Relatore A. PolicritiConsiglio Nazionale delle Ricerc...

Linguaggi logici a vincoli su domini finiti: semantica e metodi di trattamento dei vincoli

Nardiello, Giuseppe

January 1996

Dottorato di ricerca in matematica computazionale ed informatica matematica. 7. cicloConsiglio Nazio...

Reallocation and learning over the business cycle

Schivardi, F.
Banca d'Italia, Rome (Italy)

January 1998

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Il punto su: lifelong learning

Cioccolo, V.
Furfaro, P.
Milana, M.
Nicoletti, P.
Piras, P.
Istituto per lo Sviluppo della Formazione Professionale dei Lavoratori -ISFOL - , Rome (Italy)
Ministero del Lavoro e delle Politiche Sociali, Rome (Italy)

January 2003

Consiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7, Rome / CNR - Consiglio...

Abstract

Extracted data

Learning logic

Abstract

Extracted data

Related items

Related items