|
Search the dblp DataBase
Giovanni Criscuolo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Raymond Reiter, Giovanni Criscuolo
On Interacting Defaults. [Citation Graph (0, 0)][DBLP] IJCAI, 1981, pp:270-276 [Conf]
- Giovanni Criscuolo, Chung-Mo Kwok, Abbe Mowshowitz, Roberto Tortora
The group and the minimal polynomial of a graph. [Citation Graph (0, 0)][DBLP] J. Comb. Theory, Ser. B, 1980, v:29, n:3, pp:293-302 [Journal]
- Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
A Foundation for Metareasoning Part I: The Proof Theory. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:1, pp:167-208 [Journal]
- Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini
A Foundation for Metareasoning Part II: The Model Theory. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:3, pp:345-370 [Journal]
- Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
On Finitely Recursive Programs. [Citation Graph (0, 0)][DBLP] ICLP, 2007, pp:89-103 [Conf]
On finitely recursive programs [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|