Simone Contiero

According to our database, Simone Contiero authored at least 7 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

On the Interplay between Reactivity and Computation.

Antonio Brogi, Simone Contiero, Franco Turini

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999

Programming by Combining General Logic Programs.

Antonio Brogi, Simone Contiero, Franco Turini

J. Log. Comput., 1999

1998

A Program Specialiser for Meta-Level Compositions of Logic Programs.

Antonio Brogi, Simone Contiero

New Gener. Comput., 1998

The Use of Renaming in Composing General Programs.

Antonio Brogi, Simone Contiero, Franco Turini

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

Composing General Logic Programs.

Antonio Brogi, Simone Contiero, Franco Turini

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Specialising Meta-level Compositions of Logic Programs.

Antonio Brogi, Simone Contiero

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1994

Gödel as a Meta-Language for Composing Logic Programs.

Antonio Brogi, Simone Contiero

Proceedings of the Logic Programming Synthesis and Transformation, 1994