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