PFCNR-SICALPAR

Info	Partners	Publications	Talks	Events

La programmazione logica nello sviluppo del software: dai modelli agli strumenti (book chapter) — Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
A Structured Logic Programming Approach to Robot Programming (PAP'94) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
Moving Prolog Toward Objects (book chapter) — Enrico Denti, Antonio Natali, Andrea Omicini
Object-Oriented Computations in Logic Programming (ECOOP 1994) — Andrea Omicini, Antonio Natali
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (PISELP @ ICLP'93) — Enrico Denti, Antonio Natali, Andrea Omicini
Objects with State in CSM (CompuLog 2 Meeting / WLL'93) — Antonio Natali, Andrea Omicini
Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Objects with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea Omicini
Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini
Exploiting Logic Programming in Robot Applications (GULP 1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini
CSM User's Guide (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini