Giovanni Criscuolo

According to our database, Giovanni Criscuolo authored at least 5 papers between 1980 and 2009.

Collaborative distances:

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

2009

On finitely recursive programs.

Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo

Theory Pract. Log. Program., 2009

2002

A Foundation for Metareasoning Part II: The Model Theory.

Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini

J. Log. Comput., 2002

A Foundation for Metareasoning Part I: The Proof Theory.

Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini

J. Log. Comput., 2002

1981

On Interacting Defaults.

Raymond Reiter, Giovanni Criscuolo

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

The group and the minimal polynomial of a graph.

Giovanni Criscuolo, Chung-Mo Kwok, Abbe Mowshowitz, Roberto Tortora

J. Comb. Theory B, 1980