Giovanni Criscuolo

Publication Activity (10 Years)

Years Active: 1980-2009
Publications (10 Years): 0

Publications

Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
On finitely recursive programs CoRR (2009)
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
On finitely recursive programs. Theory Pract. Log. Program. 9 (2) (2009)
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
On Finitely Recursive Programs. ICLP (2007)
Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
A Foundation for Metareasoning Part II: The Model Theory. J. Log. Comput. 12 (3) (2002)
Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
A Foundation for Metareasoning Part I: The Proof Theory. J. Log. Comput. 12 (1) (2002)
Raymond Reiter, Giovanni Criscuolo
On Interacting Defaults. IJCAI (1981)
Giovanni Criscuolo, Chung-Mo Kwok, Abbe Mowshowitz, Roberto Tortora
The group and the minimal polynomial of a graph. J. Comb. Theory, Ser. B 29 (3) (1980)