CRISCUOLO, GIOVANNI

CRISCUOLO, GIOVANNI  

DIPARTIMENTO DI SCIENZE FISICHE (attivo dal 01/01/1988 al 31/12/2012)  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.02 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
A FOUNDATION FOR METAREASONING. PART I: THE PROOF THEORY 1.1 Articolo in rivista 2002 Criscuolo, Giovanni; F., Giunchiglia; L., Serafini
On finitely recursive programs 1.1 Articolo in rivista 2009 Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni
On Finitely Recursive Programs 8.02 Comunicazioni a Convegni o Seminari 2007 Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni
Duals of intuitionistic tableaus 1.1 Articolo in rivista 1978 Criscuolo, Giovanni; Tortora, Roberto
A foundation for metareasoning.Part II: The Model Theory 1.1 Articolo in rivista 2002 Criscuolo, Giovanni; F., Giunchiglia; L., Serafini
A foundation for metareasoning.Part I: The proof Theory 1.1 Articolo in rivista 2002 Criscuolo, Giovanni; F., Giunchiglia; L., Serafini
Il gruppo di un grafo e la teoria delle rappresentazioni 4.1 Articoli in Atti di convegno 1977 Criscuolo, Giovanni; Tortora, Roberto
A FOUNDATION FOR METAREASONING. PART II: THE MODEL THEORY, JOURNAL OF LOGIC AND COMPUTATION 1.1 Articolo in rivista 2002 Criscuolo, Giovanni; F., Giunchiglia; L., Serafini
On interacting defaults 4.1 Articoli in Atti di convegno 1981 R., Reiter; Criscuolo, Giovanni
SIGN: a question answering non-numerical abductive medical expert system 4.1 Articoli in Atti di convegno 1988 E., Burattini; Criscuolo, Giovanni; A., Filosa; U., Giani; F., Mele
The group and the minimal polynomial of a graph 1.1 Articolo in rivista 1980 Criscuolo, Giovanni; C., Kwok; A., Mowshowitz; Tortora, Roberto
Duals of intuitionistic tableaux 1.1 Articolo in rivista 1978 Criscuolo, Giovanni; Tortora, R.
On the exisistence of extensions for default theories 2.1 Contributo in volume (Capitolo o Saggio) 1999 Criscuolo, Giovanni; E., Minicozzi