2009 |
7 | EE | Sabrina Baselice,
Piero A. Bonatti,
Giovanni Criscuolo:
On finitely recursive programs
CoRR abs/0901.2850: (2009) |
6 | EE | Sabrina Baselice,
Piero A. Bonatti,
Giovanni Criscuolo:
On finitely recursive programs.
TPLP 9(2): 213-238 (2009) |
2007 |
5 | EE | Sabrina Baselice,
Piero A. Bonatti,
Giovanni Criscuolo:
On Finitely Recursive Programs.
ICLP 2007: 89-103 |
2002 |
4 | EE | Giovanni Criscuolo,
Fausto Giunchiglia,
Luciano Serafini:
A Foundation for Metareasoning Part I: The Proof Theory.
J. Log. Comput. 12(1): 167-208 (2002) |
3 | EE | Giovanni Criscuolo,
Fausto Giunchiglia,
Luciano Serafini:
A Foundation for Metareasoning Part II: The Model Theory.
J. Log. Comput. 12(3): 345-370 (2002) |
1981 |
2 | | Raymond Reiter,
Giovanni Criscuolo:
On Interacting Defaults.
IJCAI 1981: 270-276 |
1980 |
1 | EE | 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): 293-302 (1980) |