Combining logic programs and monadic second order logics by program transformation

A meta constraint logic programming scheme

Lamma, Evelina
Mello, Paola
Milano, Michela
Bologna Univ. (Italy). Dipartimento di Elettronica Informatica e Sistemistica

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Transformation strategies for deriving on line programs

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

January 1986

Consiglio Nazionale delle Ricerche, Biblioteca Centrale, P.le Aldo Moro, 7, ROMA (Italia) / CNR - Co...

Merging information in possibilistic logic

Boldrin, L.
Sossai, C
Consiglio Nazionale delle Ricerche, Padua (Italy). Istituto per Ricerche di Dinamica dei Sistemi e di Bioingegneria

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

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...

Transformation rules for a higher order logic programming language

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

January 2000

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

Synthesis and transformation of logic programs using unfold/fold proofs

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

January 1997

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

Synthesis and transformation of logic programs using UNFOLD/FOLD PROOFS

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

January 1997

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

The well-founded semantics of logic programs over bilattices: an alternative characterisation

Loyer, Yann
Straccia, Umberto
Consiglio Nazionale delle Ricerche, Pisa (Italy). Istituto di Scienza e Tecnologie della Informazione 'Alessandro Faedo'

January 2003

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

A general framework for multi-theory logic languages

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

January 1997

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

Correttezza delle trasformazioni dei programmi logici

Etalle, Sandro

January 1996

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

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 - ...

Rules and strategies for transforming functional and logic programs

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

January 1995

Published March 1996Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / 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...

Teoria computabile degli insiemi e programmazione logica

Dovier, Agostino

January 1997

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

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...

A meta constraint logic programming scheme

Lamma, Evelina
Mello, Paola
Milano, Michela
Bologna Univ. (Italy). Dipartimento di Elettronica Informatica e Sistemistica

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Transformation strategies for deriving on line programs

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

January 1986

Consiglio Nazionale delle Ricerche, Biblioteca Centrale, P.le Aldo Moro, 7, ROMA (Italia) / CNR - Co...

Merging information in possibilistic logic

Boldrin, L.
Sossai, C
Consiglio Nazionale delle Ricerche, Padua (Italy). Istituto per Ricerche di Dinamica dei Sistemi e di Bioingegneria

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

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...

Transformation rules for a higher order logic programming language

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

January 2000

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

Synthesis and transformation of logic programs using unfold/fold proofs

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

January 1997

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

Synthesis and transformation of logic programs using UNFOLD/FOLD PROOFS

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

January 1997

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

The well-founded semantics of logic programs over bilattices: an alternative characterisation

Loyer, Yann
Straccia, Umberto
Consiglio Nazionale delle Ricerche, Pisa (Italy). Istituto di Scienza e Tecnologie della Informazione 'Alessandro Faedo'

January 2003

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

A general framework for multi-theory logic languages

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

January 1997

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

Correttezza delle trasformazioni dei programmi logici

Etalle, Sandro

January 1996

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

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 - ...

Rules and strategies for transforming functional and logic programs

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

January 1995

Published March 1996Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / 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...

Teoria computabile degli insiemi e programmazione logica

Dovier, Agostino

January 1997

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

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...

A meta constraint logic programming scheme

Lamma, Evelina
Mello, Paola
Milano, Michela
Bologna Univ. (Italy). Dipartimento di Elettronica Informatica e Sistemistica

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Transformation strategies for deriving on line programs

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

January 1986

Consiglio Nazionale delle Ricerche, Biblioteca Centrale, P.le Aldo Moro, 7, ROMA (Italia) / CNR - Co...

Merging information in possibilistic logic

Boldrin, L.
Sossai, C
Consiglio Nazionale delle Ricerche, Padua (Italy). Istituto per Ricerche di Dinamica dei Sistemi e di Bioingegneria

January 1995

Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...

Combining logic programs and monadic second order logics by program transformation

Abstract

Extracted data

Combining logic programs and monadic second order logics by program transformation

Abstract

Extracted data

Related items

Related items