SOCC Research Group
SOCC Research Group
People
Research Projects
Prototypes
Publications
Contact
1
On the Expressiveness of Linda-like Concurrent Languages
Antonio Brogi
,
Jean-Marie Jacquet
Cite
DOI
The Use of Renaming in Composing General Programs
Antonio Brogi
,
Simone Contiero
,
Franco Turini
Cite
DOI
Composing General Logic Programs
Antonio Brogi
,
Simone Contiero
,
Franco Turini
Cite
DOI
Modeling Coordination via Asynchronous Communication
Antonio Brogi
,
Jean-Marie Jacquet
Cite
DOI
Pruning the Search Space of Logic Programs
Antonio Brogi
,
Cosimo Guarino
Cite
DOI
Specialising Meta-level Compositions of Logic Programs
Antonio Brogi
,
Simone Contiero
Cite
DOI
An Abductive Framework for Extended Logic Programming
Antonio Brogi
,
Evelina Lamma
,
Paolo Mancarella
,
Paola Mello
Cite
DOI
Amalgamating Language and Meta-language for Composing Logic Programs
Antonio Brogi
,
Chiara Renso
,
Franco Turini
Cite
Gödel as a Meta-Language for Composing Logic Programs
Antonio Brogi
,
Simone Contiero
Cite
DOI
Implementations of Program Composition Operations
Antonio Brogi
,
A. Chiarelli
,
Paolo Mancarella
,
V. Mazzotta
,
Dino Pedreschi
,
Chiara Renso
,
Franco Turini
Cite
DOI
«
»
Cite
×