dblp.uni-trier.dewww.uni-trier.de

Giovanni Criscuolo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Sabrina Baselice [5] [6] [7]
2Piero A. Bonatti [5] [6] [7]
3Fausto Giunchiglia [3] [4]
4Chung-Mo Kwok [1]
5Abbe Mowshowitz [1]
6Raymond Reiter [2]
7Luciano Serafini [3] [4]
8Roberto Tortora [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)