СТ |
On the Semantics of Logic Program Composition |
2004 |
Brogi A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
СТ |
Measuring Component Adaptation |
2004 |
Brogi A., Canal C., Pimentel E. |
|
|
|
Lecture Notes in Computer Science |
17.03.2004 |
СТ |
Adapting Components with Mismatching Behaviours |
2002 |
Bracciali A., Brogi A., Canal C. |
|
|
|
Lecture Notes in Computer Science |
26.07.2002 |
СТ |
Dynamically Adapting the Behaviour of Software Components |
2002 |
Bracciali A., Brogi A., Canal C. |
|
|
|
Lecture Notes in Computer Science |
12.06.2002 |
СТ |
From Subject Directories to Subject Meta-directories via Declarative Programming |
2001 |
Brogi A., Caruso G. |
|
|
|
Lecture Notes in Computer Science |
05.04.2001 |
СТ |
On Timed Coordination Languages |
2000 |
Jacquet J. -M., de Bosschere K., Brogi A. |
|
|
|
Lecture Notes in Computer Science |
05.10.2000 |
СТ |
On the Expressiveness of Coordination Models |
1999 |
Brogi A., Jacquet J. -M. |
|
|
|
Lecture Notes in Computer Science |
18.05.1999 |
СТ |
Specialising Meta-level Compositions of Logic Programs |
1997 |
Brogi A., Contiero S. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
СТ |
Fully abstract compositional semantics for an algebra of logic programs |
1995 |
Brogi A., Turini F. |
|
|
|
Theoretical Computer Science |
12.09.1996 |
СТ |
An Abductive Framework for Extended Logic Programming |
1995 |
Brogi A., Lamma E., Mancarella P., Mello P. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.07.1995 |
СТ |
Godel as a Meta-Language for Composing Logic Programs |
1994 |
Brogi A., Contiero S. |
|
|
|
Lecture Notes in Computer Science |
13.01.1995 |
СТ |
Normal Logic Programs as Open Positive Programs |
1992 |
Brogi A., Lamma E., Mancarella P., Mello P. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
СТ |
Modular Logic Programming |
1994 |
Brogi A., Mancarella P., Pedreschi D., Turini F. |
|
|
|
ACM Trans. Programming Languages and Systems |
15.11.1994 |
СТ |
Implementation of Program Composition Operations |
1994 |
Brogi A., Chiarelli A., Mancarella P., Mazzotta V., Pedreschi D., Renso C., Turini F. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
СТ |
Metalogic for State Oriented Programming |
1992 |
Brogi A., Turini F. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
СТ |
Meta for Modularising Logic Programming |
1992 |
Brogi A., Mancarella P., Pedreschi D., Turini F. |
|
|
|
Lecture Notes in Computer Science |
03.02.1993 |
СТ |
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses |
1992 |
Brogi A., Ciampolini A., Lamma E., Mello P. |
|
|
|
Information Processing Letters |
01.10.1992 |
СТ |
Hypotetical Reasoning in Logic Programming: A Semantic Approach |
1990 |
Brogi A., Lamma E., Mello P. |
|
|
|
Information Processing Letters |
15.03.1991 |