Check for available options on the right hand side to narrow down or expand the list.

Show all in one page (slower)

Conference
An abstract proof checker

F. Giunchiglia, T. Walsh
1992. Atti di: 2nd international symposium on artificial intelligence and mathematics, Fort Lauderdale, Fla., 5-8 January 1992

Conference
Theories of abstraction: a historical perspective

F. Giunchiglia, T. Walsh
1992, p. 85-89. Atti di: Workshop on Approximation and Abstraction of Computational Theories (AACT'92), San Josè, Calif., 13 July 1992

Conference
Tree subsumption: reasoning with outlines

F. Giunchiglia, T. Walsh
: John Wiley and sons, 1992, p. 77-81. Atti di: 10th European conference on artificial intelligence (ECAI'92), Vienna, 3-7 August 1992

Conference
Automating meta-theory creation and system extension

D. A. Basin, F. Giunchiglia, P. Traverso
: Springer, 1991, p. 48-57. Atti di: 2nd congress of the Italian association for artificial intelligence (AI*IA 91), Palermo, 29-31 October 1991

Conference
Multilanguage systems

F. Giunchiglia
1991, p. 70-79. Atti di: Spring symposium on logical formalizations of commonsense reasoning : evaluating existing formalisms and moving on to new domains (AAAI'91), Stanford University, Ca., 26-28 March 1991

Conference
Multilanguage first order theories of propositional attitudes

F. Giunchiglia, L. Serafini
: IOS Press, 1991, p. 228-240. Atti di: 3rd Scandinavian conference on artificial intelligence (SCAI'91), Roskilde University, 21-24 May 1991

Conference
Multilanguage hierarchical logics

F. Giunchiglia, L. Serafini
1991. Atti di: 2nd Bar-Ilan symposium on the foundation of artificial intelligence (BISFAI'91, Ramat Gan, 16-19 June 1991

Conference
Reflective reasoning with and between a declarative metatheory and the implementation code

F. Giunchiglia, P. Traverso
: Morgan Kaufmann, 1991, p. 111-117. Atti di: 12th international joint conference on artificial intelligence (IJCAI'91), Sydney, 24-30 August 1991

Journal Article
La deduzione automatica

F. Giunchiglia, P. Traverso, L. Serafini
in SISTEMI INTELLIGENTI, v. 3, n. 1 (1991), p. 37-66

Conference
Using abstraction

F. Giunchiglia, T. Walsh
: Springer, 1991, p. 225-234. Atti di: 8th conference of the Society for the study of artificial intelligence and simulation of behaviour (AISB'91), University of Leeds, 16-19 April 1991